Registered user since Wed 8 Mar 2017
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.
|PLDI 2017||Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels|
|Show activities from other conferences|
View general profile