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 | Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
View general profile