My research is primarily in the area of programming languages and compilers, with a specific focus on program analysis of object-oriented and aspect-oriented languages.
I completed my M.Sc. and Ph.D. at McGill University, in the Sable Compiler Research Group, led by Laurie Hendren. For my Ph.D. work, I applied binary decision diagrams (BDDs) to context-sensitive inter-procedural program analysis of Java and AspectJ. The main topic of my M.Sc. work was points-to analysis for Java; I identified important implementation features critical to a scalable points-to analysis, and built the Spark framework with which I empirically evaluated their effect on analysis precision and efficiency.
Before graduate school, I completed a B.Math. in Computer Science at the University of Waterloo.