Selected Publications
- 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
- 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
- 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.