1. SimTyper: sound type inference for Ruby using type equality prediction;Proceedings of the ACM on Programming Languages;2021-10-20
2. Taming type annotations in gradual typing;Proceedings of the ACM on Programming Languages;2020-11-13
3. Exploring cheap type inference heuristics in dynamically typed languages;Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2016-10-20
4. A Type- and Control-Flow Analysis for System F;Implementation and Application of Functional Languages;2013
5. Fast and precise hybrid type inference for JavaScript;ACM SIGPLAN Notices;2012-08-06