Qianchuan Ye

According to our database, Qianchuan Ye authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata.

Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan

Proc. ACM Program. Lang., 2024

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation.

Qianchuan Ye, Benjamin Delaware

Proc. ACM Program. Lang., 2024

2023

Taype: A Policy-Agnostic Language for Oblivious Computation.

Qianchuan Ye, Benjamin Delaware

Proc. ACM Program. Lang., 2023

2022

Oblivious algebraic data types.

Qianchuan Ye, Benjamin Delaware

Proc. ACM Program. Lang., 2022

RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties.

Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

HACCLE: metaprogramming for secure multi-party computation.

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations.

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, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

CoRR, 2020

RHLE: Automatic Verification of ∀∃-Hyperproperties.

Robert Dickerson, Qianchuan Ye, Benjamin Delaware

CoRR, 2020

2019

Narcissus: correct-by-construction derivation of decoders and encoders from binary formats.

Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, Adam Chlipala

Proc. ACM Program. Lang., 2019

A verified protocol buffer compiler.

Qianchuan Ye, Benjamin Delaware

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019