Curriculum Vitae

Paul Gazzillo


contact 'at' pgazz.com
https://paulgazzillo.com/

Education

2016
PhD Computer Science, Courant Institute, New York University, New York, NY
Advisors: Robert Grimm, Thomas Wies
Thesis: Analyzing Source Code Across Static Conditionals
2011
MS Computer Science, Courant Institute, New York University, New York, NY
Advisor: Robert Grimm
Thesis: Configuration-Preserving C Parsing
2003
BS Computer Science and Mathematics, Rutgers University, New Brunswick, NJ

Academic Positions

2017-Now
Research Scholar, Stevens Institute of Technology, Hoboken, NJ
Co-Advisors: Eric Koskinen (Stevens Institute) and Michael Hicks (UMD College Park)
2016-2017
Post-Doctoral Associate, Yale University, New Haven, CT
Advisor: Eric Koskinen
2011-2013
Research Assistant, New York University, New York, NY
Advisor: Robert Grimm
2010
Junior Research Scientist (Summer), New York University, New York, NY
Advisor: Robert Grimm

Industry Experience

2013
Software Engineering Intern (Summer), Google, Mountain View, CA
2009
Financial Software Development Intern (Summer), Bloomberg LP, New York, NY
2004-2008
Research Data Analyst, Educational Testing Service, Princeton, NJ
2000-2004
Programmer (Summers & Part-Time), Educational Testing Service, Princeton, NJ

Fellowships and Honors

2013-2015
MacCracken Fellowship, New York University
Spr 2013
Global Research Initiative Fellowship, New York University Shanghai
Oct 2012
SIGPLAN Research Highlight (for the PLDI 2012 paper on SuperC)
May 2012
Matthew Smosna Prize, Courant Institute, New York University
May 2005
Outstanding Contributor Award, Educational Testing Service

Publications

Refereed Conference Proceedings

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

Technical Reports

Patents

2017
Adding Concurrency to Smart Contracts (patent pending)
2014
Configuration-Preserving Preprocessor, 9,389,842, issued 2016
2013
Configuration-Preserving Preprocessor and Configuration-Preserving Parser, 8,806,456, issued 2014
2008
Data Structure for Defining a Chart, application 2008/0086679
2008
Method and System for XML Multi-Transform, 9,189,464, issued 2015

Dissertation

2016
"Analyzing Source Code Across Static Conditionals" by Paul Gazzillo. PhD Thesis, Department of Computer Science, New York University.

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

Software

Teaching and Advising Experience

Fall 2017
Security Advisor, Senior Project, Stevens Institute of Technology
Spr 2015
Recitation Leader, Data Structures, New York University
Fall 2014
Recitation Leader, Data Structures, New York University
2009-2012
Teacher, cSplash one-day festival of Math and CS, New York University, NY
Spr 2010
Teaching Assistant, Compilers, New York University
Spr 2010
Teaching Assistant, Operating Systems, New York University
Fall 2009
Teaching Assistant, Computer Organization, New York University

Professional Service

2017
Reviewer, Symposium on Security and Privacy (IEEE S&P 2018)
2017
Artifact Evaluation Committee, Principles of Programming Languages (POPL 2018 AEC)
2017
Reviewer, Principles and Practice of Parallel Programming (PPoPP 2018)
2017
Journal Reviewer, Science of Computer Programming
2017
Proposal Reviewer, Netherlands Organisation for Scientific Research (NWO)
2017
Shadow Program Committee Member, ACM European Conference on Computer Systems (EuroSys 2017)
2016
Journal Reviewer, ACM Transactions on Parallel Computing (TOPC)
2016
Reviewer, European Conference on Object-Oriented Programming (ECOOP 2017)

Community Activities

2017
Panel Member, MSCS & MSIS Alumni Q&A Panel, New York Unversity
2015
Panel Member, MSCS & MSIS Alumni Q&A Panel, New York Unversity
2013
PhD Student Representative, Computer Science Department, New York University
2009-2012
Teacher, cSplash one-day festival of Math and CS, New York University
2009-2010
Volunteer, Women in Computing's High School Girls' CS/Engineering Colloquium
2010
President, NYU Master's Association of Computer Science
2009
Treasurer, NYU Master's Association of Computer Science
2009
Department Representative, NYU Graduate School Open House

Professional Memberships

Since 2009
Professional Member, Association for Computing Machinery
Since 2014
Contributing Member, Free Software Foundation
Since 2014
Contributing Member, Electronic Frontier Foundation

References

Michael Hicks
Professor
University of Maryland, College Park
mwh@cs.umd.edu
+1 (301) 405-2710

Eric Koskinen
Assistant Professor
Stevens Institute of Technology
eric.koskinen@stevens.edu
+1 (212) 998-3293

Thomas Wies
Associate Professor
New York University
wies@cs.nyu.edu
+1 (201) 216-5071

Benjamin Goldberg
Associate Professor
New York University
goldberg@benjamingoldberg.com
+1 (212) 998-3495

Maurice Herlihy
Professor
Brown University
maurice.herlihy@gmail.com
+1 (401) 863-7646