Picture of Paul Gazzillo

Paul Gazzillo

Email: contact 'at' pgazz.com
github blog dblp google scholar linkedin
Curriculum Vitae

August 2018, I will start as an Assistant Professor at University of Central Florida.

About

Paul Gazzillo received his PhD from NYU and has 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 program analyses to find side-channels, to support massively configurable systems code, and to make concurrent smart contracts safer. His work has been published in venues such as PLDI, ESEC/FSE, and PODC and has been recognized with a SIGPLAN Research Highlight.

News

Publications

Journal Publications

EATCS 2018
How to add concurrency to smart contracts by Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, and Eric Koskinen.
Bulletin of the European Association for Theoretical Computer Science. Number 124. 22-33, February 2018

Refereed Conference Proceedings

SPLC-C 2018
Localizing Configurations in Highly-Configurable Systems by Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, and Shiyi Wei.
To Appear in International Conference on Software Product Line, Challenge Track.
ESEC/FSE 2017
Kmax: Finding All Configurations of Kbuild Makefiles Statically by Paul Gazzillo
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
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
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

Refereed Workshop Proceedings

WTSC 2018
Proof-Carrying Smart Contracts by Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, and Eric Koskinen.
Workshop on Trusted Smart Contracts, 2018.

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