C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Chuyue Sun
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 6
Top Topics
Term Dependencies
Search Efficiency
Code Generator
Language Modeling Approaches
Top Venues
CoRR
Proc. ACM Program. Lang.
ICSE Companion
</>
Publications
</>
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)