Hi! My name is Yihe Li, and I’m currently an student.
My CV is available here.
I am personally interested in the field of Computer Science, and is planning to align my future job in this direction.
Currently, I am fluent in using C++ and Python, and have elementary knowledge about Java and frontend languages (HTML and Javascript).
Outside academia, I have a hobby of riding and analyzing subways and other transit projects.
Notable Projects
Current
Waiting for api.github.com...
Legacy
Waiting for api.github.com...
Waiting for api.github.com...
Publications
- Large Language Model Powered Symbolic Execution
- DOI
10.1145/3763163 - Yihe Li, Ruijie Meng, Gregory J. Duck
- Published in OOPSLA2 2025
- DOI
- Persistent Iterators with Value Semantics
- DOI
10.1145/3808324 - Yihe Li, Gregory J. Duck
- Published in PLDI 2026
- DOI