Research Interest
I am primarily interested in various program synthesis tasks, with a particular focus on syntax-guided synthesis and quantum circuit synthesis.
Education
Ph.D. in Electronic and Computer Engineering
2022 - 2072 · Purdue University · Xiaokang Qiu
B.S. in Computer Science
2018 - 2022 · University of Science and Technology of China
Publications
Proceedings
2024. Enhanced Enumeration of Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. Yuantian Ding, Xiaokang Qiu. Proc. 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL ’24).
Projects
Oomotion
A textobject-oriented editor plugin for VS Code, inspired by Vim, Kakoune and Helix.
Skills
Rust
Scala