Publications

Selected Publications

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

All Publications

Journal Papers

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

SPLC 2018
Localizing Configurations in Highly-Configurable Systems by Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, and Shiyi Wei.
To Appear in 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

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, 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.