1. Pluggable Type Inference for Free;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. Language Design Meets Verifying Compilers (Keynote);Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29
3. Putting the semantics into semantic versioning;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17
4. Principles and patterns of JastAdd-style reference attribute grammars;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15
5. A reduction semantics for direct-style asynchronous observables;Journal of Logical and Algebraic Methods in Programming;2019-06