1. Newly-single and loving it: improving higher-order must-alias analysis with heap fragments;Proceedings of the ACM on Programming Languages;2021-08-22
2. Trace-based control-flow analysis;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. A Type- and Control-Flow Analysis for System F;Implementation and Application of Functional Languages;2013
4. Laziness by Need;Programming Languages and Systems;2013
5. Control-flow analysis of functional programs;ACM Computing Surveys;2012-06