Yuantian Ding

I’m Yuantian Ding, a 4th-year PhD student at Purdue University specializing in program synthesis and verification under the supervision of Prof. Xiaokang Qiu.

Education

Purdue University (2022 - Present)
Ph.D. Electrical and Computer Engineering
Advised by Xiaokang Qiu

University of Science and Technology of China (2018 - 2022)
B.E. in Computer Science and Technology
GPA: 3.97/4.3 (Ranked 6/251)

Publication

Enhanced Enumeration of Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations.
Yuantian Ding, Xiaokang Qiu.
(POPL ’24) Proc. 51st ACM SIGPLAN Symposium on Principles of Programming Languages.
PDF DOI CODE TALK

A Concurrent Approach to String Transformation Synthesis.
Yuantian Ding, Xiaokang Qiu.
(PLDI ’25) Proc. 46th ACM SIGPLAN Conference on Programming Language Design and Implementation.
PDF DOI CODE TALK

Experience

Nanjing University Research Internship (07/2021 - 12/2021)
with Zhiqiang Zuo, Harry Xu
Topic: A New Serverless Platform with Customized JIT Design

SRI SSFT24: The 13th Summer School on Formal Techniques (07/2021 - 12/2021)
Summer school for learning techniques based on formal logic.

Projects

DryadSynth: Dryad Synthesizer for SyGuS competition
A SyGuS solver designed by Purdue CAP, under active development.
SITE CODE

Awards

ASC Student Supercomputer Challenge 2021 First Prize
Topic (My Part): Efficient Parallelization of PRESTO

ACM-China International Parallel Computing Challenge 2020 Third Prize
Topic (Final): Efficient Numerical Simulation of Supersonic Underexpanded Thermal Jets