Paul Gazzillo

30 papers A* 9B 2Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Build Code is Still Code: Finding the Antidote for Pipeline Poisoning.
CoRR
Brent Pappas, Paul Gazzillo
2025 A* conf
A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing.
ICSE
Sanan Hasanov, Stefan Nagy, Paul Gazzillo
2024 J jnl
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times.
CoRR
Necip Fazil Yildiran, Jeho Oh, Julia Lawall, Paul Gazzillo
2024 J jnl
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times.
Proc. ACM Softw. Eng.
Necip Fazil Yildiran, Jeho Oh, Julia Lawall, Paul Gazzillo
2024 A* conf
Semantic Analysis of Macro Usage for Portability.
ICSE
Brent Pappas, Paul Gazzillo
2024 J jnl
Semantic Analysis of Macro Usage for Portability.
CoRR
Brent Pappas, Paul Gazzillo
2024 A* conf
Towards Automated Configuration Documentation.
ASE
Jobayer Ahmmed, Myra B. Cohen, Paul Gazzillo
2022 — conf
Bringing Together Configuration Research: Towards a Common Ground.
Onward!
Paul Gazzillo, Myra B. Cohen
2022 J jnl
Static data-flow analysis for software product lines in C.
Autom. Softw. Eng.
Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden
2022 A* conf
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C.
ICSE
Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo
2021 — conf
Finding broken Linux configuration specifications by statically analyzing the Kconfig language.
ESEC/SIGSOFT FSE
Jeho Oh, Necip Fazil Yildiran, Julian Braha, Paul Gazzillo
2021 A* conf
SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels.
DAC
Andrea Mondelli, Paul Gazzillo, Yan Solihin
2020 J jnl
Adding concurrency to smart contracts.
Distributed Comput.
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2020 — conf
Inferring and securing software configurations using automated reasoning.
ESEC/SIGSOFT FSE
Paul Gazzillo
2020 — ed.
SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume B
SPLC (B)
Rafael Capilla, Philippe Collet, Paul Gazzillo, Jacob Krüger, Roberto Erick Lopez-Herrejon, Sarah Nadi, Gilles Perrouin, Iris Reinhartz-Berger, Julia Rubin, Ina Schaefer
2020 J jnl
SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels.
CoRR
Andrea Mondelli, Paul Gazzillo, Yan Solihin
2019 — conf
An empirical study of real-world variability bugs detected by variability-oblivious tools.
ESEC/SIGSOFT FSE
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo
2019 — conf
Conditional compilation is dead, long live conditional compilation!
ICSE (NIER)
Paul Gazzillo, Shiyi Wei
2019 B conf
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects.
APLAS
Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy
2018 J jnl
Adding Concurrency to Smart Contracts.
Bull. EATCS
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2018 B conf
Localizing configurations in highly-configurable systems.
SPLC
Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei
2018 — conf
Proof-Carrying Smart Contracts.
Financial Cryptography Workshops
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen
2017 A* conf
Adding Concurrency to Smart Contracts.
PODC
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 J jnl
Adding Concurrency to Smart Contracts.
CoRR
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 A* conf
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures.
PODC
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 A* conf
Decomposition instead of self-composition for proving the absence of timing channels.
PLDI
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
2017 — conf
Kmax: finding all configurations of Kbuild makefiles statically.
ESEC/SIGSOFT FSE
Paul Gazzillo
2017 J jnl
Proust: A Design Space for Highly-Concurrent Transactional Data Structures.
CoRR
Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy
2016 — —
Analyzing Source Code Across Static Conditionals.
Paul Gazzillo
2012 A* conf
SuperC: parsing all of C by taming the preprocessor.
PLDI
Paul Gazzillo, Robert Grimm