Research Interests
Interactive proof assistants, Type theory and programming languages, Program verification and synthesis
Education
- Purdue University, Ph.D. in Computer Science (advised by Benjamin Delaware), 2017 - 2024
- Sichuan University, B.S. in Computer Science (Top 1%), 2009 - 2013
Industrial Employment
- Software Engineer, TP-Link Technologies Co., Ltd., 2013 - 2017
Publications
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
Qianchuan Ye and Benjamin Delaware
Proceedings of the 2024 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2024)
[Open access] [Artifact]
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
Zhe Zhou, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan
Proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024)
[To Appear] [Draft] [Artifact]Taype: A Policy-Agnostic Language for Oblivious Computation
Qianchuan Ye and Benjamin Delaware
Proceedings of the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)
[Open access] [Talk] [Artifact]RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Robert Dickerson, Qianchuan Ye, Michael K. Zhang, and Benjamin Delaware
Proceedings of the 20th Asian Symposium on Programming Languages and Systems (APLAS 2022)
[Open access] [Artifact]
Oblivious Algebraic Data Types
Qianchuan Ye and Benjamin Delaware
Proceedings of the 49th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2022)
[Open access] [Talk] [Artifact]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, and Milind Kulkarni
Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021)
[Open access] [Artifact]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)
[Open access] [Artifact]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)
[URL] [Local copy]
Workshops
- Scrap your boilerplate definitions in 10 lines of Ltac!
Qianchuan Ye and Benjamin Delaware
The Eighth International Workshop on Coq for Programming Languages (CoqPL 2022)
[Open access] [Talk] [Artifact]
Dissertations
- Language-Based Techniques for Policy-Agnostic Oblivious Computation
Qianchuan Ye
PhD Dissertation, Purdue University, April 2024
[Open access]
Teaching
- Teaching Assistant, CS565: Programming Languages @Purdue University, Fall 2018 and Fall 2020
- Teaching Assistant, CS182: Foundation of Computer Science @Purdue University, Fall 2017, Spring 2018 and Spring 2021
Awards and Honors
- Phi Kappa Phi, 2024
- Bilsland Dissertation Fellowship, 2023 - 2024
- ACM SIGPLAN PAC Grant, 2022
- Purdue Graduate School Summer Research Grant, 2021
- Travel Grant to Midwest PL Summit, 2018
- China National Scholarship, 2012
- 3rd Prize, China National Mathematics Olympiad, 2008
Academic Service
- Artifact Evaluation Committee Member, ICFP 2024
- External Reviewer, CPP 2022
- Artifact Evaluation Committee Member, ICFP 2022
- Artifact Evaluation Committee Member, POPL 2020
Professional Activities
- Attended NSF SaTC Aspiring PI Workshop 2024
- Attended CERIAS Security Symposium 2024
- Attended Mini Midwest Security Workshop 2023
- Attended Midwest PL Summit 2023
- Attended PLDI 2023
- Attended POPL 2023
- Attended Oregon Programming Languages Summer School 2022
- Attended Summer School on Formal Techniques 2022
- Attended POPL 2022
- Attended Splash 2021
- Attended POPL 2020
- Attended Midwest PL Summit 2019
- Attended DeepSpec Summer School 2018
- Attended Midwest PL Summit 2018