I am a Software Engineer at Google, working on Closure Compiler.
Before joining Google, I was a PhD student at Northeastern University. I defended my thesis in June 2012. For my PhD, I developed CFA2, a new flow analysis for functional languages. CFA2 is the first flow analysis with unbounded call/return matching in the presence of hard-to-analyze language features, such as first-class functions, tail calls and first-class control. It provides precise dataflow information and is also suitable for stack-related optimizations, such as stack-allocation of closure environmen