1. A Faithful Description of ECMAScript Algorithms;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
2. On the cost semantics for spreadsheets with sheet-defined functions;Journal of Computer Languages;2022-04
3. Verification of Program Transformations with Inductive Refinement Types;ACM Transactions on Software Engineering and Methodology;2021-01-31
4. Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics;Dependable Software Engineering. Theories, Tools, and Applications;2021
5. Soundness Conditions for Big-Step Semantics;Programming Languages and Systems;2020