SuperC: parsing all of C by taming the preprocessor. - Paul Gazzillo; Robert Grimm 001 (PLDI, 2012)

Analyzing Source Code Across Static Conditionals. - Paul Gazzillo (2016)

Decomposition instead of self-composition for proving the absence of timing channels. - Timos Antonopoulos; Paul Gazzillo; Michael Hicks 001; Eric Koskinen; Tachio Terauchi; Shiyi Wei (PLDI, 2017)

Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. - Thomas D. Dickerson; Paul Gazzillo; Maurice Herlihy; Eric Koskinen (PODC, 2017)

Kmax: finding all configurations of Kbuild makefiles statically. - Paul Gazzillo (ESEC/SIGSOFT FSE, 2017)

Proust: A Design Space for Highly-Concurrent Transactional Data Structures. - Thomas D. Dickerson; Paul Gazzillo; Eric Koskinen; Maurice Herlihy (CoRR, 2017)

Proof-Carrying Smart Contracts. - Thomas D. Dickerson; Paul Gazzillo; Maurice Herlihy; Vikram Saraph; Eric Koskinen (Financial Cryptography Workshops, 2018)

Localizing configurations in highly-configurable systems. - Paul Gazzillo; Ugur Koc; ThanhVu Nguyen; Shiyi Wei (SPLC, 2018)

Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. - Thomas D. Dickerson; Eric Koskinen; Paul Gazzillo; Maurice Herlihy (APLAS, 2019)

Conditional compilation is dead, long live conditional compilation! - Paul Gazzillo; Shiyi Wei (ICSE (NIER), 2019)

An empirical study of real-world variability bugs detected by variability-oblivious tools. - Austin Mordahl; Jeho Oh; Ugur Koc; Shiyi Wei; Paul Gazzillo (ESEC/SIGSOFT FSE, 2019)

t-wise coverage by uniform sampling. - Jeho Oh; Paul Gazzillo; Don S. Batory (SPLC (A), 2019)

Inferring and securing software configurations using automated reasoning. - Paul Gazzillo (ESEC/SIGSOFT FSE, 2020)

Adding concurrency to smart contracts. - Thomas D. Dickerson; Paul Gazzillo; Maurice Herlihy; Eric Koskinen (Distributed Comput., 2020)

SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels. - Andrea Mondelli; Paul Gazzillo; Yan Solihin (DAC, 2021)

Finding broken Linux configuration specifications by statically analyzing the Kconfig language. - Jeho Oh; Necip Fazil Yildiran; Julian Braha; Paul Gazzillo (ESEC/SIGSOFT FSE, 2021)

SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C. - Zach Patterson; Zenong Zhang; Brent Pappas; Shiyi Wei; Paul Gazzillo (ICSE, 2022)

Bringing Together Configuration Research: Towards a Common Ground. - Paul Gazzillo; Myra B. Cohen (Onward!, 2022)

Static data-flow analysis for software product lines in C. - Philipp Dominik Schubert; Paul Gazzillo; Zach Patterson; Julian Braha; Fabian Schiebel; Ben Hermann; Shiyi Wei; Eric Bodden (Autom. Softw. Eng., 2022)

Semantic Analysis of Macro Usage for Portability. - Brent Pappas; Paul Gazzillo (ICSE, 2024)

Towards Automated Configuration Documentation. - Jobayer Ahmmed; Myra B. Cohen; Paul Gazzillo (ASE, 2024)

Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times. - Necip Fazil Yildiran; Jeho Oh; Julia Lawall; Paul Gazzillo (Proc. ACM Softw. Eng., 2024)

Experimental data for "Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times". - Necip Fazil Yildiran; Jeho Oh; Julia Lawall; Paul Gazzillo (Zenodo, 2024)

Artifact from "Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times". - Necip Fazil Yildiran; Jeho Oh; Julia Lawall; Paul Gazzillo (Zenodo, 2024)

Artifact from "Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times". - Necip Fazil Yildiran; Jeho Oh; Julia Lawall; Paul Gazzillo (Zenodo, 2024)

A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing. - Sanan Hasanov; Stefan Nagy; Paul Gazzillo (ICSE, 2025)