Jiawei Liu
PhD candidate at UIUC CS; 3rd-year since 2021 Fall
My research goal is to simplify the making of great software with and for machine learning and its systems. Currently, I work on Programming Languages, Formal Methods, and Software Engineering with Lingming Zhang at UIUC.
🛡️ How to detect and mitigate errors in emerging ML systems?
- NeuRI @ 🏆FSE’23:
- NNSmith @ 🏆ASPLOS’23:
- Tzer @ OOPSLA’23:
🤖 How to build and evaluate code LLMs to assist software engineering?
🚀 How to simplify the making of emerging ML systems?
🤗 Feel free to drop me an email if you are interested in my research.
Papers Show All
Invited Talk
ARiSE Lab, Columbia University: Simplify the Making of Great Software in the ML Era April 2024
Kwai Inc: EvalPlus, Magicoder, and StarCoder2 Mar 2024
Snowflake GenAI: Rigorous Evaluation of LLMs for Code (Slides) Feb 2024
AST Lab, ETH Zürich: Generating Test-Cases for ML Compilers (Slides) Jan 2024
GAI4SE, NC State University: LLMs for Software Testing (Guest Lecture) Nov 2023
Apache TVM Conference: Automating DL Compiler Bug Finding with NNSmith Mar 2023
SAMPL, University of Washington: Coverage-Guided Tensor Compiler Fuzzing (Slides) May 2022
Honor
Yee Memorial Fellowship, University of Illinois 2024
ACM SIGSOFT Distinguished Paper Award (FSE) 2023
Distinguished Artifact Award (ASPLOS) 2023
Qidi Innovation Scholarship, Tongji University 2020
Experience
UIUC, 2021~TBD CS PhD @ PL/FM/SE
Google TPU, Smr+Fall. 23 ML SDC
OctoML, Smr. 22 Pattern Language
Tongji University, 20{17~21} B.Eng. in CS
Alibaba DAMO, Smr. 21 GNN4Assembly