Hi there đŸ‘‹

profile image

I’m a PhD student at University of Wisconsin - Madison, mainly studying programming languages, including formal verification and program synthesis.

In the past, I had the opportunity to be advised by Prof. Loris D’Antoni who is very energetic at doing research. I’m currently working with Prof. Tej Chajed on file system verification.

When I don’t do research, I mess up with amateur radio, play video games (while also modding them), and watch animes.

Publication

  • 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

Teaching Assistant

  • Data Science Programming: Fall, 2024, University of Wisconsin - Madison.
  • Programming III: Spring, 2024, University of Wisconsin - Madison.
  • Foundations of Mobile Systems and Applications: Fall, 2023, University of Wisconsin - Madison.
  • Software Analysis and Verification: Spring, 2022, Tsinghua University.

Education

  • PhD student (2023-today): Dept. of Computer Sciences, University of Wisconsin - Madison
  • B.Eng. (2019-2023): School of Software, Tsinghua University