1. Automated Ambiguity Detection in Layout-Sensitive Grammars;Proceedings of the ACM on Programming Languages;2023-10-16
2. A Model and Declarative Language for Specifying Binary Data Formats;Programming and Computer Software;2022-11-29
3. Certified Parsing of Dependent Regular Grammars;2022 IEEE Security and Privacy Workshops (SPW);2022-05
4. Faster general parsing through context-free memoization;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
5. Morbig: A Static parser for POSIX shell;Journal of Computer Languages;2020-04