Paul Gazzillo

About

I am currently a postdoctoral associate at Yale where I research static analyses to find complexity attacks on software as well as concurrency at the intersection of programming languages and systems with Eric Koskinen's group. I am also continuing research begun in graduate school at NYU that focuses on enabling variability-aware software tools, specifically C programs in the presence of the C preprocessor and Makefiles. In a past life, I was a research data analyst for Educational Testing Service.

Here is my Curriculum Vitae (as of 06/2017).

Publications

Refereed Conference Proceedings

ESEC/FSE 2017

Kmax: Finding All Configurations of Kbuild Makefiles Statically by Paul Gazzillo
To appear: European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering

• tool

PODC 2017

Adding Concurrency to Smart Contracts by Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen
To appear: ACM Symposium on Principles of Distributed Computing

PODC 2017

Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures by Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen
To appear: ACM Symposium on Principles of Distributed Computing

• tech report
• tool page

PLDI 2017

Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels by Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, and Shiyi Wei
ACM Conference on Programming Language Design and Implementation

• slides
• video

PLDI 2012

SuperC: Parsing All of C by Taming the Preprocessor by Paul Gazzillo and Robert Grimm
ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation

• tool download
• slides
• poster
• SIGPLAN research highlight

Technical Reports

• Proust: A Design Space for Highly-Concurrent Transactional Data Structures by Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen. arXiv:1702.04866v1 16 Feb 2017.
• Vertical Composition of Reversible Atomic Objects by Timos Antonopoulos, Paul Gazzillo, Eric Koskinen, and Zhong Shao. Technical Report YALEU/DCS/TR1529, Computer Science Department, Yale University, 2016.
• Kmax: Analyzing the Linux Build System by Paul Gazzillo. Technical Report TR2015-976, Computer Science Department, New York University, 2015.
  • tool
• Parsing all of C by taming the preprocessor by Paul Gazzillo and Robert Grimm. Technical Report TR2011-939, Computer Science Department, New York University, 2011.

Talks

Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels

Jun 2017

Programming Language Design and Implementation (PLDI), Universitat Politècnica de Catalunya, Barcelona, Spain

Jun 2017

University of Maryland, College Park, MD

Jun 2017

New England Programming Languages and Systems Symposium (NEPLS), University of Massachusetts, Lowell, MA

Adding Concurrency to Smart Contracts

Apr 2017

Shanghai Jiao Tong University, Shanghai, China

Apr 2017

Yale University, New Haven, CT

Topic: Enabling Variability-Aware Software Tools (SuperC and Kmax)

Mar 2017

Feature-Oriented Software Development Conference (FOSD), Technische Universität Darmstadt, Darmstadt, Germany

Sep 2016

NJ Programming Languages and Systems Seminar (NJPLS), Rutgers University, NJ

Jan 2016

Carnegie Mellon University Institute for Software Research, Pittsburgh, PA

Jan 2016

Yale University, New Haven, CT

Nov 2015

IBM Programming Languages Day, Yorktown Heights, NY

Parsing All of C by Taming the Preprocessor

Jan 2017

Eurosys Shadow Program Committee Workshop, Zurich, Switzerland

Jun 2012

Programming Language Design and Implementation (PLDI), Beijing, China

GraphicML: A Markup Language for Describing Charts

May 2006

John W. Tukey Seminar on Data Preparation and Presentation, ETS, Princeton, NJ

Research Software

• Concurrent smart contracts.
• Concurrent programming with composable transactional objects.
• Proust: A boosting library implemented on top of ScalaSTM. I made only minor contributions to the library, but built the smart contract implementation for PODC17 on top of it.
• Blazer: Program analysis for complexity and side-channel attacks. This is the artifact for PLDI '17.
• Kmax: Linux Makefile variability tool. This is the artifact for ESEC/FSE '17.
• SuperC: Configuration-preserving preprocessor and parser. This is the artifact for PLDI '12.

Other Software

• Courgette: A compression algorithm for object files that makes Chromium's updates smaller. During my internship at Google I contributed to Courgette, adding support for ELF binaries and the ARM instruction set, and documented its internals.
• GraphicML: An intermediate language for data charting. I developed this while working at Educational Testing Service.
• timesheet: A painless command-line time tracker I created during graduate school to see in detail what I was spending (and not spending) time on.
• podcasts: Scripts to download podcasts from the command-line or via a cronjob.