Publications

Selected Publications

ESEC/FSE V&R 2020
Inferring and Securing Software Configurations Using Automated Reasoning (To Appear) 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
PODC 2017
Adding Concurrency to Smart Contracts 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

Indexing Sites

All Publications

Journal Papers

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

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.