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 and Prof. Jingbo Wang. I’m currently working on neural network verification.

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)

Projects

BoundLab: Neural Network Verification Framework using Zonotopes or Polytopes.
New research project for neural network verification, under active development.
SITE

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

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 SLIDES LINK

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 SLIDES

How Many Quantum Circuit Identities Are Needed to Generate All Others?
Yuantian Ding, Nengkun Yu, Xiaokang Qiu.
Manuscript submitted to CAV 2026 PDF

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.

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