1. Adaptive Structural Operational Semantics;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. Extrinsically typed operational semantics for functional languages;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15
3. A domain-specific language for building self-optimizing AST interpreters;ACM SIGPLAN Notices;2015-05-12
4. Establishing Operational Models for Dynamic Compilation in a Simulation Platform;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2015
5. Approaches and Tools for Implementing Type Systems in Xtext;Software Language Engineering;2013