1. Concerto: a framework for combined concrete and abstract interpretation;Proceedings of the ACM on Programming Languages;2019-01-02
2. Jones-optimal partial evaluation by specialization-safe normalization;Proceedings of the ACM on Programming Languages;2018-01
3. Partial evaluation of machine code;ACM SIGPLAN Notices;2015-12-18
4. Partial evaluation of machine code;Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2015-10-23
5. A self-applicable online partial evaluator for recursive flowchart languages;Software: Practice and Experience;2011-06-20