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

Drafts

• Brief Announcement: A Transactional Universal Construction for Shared Objects by Paul Gazzillo. Under Submission. May, 2017.

Refereed Conference Proceedings

• MAC: Makefile Analysis for Configurations by Paul Gazzillo
  To appear: European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '17)
• 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 '17)
• 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 (PODC '17)
  • tech report
  • tool page
• 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 '17)
  • slides
• 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 (PLDI '12)
  • tool download
  • slides
  • poster
  • 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.

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 PLDI17.
• Kmax: Linux Makefile variability tool.
• SuperC: Configuration-preserving preprocessor and parser. This is the artifact for PLDI12.

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.