Undergraduate Research Assistants

Undergraduate RAs

Two new undergraduate research assistants will join me over summer thanks to a generous REU supplement from the NSF. Also, keep an eye out for details about my upcoming sessions at UCF’s Camp Connect.

Education and Outreach

APPLeSEEd Lab

APPLeSEEd Lab

The Applied Programming Languages, Software Engineering, and Education (APPLeSEEd) Lab tackles problems in software, security, and systems and cultivates computational thinking.

Homepage

fully responsive

CyberSP Cluster

The Cyber Security and Privacy (CyberSP) Cluster is a university-wide research cluster formed as part of the Faculty Cluster Initiative that focuses on security and privacy in cyberspace.

Homepage

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.

News

July 2019
Preprint of "An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools" now available.
June 2019
Our challenge solution paper "t-wise Coverage by Uniform Sampling" was accepted to the SPLC Challenge Track.
June 2019
I hosted Computer Science sessions at UCF's Camp Connect.
June 2019
Slides from my talk "Conditional Compilation is Dead, Long Live Conditional Compilation!" at ICSE 2019 now available.
June 2019
Our journal article "Adding Concurrency to Smart Contracts" was accepted to the journal Distributed Computing.
May 2019
Our paper, "An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools", has been accepted to ESEC/FSE!
May 2019
I gave a guest talk at SNAPL, "Can We Replace the Preprocessor by Extending C?​".

See all news here.