Follow
Chuyue (Livia) Sun
Chuyue (Livia) Sun
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
Efficiently Programming Large Language Models using SGLang.
L Zheng, L Yin, Z Xie, J Huang, C Sun, CH Yu, S Cao, C Kozyrakis, ...
arXiv, 2023
702023
Clover: Closed-Loop Verifiable Code Generation
C Sun, Y Sheng, O Padon, C Barrett
International Symposium on AI Verification, 134-155, 2024
322024
Sglang: Efficient execution of structured language model programs
L Zheng, L Yin, Z Xie, CL Sun, J Huang, CH Yu, S Cao, C Kozyrakis, ...
Advances in Neural Information Processing Systems 37, 62557-62583, 2025
272025
Towards improving verification productivity with circuit-aware translation of natural language to systemverilog assertions
C Sun, C Hahn, C Trippel
First International Workshop on Deep Learning-aided Verification, 2023
182023
CryptOpt: Verified compilation with randomized program search for cryptographic primitives
J Kuepper, A Erbsen, J Gross, O Conoly, C Sun, S Tian, D Wu, A Chlipala, ...
Proceedings of the ACM on Programming Languages 7 (PLDI), 1268-1292, 2023
14*2023
Sglang: Efficient execution of structured language model programs, 2024
L Zheng, L Yin, Z Xie, C Sun, J Huang, CH Yu, S Cao, C Kozyrakis, ...
URL https://arxiv. org/abs/2312.07104, 0
10
DafnyBench: A Benchmark for Formal Software Verification
C Loughridge, Q Sun, S Ahrenbach, F Cassano, C Sun, Y Sheng, ...
arXiv preprint arXiv:2406.08467, 2024
82024
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
J Kuepper, A Erbsen, J Gross, O Conoly, C Sun, S Tian, D Wu, A Chlipala, ...
arXiv preprint arXiv:2211.10665, 2022
22022
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
L Aniva, C Sun, B Miranda, C Barrett, S Koyejo
arXiv preprint arXiv:2410.16429, 2024
12024
CryptOpt: Automatic Optimization of Straightline Code
J Kuepper, D Wu, A Erbsen, J Gross, O Conoly, C Sun, S Tian, A Chlipala, ...
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–10