Qianchuan Ye

Research Interests

Interactive proof assistants, type theory and programming languages, program verification and synthesis, language-based security

Employment

  • University at Buffalo, SUNY
    Assistant Professor, Department of Computer Science and Engineering, 2024 - present

  • TP-Link Technologies Co., Ltd.
    Software Engineer, 2013 - 2017

Education

  • Purdue University
    Ph.D. in Computer Science (advised by Benjamin Delaware), 2017 - 2024

  • Sichuan University
    B.S. in Computer Science, 2009 - 2013

Publications

  • Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
    Qianchuan Ye and Benjamin Delaware
    Proceedings of the ACM on Programming Languages, Volume 8 (OOPSLA1), 2024
    [Open access] [Artifact] badgebadgebadge

  • A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
    Zhe Zhou, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan
    Proceedings of the ACM on Programming Languages, Volume 8 (PLDI), 2024
    [Open access] [Artifact] badgebadge

  • Taype: A Policy-Agnostic Language for Oblivious Computation
    Qianchuan Ye and Benjamin Delaware
    Proceedings of the ACM on Programming Languages, Volume 7 (PLDI), 2023
    [Open access] [Talk] [Artifact] badgebadge

  • RHLE: Modular Deductive Verification of Relational ∀∃ Properties
    Robert Dickerson, Qianchuan Ye, Michael K. Zhang, and Benjamin Delaware
    Programming Languages and Systems, Lecture Notes in Computer Science (APLAS), 2022
    [Open access] [Artifact] badgebadgebadge

  • Oblivious Algebraic Data Types
    Qianchuan Ye and Benjamin Delaware
    Proceedings of the ACM on Programming Languages, Volume 6 (POPL), 2022
    [Open access] [Talk] [Artifact] badgebadge

  • 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 ACM on Programming Languages, Volume 3 (ICFP), 2019
    [Open access] [Artifact] badgebadge

  • 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

  • CSE305: Introduction to Programming Languages @University at Buffalo
    Instructor, Fall 2025 and Spring 2025

  • CSE199: Internet, Computing, and Society @University at Buffalo
    Co-Instructor, Fall 2024

  • CS565: Programming Languages @Purdue University
    Teaching Assistant, Fall 2020 and Fall 2018

  • CS182: Foundation of Computer Science @Purdue University
    Teaching Assistant, Spring 2021, Spring 2018, and Fall 2017

Academic Service

  • Program Committee Member, OOPSLA 2026
  • Program Committee Member, POPL 2026
  • Program Committee Member, CoqPL 2025
  • Artifact Evaluation Committee Member, ICFP 2024
  • External Reviewer, CPP 2022
  • Artifact Evaluation Committee Member, ICFP 2022
  • Artifact Evaluation Committee Member, POPL 2020

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
  • Third Prize, China National Mathematics Olympiad, 2008

Professional Activities

  • Attended CSF 2025
  • Attended NJPLS 2025
  • Attended POPL 2025
  • Attended NSF FMitF PI Meeting 2024
  • Attended SPLASH 2024
  • Attended EaGL Theory of Computation Workshop 2024
  • Attended School on Univalent Mathematics 2024
  • 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