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 | 13 | 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 |
Clover: Closed-Loop Verifiable Code Generation C Sun, Y Sheng, O Padon, C Barrett arXiv preprint arXiv:2310.17807, 2023 | 6 | 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 |
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 |