An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools

Latest Publication

Check out our latest paper in ESEC/FSE 2019 that uses existing bug finders to simulate variability-aware bug-finders, i.e., those that find bugs in any software configuration.

Publications

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

Aug 2019
I gave a talk, "Good Engineering Makes for Good Science", at The Third ROSE Festival at ESEC/FSE 2019
Aug 2019
Sayma Sultana has joined as a graduate research assistant.
Aug 2019
Our paper, "Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects", has been accepted to APLAS 2019!
Aug 2019
A pre-release of the latest version of Kmax with many new improvements to performance, functionality, documentation, and testing.
July 2019
Kaarthik Alagappan and Julian Braha will be working with me as undergraduates research assistants.
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.

See all news here.