Paul Gazzillo

According to our database, Paul Gazzillo authored at least 20 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Semantic Analysis of Macro Usage for Portability.

Brent Pappas, Paul Gazzillo

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

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

Bringing Together Configuration Research: Towards a Common Ground.

Paul Gazzillo, Myra B. Cohen

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C.

Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Finding broken Linux configuration specifications by statically analyzing the Kconfig language.

Jeho Oh, Necip Fazil Yildiran, Julian Braha, Paul Gazzillo

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels.

Andrea Mondelli, Paul Gazzillo, Yan Solihin

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Adding concurrency to smart contracts.

Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen

Distributed Comput., 2020

Inferring and securing software configurations using automated reasoning.

Paul Gazzillo

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

<i>t</i>-wise coverage by uniform sampling.

Jeho Oh, Paul Gazzillo, Don S. Batory

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

An empirical study of real-world variability bugs detected by variability-oblivious tools.

Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Conditional compilation is dead, long live conditional compilation!

Paul Gazzillo, Shiyi Wei

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects.

Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Localizing configurations in highly-configurable systems.

Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Proof-Carrying Smart Contracts.

Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen

Proceedings of the Financial Cryptography and Data Security, 2018

2017

Proust: A Design Space for Highly-Concurrent Transactional Data Structures.

Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy

CoRR, 2017

Kmax: finding all configurations of Kbuild makefiles statically.

Paul Gazzillo

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures.

Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

Decomposition instead of self-composition for proving the absence of timing channels.

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Analyzing Source Code Across Static Conditionals.

Paul Gazzillo

PhD thesis, 2016

2012

SuperC: parsing all of C by taming the preprocessor.

Paul Gazzillo, Robert Grimm

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012