Paul Gazzillo

Registered user since Wed 8 Mar 2017

Name:Paul Gazzillo

Paul Gazzillo is an Assistant Professor of Computer Science at University of Central Florida. He received his PhD from NYU and previously worked as a Post-Doc at Yale and a Research Scholar at Stevens Institute. His research aims to make it easier to develop safe and secure software, and it spans programming languages, security, software engineering, and systems. Projects include analysis of configurable software, side-channel attack detection, and corporate entity tracking. His work has been published in venues such as PLDI, ESEC/FSE, and ICSE and has been recognized with a DARPA Young Faculty Award, an NSF CAREER award, and a SIGPLAN Research Highlight.

Country:United States
Affiliation:University of Central Florida
Personal website:
Research interests:programming languages, security, software engineering, systems


PLDI 2021 Committee Member in Program Committee within the PLDI-track
ESEC/FSE 2021 Author of Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language within the Research Papers-track
ICSE 2022 Author of SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C within the Technical Track-track
ESEC/FSE 2020 Panelist of Conversations on Configuration within the Paper Presentations-track
Moderator of Conversations on Static Analysis within the Paper Presentations-track
Author of Inferring and Securing Software Configurations using Automated Reasoning within the Visions and Reflections -track
APLAS 2019 Author of Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects within the Research Papers-track
SPLASH 2018 Committee Member in Artifact Evaluation Committee within the Artifacts-track
ICSE 2019 Author of Conditional Compilation is Dead, Long Live Conditional Compilation! within the New Ideas and Emerging Results-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2017 Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track