Paul Gazzillo

Paul Gazzillo

Research Scholar
Department of Computer Science
Stevens Institute
Email: contact 'at' pgazz.com
github blog google scholar linkedin
Curriculum Vitae

About

I am a 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 11/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
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
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
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

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

Other Software

Links