• Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, and Loris D’Antoni. 2024. Synthesizing Formal Semantics from Executable Interpreters. Proc. ACM Program. Lang. 8, OOPSLA2, Article 284 (October 2024), 27 pages. https://doi.org/10.1145/3689724
  • Jiangyi Liu, Fengmin Zhu, and Fei He. 2023. Automated Ambiguity Detection in Layout-Sensitive Grammars. Proc. ACM Program. Lang. 7, OOPSLA2, Article 262 (October 2023), 26 pages. https://doi.org/10.1145/3622838