Jiawei Liu
I am a PhD student working with Prof. Lingming Zhang on Programming Languages, Formal Methods, and Software Engineering at UIUC.
I am interested in simplifying programming and improving software quality, by advancing symbolic and/or learning-based approaches, esp. in program synthesis. Here are some topics I work on:
- 🛡️ Code Correctness: How to detect and mitigate errors in software code, esp. emerging large-scale systems?
- 🤖 Code Copilot: How to build/evaluate programming Copilots on generating better code and ground their outputs for good intents?
🤗 Feel free to drop me an email if you are interested in my research.
Papers Show All
*PLSE conferences like OOPSLA and ESEC/FSE do not badge for reproducibility at artifact evaluation as it requires third-party re-implementation. Nonetheless, we got all badges we can get. :D
Talks
LLMs for Software Testing (Guest Lecture)- GAI4SE, NC State University Nov. 2023
- Apache TVM Conference Mar. 2023