My interests lie at the intersection of programming languages and security. My work makes Web programming easier and Web programs more secure. I've recently started working on security and programmability for software-deﬁned networks.
Presently, I am a postdoc in Nate Foster's research group, working on network programmability (Frenetic). I continue working with my advisor, Shriram Krishnamurthi, on several language-based Web security projects (JSWebTools.org). Starting Fall 2013, I will join the faculty of computer science at UMass-Amherst.
- Attending PLDI 2013 to present our work on verifying SDN controllers and run a tutorial on Frenetic (June 2013).
- Attending SIGCOMM 2013 to run a tutorial on Frenetic and present our work on PANE (August 2013).