Paul Gazzillo

Paul Gazzillo

Post-Doctoral Associate
Department of Computer Science
Yale University
Email: paul.gazzillo 'at' yale.edu
github blog google scholar linkedin
Curriculum Vitae

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
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

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

Other Software