1. Static stages for heterogeneous programming;Proceedings of the ACM on Programming Languages;2017-10-12
2. Expressive and strongly type-safe code generation;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09
3. Verification of code generators via higher-order model checking;Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2017-01-02
4. Breaking through the normalization barrier: a self-interpreter for f-omega;ACM SIGPLAN Notices;2016-04-08
5. Breaking through the normalization barrier: a self-interpreter for f-omega;Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2016-01-11