| 2026 | ICSE | Build Code is Still Code: Finding the Antidote for Pipeline Poisoning. | Brent Pappas, Paul Gazzillo |
| 2025 | ICSE | A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing. | Sanan Hasanov, Stefan Nagy, Paul Gazzillo |
| 2024 | ICSE | Semantic Analysis of Macro Usage for Portability. | Brent Pappas, Paul Gazzillo |
| 2022 | ICSE | SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C. | Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo |
| 2022 | Onward | Bringing Together Configuration Research: Towards a Common Ground. | Paul Gazzillo, Myra B. Cohen |
| 2021 | DAC | SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels. | Andrea Mondelli, Paul Gazzillo, Yan Solihin |
| 2019 | APLAS | Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. | Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy |
| 2019 | ICSE | Conditional compilation is dead, long live conditional compilation! | Paul Gazzillo, Shiyi Wei |
| 2019 | SPLC | Untitled record | Jeho Oh, Paul Gazzillo, Don S. Batory |
| 2018 | FC | Proof-Carrying Smart Contracts. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen |
| 2018 | SPLC | Localizing configurations in highly-configurable systems. | Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei |
| 2017 | PLDI | Decomposition instead of self-composition for proving the absence of timing channels. | Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei |
| 2017 | PODC | Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen |
| 2017 | PODC | Adding Concurrency to Smart Contracts. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen |
| 2012 | PLDI | SuperC: parsing all of C by taming the preprocessor. | Paul Gazzillo, Robert Grimm |