Selected Publications
- Onward! 2022
-
Bringing Together Configuration Research: Towards a Common Ground by Paul Gazzillo and Myra B. Cohen.
Onward! 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.
- ICSE 2022
-
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C by Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, and Paul Gazzillo
Proceedings of International Conference on Software Engineering
- ESEC/FSE 2021
-
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language by Jeho Oh, Necip Fazıl Yıldıran, Julian Braha, and Paul Gazzillo
European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering
- DAC 2021
-
SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels by Andrea Mondelli, Paul Gazzillo, and Yan Solihin
ACM/EDAC/IEEE SIGDA Design Automation Conference
- ESEC/FSE V&R 2020
-
Inferring and Securing Software Configurations Using Automated Reasoning by Paul Gazzillo
European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering, Visions & Reflections Track
- ESEC/FSE 2019
-
An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools by Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei and Paul Gazzillo
European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering
- ICSE-NIER 2019
-
Conditional Compilation is Dead, Long Live Conditional Compilation!
by Paul Gazzillo and Shiyi Wei
Proceedings of International Conference on Software Engineering: New Ideas and Emerging Results
- ESEC/FSE 2017
-
Kmax: Finding All Configurations
of Kbuild Makefiles Statically by Paul Gazzillo
European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering
- PLDI 2017
-
Decomposition Instead of Self-Composition for Proving the
Absence of Timing Channels by Timos Antonopoulos, Paul
Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, and
Shiyi Wei
ACM Conference on
Programming Language Design and Implementation
- PLDI 2012
-
SuperC: Parsing All of C by Taming the
Preprocessor by Paul Gazzillo and Robert Grimm
ACM SIGPLAN 2012 Conference on Programming Language
Design and Implementation
Indexing Sites
All Publications
Journal Papers
- ASE 2022
-
Static Data-Flow Analysis for Software Product Lines in C: Revoking the Preprocessor’s Special Role
by Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden.
Automated Software Engineering (ASE), 2022.
- DIST 2019
-
Adding Concurrency to Smart Contracts
by Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen.
Distributed Computing, 2019.
- EATCS 2018
-
How to add concurrency to smart contracts
by Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen.
Bulletin of the European Association for Theoretical Computer Science. Number 124. 22-33, February 2018
Conference Papers
- ICSE 2022
-
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C by Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, and Paul Gazzillo
Proceedings of International Conference on Software Engineering
- ESEC/FSE 2021
-
Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language by Jeho Oh, Necip Fazıl Yıldıran, Julian Braha, and Paul Gazzillo
European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering
- DAC 2021
-
SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels by Andrea Mondelli, Paul Gazzillo, and Yan Solihin
ACM/EDAC/IEEE SIGDA Design Automation Conference
- ESEC/FSE V&R 2020
-
Inferring and Securing Software Configurations Using Automated Reasoning by Paul Gazzillo
European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering, Visions & Reflections Track
- APLAS 2019
-
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects by Thomas Dickerson, Eric Koskinen, Paul Gazzillo, and Maurice Herlihy.
Asian Symposium on Programming Languages and Systems.
- SPLC-CC 2019
-
t-wise Coverage by Uniform Sampling by Jeho Oh, Paul Gazzillo and Don Batory
International Conference on Software Product Line, Challenge Track.
- ESEC/FSE 2019
-
An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools by Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei and Paul Gazzillo
European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering
- ICSE-NIER 2019
-
Conditional Compilation is Dead, Long Live Conditional Compilation!
by Paul Gazzillo and Shiyi Wei
Proceedings of International Conference on Software Engineering: New Ideas and Emerging Results
- SPLC-CC 2018
-
Localizing Configurations in Highly-Configurable Systems
by Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, and Shiyi Wei.
International Conference on Software Product Line, Challenge Track.
- ESEC/FSE 2017
-
Kmax: Finding All Configurations
of Kbuild Makefiles Statically by Paul Gazzillo
European Software Engineering Conference and ACM
SIGSOFT Symposium on the Foundations of Software Engineering
- PODC 2017
-
Adding Concurrency to Smart Contracts by Thomas
Dickerson, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen
ACM Symposium on Principles
of Distributed Computing
- PODC 2017
-
Brief Announcement: Proust: A Design Space for
Highly-Concurrent Transactional Data
Structures by Thomas Dickerson, Paul Gazzillo,
Maurice Herlihy, and Eric Koskinen
ACM Symposium on Principles of Distributed Computing
- PLDI 2017
-
Decomposition Instead of Self-Composition for Proving the
Absence of Timing Channels by Timos Antonopoulos, Paul
Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, and
Shiyi Wei
ACM Conference on
Programming Language Design and Implementation
- PLDI 2012
-
SuperC: Parsing All of C by Taming the
Preprocessor by Paul Gazzillo and Robert Grimm
ACM SIGPLAN 2012 Conference on Programming Language
Design and Implementation
Workshop Papers
- WTSC 2018
-
Proof-Carrying Smart Contracts by Thomas
Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, and Eric Koskinen.
Workshop on Trusted Smart Contracts, 2018.
Tech Reports
- 2019
-
Uniform Sampling from Kconfig Feature Models by Jeho Oh, Paul Gazzillo, Don Batory, Marijn Heule, and Maggie Myers. Technical Report TR-19-02, Department of
Computer Science, University of Texas at Austin, 2019.
- 2018
-
Multi-Objective
Optimization in Large Software Product Lines by Jeho Oh, Don
Batory, and Paul Gazzillo. Technical Report TR-18-02, Department of
Computer Science, University of Texas at Austin, 2018.
- 2017
-
Adding Concurrency
to Smart Contracts. Thomas Dickerson, Paul Gazzillo, Maurice
Herlihy, and Eric Koskinen. February, 2017.
- 2017
-
Proust: A Design
Space for Highly-Concurrent Transactional Data
Structures by Thomas Dickerson, Paul Gazzillo, Maurice
Herlihy, and Eric Koskinen. arXiv:1702.04866v1 16 Feb 2017.
- 2016
-
Vertical
Composition of Reversible Atomic Objects by Timos Antonopoulos,
Paul Gazzillo, Eric Koskinen, and Zhong Shao. Technical Report
YALEU/DCS/TR1529, Computer Science Department, Yale University,
2016.
- 2015
-
Kmax:
Analyzing the Linux Build System by Paul Gazzillo. Technical
Report TR2015-976, Computer Science Department, New York
University, 2015.
- 2011
-
Parsing
all of C by taming the preprocessor by Paul Gazzillo and Robert
Grimm. Technical Report TR2011-939, Computer Science Department,
New York University, 2011.
