Qianchuan Ye -

Registered user since Fri 7 Dec 2018

Name:Qianchuan Ye

Country:United States

Affiliation:Purdue University

Personal website:https://www.cs.purdue.edu/homes/ye202/

Contributions

APLAS 2022	Author of RHLE: Modular Deductive Verification of Relational ∀∃ Properties within the APLAS-track
ICFP 2022	United States of America in Evaluators within the Artifact Evaluation-track
POPL 2022	Author of Oblivious Algebraic Data Types within the POPL-track
CoqPL 2022	Speaker of Scrap your boilerplate definitions in 10 lines of Ltac! within the CoqPL-track
GPCE 2021	Author of HACCLE: Metaprogramming for Secure Multi-Party Computation within the GPCE-track
POPL 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2019	Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track
CPP 2019	Author of A Verified Protocol Buffer Compiler within the CPP 2019-track