Paul Gazzillo

Registered user since Wed 8 Mar 2017

Name: Paul Gazzillo

Bio: 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 systems, side-channel attack detection, and concurrent smart contracts. His work has been published in venues such as PLDI, ESEC/FSE, and PODC and has been recognized with a SIGPLAN Research Highlight.

Country: United States

Affiliation: University of Central Florida

Personal website: https://paulgazzillo.com

Research interests: programming languages, security, software engineering, systems

Contributions

APLAS 2019Author of Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects within the Research Papers-track
SPLASH 2018Committee Member in Artifact Evaluation Committee within the Artifacts-track
ICSE 2019Author of Conditional Compilation is Dead, Long Live Conditional Compilation! within the New Ideas and Emerging Results-track
POPL 2018Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2017Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track