| Narcissus: correct-by-construction derivation of decoders and encoders from binary formats B Delaware, S Suriyakarn, C Pit-Claudel, Q Ye, A Chlipala Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 33 | 2019 |
| A verified protocol buffer compiler Q Ye, B Delaware Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019 | 20 | 2019 |
| RHLE: Modular Deductive Verification of Relational Properties R Dickerson, Q Ye, MK Zhang, B Delaware Asian Symposium on Programming Languages and Systems, 67-87, 2022 | 8 | 2022 |
| Oblivious algebraic data types Q Ye, B Delaware Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022 | 5 | 2022 |
| HACCLE: metaprogramming for secure multi-party computation Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, N Jaber, F Wang, ... Proceedings of the 20th ACM SIGPLAN International Conference on Generative …, 2021 | 4 | 2021 |
| Taype: A Policy-Agnostic Language for Oblivious Computation Q Ye, B Delaware Proceedings of the ACM on Programming Languages 7 (PLDI), 1001-1025, 2023 | 1 | 2023 |
| RHLE: Modular Deductive Verification of Relational Properties R Dickerson, Q Ye, MK Zhang, B Delaware arXiv preprint arXiv:2002.02904, 2020 | 1 | 2020 |
| HACCLE: An Ecosystem for Building Secure Multi-Party Computations Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, F Wang, MH Ameri, ... arXiv preprint arXiv:2009.01489, 2020 | 1 | 2020 |
| Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats B Delaware, S Suriyakarn, Q Ye, A Chlipala arXiv preprint arXiv:1803.04870, 2018 | 1 | 2018 |
| A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata Z Zhou, Q Ye, B Delaware, S Jagannathan arXiv preprint arXiv:2404.01484, 2024 | | 2024 |
| Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation Q Ye, B Delaware arXiv preprint arXiv:2311.09393, 2023 | | 2023 |
| HACCLE: Metaprogramming for Secure Multi-Party Computation--Extended Version Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, N Jaber, F Wang, ... arXiv preprint arXiv:2009.01489, 2020 | | 2020 |
