Cheng Ding
Hi, it’s Cheng Ding.
I’m a second-year PhD student at the University of Texas at Austin(UT Austin), advised by Prof. Milos Gligoric.
I got my Bachelor degree at the University of Science of Technology of China(USTC). I was previously a research intern at UIUC working with Prof. Tianyin Xu and Prof. Owolabi Legunsen on Runtime Verification.
My research interests are in software testing, verification, programming languages and databases.
news
| Dec 24, 2025 | I will serve as an Artifact Evaluation Committee member for the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2026. |
|---|---|
| Dec 3, 2025 | Our paper ‘TypeJinja: Static Type Checking of Jinja Templates at dbt Labs’ is accepted at ICSE SEIP 2026! |
| Nov 14, 2025 | I will serve as an Artifact Evaluation Committee member on International Symposium on Code Generation and Optimization (CGO) 2026. |
| May 27, 2025 | I will join dbt Labs as a Software Engineer Intern in Summer 2025! |
| Aug 1, 2024 | I was awarded UT Graduate School Fellowship for 2024-2028! |