Paul Gazzillo

Paul Gazzillo

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


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



Refereed Conference Proceedings

Technical Reports

Research Software

  • Concurrent smart contracts.
  • Concurrent programming with composable transactional objects.
  • Proust: A boosting library implemented on top of ScalaSTM.
  • Blazer: Program analysis for complexity and side-channel attacks.
  • Kmax: Linux Makefile variability tool.
  • SuperC: Configuration-preserving preprocessor and parser.

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.
  • timesheet: A painless command-line time tracker.
  • podcasts: Scripts to download podcasts.