1. Type Inference for C;ACM Transactions on Programming Languages and Systems;2020-12
2. VM support for live typing;Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming;2019-04
3. TeJaS;ACM SIGPLAN Notices;2014-02-05
4. Practical, pluggable types for a dynamic language;Computer Languages, Systems & Structures;2009-04
5. Efficient Multimethods in a Single Dispatch Language;ECOOP 2005 - Object-Oriented Programming;2005