Publications

Selected Publications

FSE 2024
(To appear) Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times by Necip Fazıl Yıldıran, Jeho Oh, Julia Lawall, and Paul Gazzillo
ACM International Conference on the Foundations of Software Engineering
ICSE 2024
(To appear) Semantic Analysis of Macro Usage for Portability by Brent Pappas and Paul Gazzillo.
Proceedings of the International Conference on Software Engineering
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

FSE 2024
(To appear) Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times by Necip Fazıl Yıldıran, Jeho Oh, Julia Lawall, and Paul Gazzillo
ACM International Conference on the Foundations of Software Engineering
ICSE 2024
(To appear) Semantic Analysis of Macro Usage for Portability by Brent Pappas and Paul Gazzillo.
Proceedings of the International Conference on Software Engineering
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
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.