Cheng Ding
Hi, it’s Cheng Ding.
I’m a second-year ECE 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.
I’m serving as an Artifact Evaluation Committee member on International Symposium on Code Generation and Optimization (CGO) 2026.
news
| Dec 3, 2025 | Our paper ‘TypeJinja: Static Type Checking of Jinja Templates at dbt Labs’ is accepted at ICSE SEIP 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! |
| Apr 1, 2024 | I will join ECE@UT-Austin as a PhD student in 2024Fall. See you in Austin! |
| Nov 20, 2023 | Start maintaining my homepage! |