• Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith Johnson, Thomas Reps, and Loris D’Antoni. 2024. Synthesizing Formal Semantics from Executable Interpreters. To appear at OOPSLA ‘24 (October 2024).
  • 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