Qianchuan Ye -

Registered user since Fri 7 Dec 2018

Name:Qianchuan Ye

Country:United States

Affiliation:University at Buffalo, SUNY

Personal website: https://ccyip.xyz

GitHub: https://github.com/ccyip

Contributions

2025

CoqPL

Committee Member in Program Committee within the CoqPL 2025-track

2024

SPLASH

Author of Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation within the OOPSLA 2024-track

ICFP

Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

PLDI

Author of A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata within the PLDI Research Papers-track

2023

PLDI

Author of Taype: A Policy-Agnostic Language for Oblivious Computation within the PLDI Research Papers-track

2022

APLAS

Author of RHLE: Modular Deductive Verification of Relational ∀∃ Properties within the APLAS-track

ICFP

United States of America in Evaluators within the Artifact Evaluation-track

POPL

Author of Oblivious Algebraic Data Types within the POPL-track

CoqPL

Speaker of Scrap your boilerplate definitions in 10 lines of Ltac! within the CoqPL-track

2021

GPCE

Author of HACCLE: Metaprogramming for Secure Multi-Party Computation within the GPCE-track

2020

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2019

ICFP

Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track

CPP

Author of A Verified Protocol Buffer Compiler within the CPP 2019-track