PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / Paul Gazzillo

Registered user since Wed 8 Mar 2017
Name:Paul Gazzillo
Bio:
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.
Country:United States
Affiliation:Yale University
Personal website:http://paulgazzillo.com
Research interests:Programming Languages, Systems, Variability, Concurrency, Blockchain
Contributions
PLDI 2017 | Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile