
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 |
View general profile