Paul Gazzillo

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 25

Top Topics

Ubiquitous Environments

Concurrency Control

Semantic Analysis

Uniform Sampling

Top Venues

ESEC/SIGSOFT FSE

Publications

Brent Pappas, Paul Gazzillo
Semantic Analysis of Macro Usage for Portability. ICSE (2024)
Necip Fazil Yildiran, Jeho Oh, Julia Lawall, Paul Gazzillo
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times. CoRR (2024)
Necip Fazil Yildiran, Jeho Oh, Julia Lawall, Paul Gazzillo
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Brent Pappas, Paul Gazzillo
Semantic Analysis of Macro Usage for Portability. CoRR (2024)
Paul Gazzillo, Myra B. Cohen
Bringing Together Configuration Research: Towards a Common Ground. Onward! (2022)
Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden
Static data-flow analysis for software product lines in C. Autom. Softw. Eng. 29 (1) (2022)
Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C. ICSE (2022)
Jeho Oh, Necip Fazil Yildiran, Julian Braha, Paul Gazzillo
Finding broken Linux configuration specifications by statically analyzing the Kconfig language. ESEC/SIGSOFT FSE (2021)
Andrea Mondelli, Paul Gazzillo, Yan Solihin
SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels. DAC (2021)
Paul Gazzillo
Inferring and securing software configurations using automated reasoning. ESEC/SIGSOFT FSE (2020)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Adding concurrency to smart contracts. Distributed Comput. 33 (3-4) (2020)
Andrea Mondelli, Paul Gazzillo, Yan Solihin
SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels. CoRR (2020)
Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. APLAS (2019)
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo
An empirical study of real-world variability bugs detected by variability-oblivious tools. ESEC/SIGSOFT FSE (2019)
Paul Gazzillo, Shiyi Wei
Conditional compilation is dead, long live conditional compilation! ICSE (NIER) (2019)
Jeho Oh, Paul Gazzillo, Don S. Batory
-wise coverage by uniform sampling. SPLC (A) (2019)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Adding Concurrency to Smart Contracts. Bull. EATCS 124 (2018)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen
Proof-Carrying Smart Contracts. Financial Cryptography Workshops (2018)
Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei
Localizing configurations in highly-configurable systems. SPLC (2018)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. PODC (2017)
Paul Gazzillo
Kmax: finding all configurations of Kbuild makefiles statically. ESEC/SIGSOFT FSE (2017)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Adding Concurrency to Smart Contracts. CoRR (2017)
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
Decomposition instead of self-composition for proving the absence of timing channels. PLDI (2017)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Adding Concurrency to Smart Contracts. PODC (2017)
Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy
Proust: A Design Space for Highly-Concurrent Transactional Data Structures. CoRR (2017)
Paul Gazzillo, Robert Grimm
SuperC: parsing all of C by taming the preprocessor. PLDI (2012)