Chuyue Sun

According to our database, Chuyue Sun authored at least 9 papers between 2022 and 2025.

Collaborative distances:

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

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, February, 2025

DafnyBench: A Benchmark for Formal Software Verification.

Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark

Trans. Mach. Learn. Res., 2025

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Clover: Closed-Loop Verifiable Code Generation.

Chuyue Sun, Ying Sheng, Oded Padon, Clark W. Barrett

Proceedings of the AI Verification - First International Symposium, 2024

SGLang: Efficient Execution of Structured Language Model Programs.

Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie, Chuyue Sun, Jeff Huang, Cody Hao Yu, Shiyi Cao, Christos Kozyrakis, Ion Stoica, Joseph E. Gonzalez, Clark W. Barrett, Ying Sheng

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

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, Yuval Yarom

Proc. ACM Program. Lang., 2023

Efficiently Programming Large Language Models using SGLang.

Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie, Jeff Huang, Chuyue Sun, Cody Hao Yu, Shiyi Cao, Christos Kozyrakis, Ion Stoica, Joseph E. Gonzalez, Clark W. Barrett, Ying Sheng

CoRR, 2023

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, Yuval Yarom

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

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, Yuval Yarom

CoRR, 2022