Chuyue (Livia) Sun

2022202320241 7 23

Public access

1 article

0 articles

available

not available

Based on funding mandates

Ying ShengPhD student of Stanford UniversityVerified email at stanford.edu
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Andres ErbsenMIT CSAILVerified email at mit.edu
Jason GrossGraduate, Massachusetts Institute of TechnologyVerified email at mit.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Lianmin ZhengUC BerkeleyVerified email at berkeley.edu
Christopher HahnX, the moonshot factory (Google X)Verified email at google.com
Oded PadonVMware ResearchVerified email at vmware.com

Chuyue (Livia) Sun

Verified email at stanford.edu - Homepage


Title Sort by citations Sort by year Sort by 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 preprint arXiv:2312.07104, 2023	12	2023
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	9*	2023
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	6	2023
Clover: Closed-Loop Verifiable Code Generation C Sun, Y Sheng, O Padon, C Barrett arXiv preprint arXiv:2310.17807, 2023	5	2023
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–5

Citations per year