Chuyue Sun

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Language Modeling Approaches

Optimization Problems

Search Efficiency

Top Venues

Proc. ACM Program. Lang.

Publications

Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
DafnyBench: A Benchmark for Formal Software Verification. CoRR (2024)
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Joel Kuepper, David Wu, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
CryptOpt: Automatic Optimization of Straightline Code. ICSE Companion (2023)
Chuyue Sun, Ying Sheng, Oded Padon, Clark W. Barrett
Clover: Closed-Loop Verifiable Code Generation. CoRR (2023)
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
CryptOpt: Automatic Optimization of Straightline Code. CoRR (2023)
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
Efficiently Programming Large Language Models using SGLang. CoRR (2023)
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives. CoRR (2022)
Chuyue Sun, Ying Sheng, Oded Padon, Clark W. Barrett
Clover: Closed-Loop Verifiable Code Generation. SAIV (2014)