News
| Jul 2025 | Paper TrainVerify accepted by SOSP 2025! |
|---|---|
| Dec 2024 | Paper One-Size-Fits-None accepted by NSDI 2025! |
| May 2024 | Starting my internship at Microsoft Research Asia! |
| Jan 2024 | Serving as Graduate Student Instructor for EECS 481: Software Engineering! |