1. Profiling for laziness;ACM SIGPLAN Notices;2014-01-13
2. Profiling for laziness;Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2014-01-08
3. Optimistic evaluation;ACM SIGPLAN Notices;2003-09-25
4. Representation Analysis for Coercion Placement;Static Analysis;2002
5. Dynamic Cheap Eagerness;Implementation of Functional Languages;2002