1. Automated Ambiguity Detection in Layout-Sensitive Grammars;Proceedings of the ACM on Programming Languages;2023-10-16
2. PureCake: A Verified Compiler for a Lazy Functional Language;Proceedings of the ACM on Programming Languages;2023-06-06
3. Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms;Proceedings of the 29th International Conference on Compiler Construction;2020-02-22
4. CPEG;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
5. Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages;Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24