CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives. - Joel Kuepper; Andres Erbsen; Jason Gross; Owen Conoly; Chuyue Sun; Samuel Tian; David Wu; Adam Chlipala; Chitchanok Chuengsatiansup; Daniel Genkin; Markus Wagner 007; Yuval Yarom (CoRR, 2022)

CryptOpt: Automatic Optimization of Straightline Code. - Joel Kuepper; David Wu; Andres Erbsen; Jason Gross; Owen Conoly; Chuyue Sun; Samuel Tian; Adam Chlipala; Chitchanok Chuengsatiansup; Daniel Genkin; Markus Wagner 007; Yuval Yarom (ICSE Companion, 2023)

Efficiently Programming Large Language Models using SGLang. - Lianmin Zheng; Liangsheng Yin; Zhiqiang Xie; Jeff Huang 001; Chuyue Sun; Cody Hao Yu; Shiyi Cao; Christos Kozyrakis; Ion Stoica; Joseph E. Gonzalez; Clark W. Barrett; Ying Sheng 007 (CoRR, 2023)

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives. - Joel Kuepper; Andres Erbsen; Jason Gross; Owen Conoly; Chuyue Sun; Samuel Tian; David Wu; Adam Chlipala; Chitchanok Chuengsatiansup; Daniel Genkin; Markus Wagner 007; Yuval Yarom (Proc. ACM Program. Lang., 2023)

SGLang: Efficient Execution of Structured Language Model Programs. - Lianmin Zheng; Liangsheng Yin; Zhiqiang Xie; Chuyue Sun; Jeff Huang 001; Cody Hao Yu; Shiyi Cao; Christos Kozyrakis; Ion Stoica; Joseph E. Gonzalez; Clark W. Barrett; Ying Sheng 007 (NeurIPS, 2024)

Clover: Closed-Loop Verifiable Code Generation. - Chuyue Sun; Ying Sheng 007; Oded Padon; Clark W. Barrett (SAIV, 2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4. - Leni Aniva; Chuyue Sun; Brando Miranda; Clark W. Barrett; Sanmi Koyejo (TACAS (1), 2025)

DafnyBench: A Benchmark for Formal Software Verification. - Chloe Loughridge; Qinyi Sun; Seth Ahrenbach; Federico Cassano; Chuyue Sun; Ying Sheng 007; Anish Mudide; Md Rakib Hossain Misu; Nada Amin; Max Tegmark (Trans. Mach. Learn. Res., 2025)

ClassInvGen: Class Invariant Synthesis using Large Language Models. - Chuyue Sun; Viraj Agashe; Saikat Chakraborty; Jubi Taneja; Clark W. Barrett; David L. Dill; Xiaokang Qiu; Shuvendu K. Lahiri (CoRR, 2025)