I am a researcher at Stevens Institute where I recently moved with my post-doctoral advisor Eric Koskinen from Yale. My research aims to make systems programming safe, secure, and easy. I develop new techniques useful for automating software development tasks. As part of a DARPA STAC team headed by Michael Hicks, I research program analyses to identify side-channel vulnerabilities, complexity attacks, and information leaks [PLDI 2017]. Continuing research begun in graduate school at NYU, I develop analyses and tools to enable support for C programs with real-world preprocessor and Makefile usage [PLDI 2012, ESEC/FSE 2017]. Such usage typically impedes bugfinding, code browsing, and other software tools. Most recently, I have been interested in safe and correct programming for concurrent and distributed systems, in particular, blockchain smart contracts [PODC 2017].
Here is my Curriculum Vitae (as of 08/2017).