About Me
I’m Lize Shao, a first year CS PhD student at the University of Virginia (UVA) and I am fortunate to be advised by Prof. Wenxi Wang. I completed my undergraduate degree from Rice University in 2025, where I completed a dual degree in Mathematics and Computer Science. I had the privilege of working with Prof. Xia Hu and Prof. Tegawendé F. Bissyandé during my undergraduate studies.
From 2021 to 2025, I was honored to be a recipient of the Rice Trustee Distinguished Scholarship.
My research focuses on LLMs for Software Engineering, Safe Code Generation, and Formal Methods. I study how to integrate formal constraints, program semantics, and verification techniques into LLM-based code generation and reasoning systems, with the goal of producing code that is not only functional, but also safe, correct, and aligned with formal specifications.
In another line of my work so far, my research on RFCScope has uncovered 31 previously unknown logical ambiguities across 14 recent RFCs. Eight of these findings have been confirmed, with three officially verified as technical errata.
Selected Publications
RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications
Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang
ASE, 2025
MQUAKE-REMASTERED: MULTI-HOP KNOWLEDGE EDITING CAN ONLY BE ADVANCED WITH RELIABLE EVALUATIONS
Shaochen Zhong, Yifan Lu, Lize Shao, Bhargav Bhushanam and more authors
ICLR(Spotlight), 2025
HoCoS: Hyperbolic Representation Towards Code Search
Xunzhu Tang, Lize Shao, Yewei Song more 5 authors
ResearchGate, 2024