Email: ye202@purdue.edu
About
I am currently a PhD Student of Computer Science at Purdue University, advised by Benjamin Delaware.
My research interests lie in proof assistants, type theory and programming languages, program verification and synthesis, and broadly anything about proof.
CV
Publications
- Oblivious Algebraic Data Types
Qianchuan Ye and Benjamin Delaware
Proceedings of the 49th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2022)
- HACCLE: Metaprogramming For Secure Multi-party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021)
- Narcissus: Correct-by-Construction Derivation of Decoders and Encoders from Binary Formats
Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, and Adam Chlipala
Proceedings of the 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019)
- A Verified Protocol Buffer Compiler
Qianchuan Ye and Benjamin Delaware
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2019)
Academic Service
- Artifact Evaluation Committee Member, POPL 2020