Paul Gazzillo

Research Scholar
Department of Computer Science
Stevens Institute
Email: contact 'at' pgazz.com

Curriculum Vitae

About

I am researcher at Stevens Institute where I recently moved with my post-doctoral advisor Eric Koskinen from Yale. My research aims to make systems programming safe, secure, and easy. I develop new techniques useful for automating software development tasks. As part of a DARPA STAC team headed by Michael Hicks, I research program analyses to identify side-channel vulnerabilities, complexity attacks, and information leaks [PLDI 2017]. Continuing research begun in graduate school at NYU, I develop analyses and tools to enable support for C programs with real-world preprocessor and Makefile usage [PLDI 2012, ESEC/FSE 2017]. Such usage typically impedes bugfinding, code browsing, and other software tools. Most recently, I have been interested in safe and correct programming for concurrent and distributed systems, in particular, blockchain smart contracts [PODC 2017].

Here is my Curriculum Vitae (as of 08/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
slides

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

slides

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

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

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

Kmax: Finding All Configurations of Kbuild Makefiles Statically

Sep 2017: European Software Engineering Conference and Foundations of Software Engineering (ESEC/FSE).

Adding Concurrency to Smart Contracts

Jul 2017: Symposium on Principles of Distributed Computing (PODC), Washington, DC
Apr 2017: Shanghai Jiao Tong University, Shanghai, China
Apr 2017: Yale University, New Haven, CT

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

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.