CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives. - Joel Kuepper; Andres Erbsen; Jason Gross; Owen Conoly; Chuyue Sun; Samuel Tian; David Wu; Adam Chlipala; Chitchanok Chuengsatiansup; Daniel Genkin; Markus Wagner 007; Yuval Yarom (CoRR, 2022)

CryptOpt: Automatic Optimization of Straightline Code. - Joel Kuepper; David Wu; Andres Erbsen; Jason Gross; Owen Conoly; Chuyue Sun; Samuel Tian; Adam Chlipala; Chitchanok Chuengsatiansup; Daniel Genkin; Markus Wagner 007; Yuval Yarom (ICSE Companion, 2023)

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives. - Joel Kuepper; Andres Erbsen; Jason Gross; Owen Conoly; Chuyue Sun; Samuel Tian; David Wu; Adam Chlipala; Chitchanok Chuengsatiansup; Daniel Genkin; Markus Wagner 007; Yuval Yarom (Proc. ACM Program. Lang., 2023)

On Learning Discriminative Features from Synthesized Data for Self-supervised Fine-Grained Visual Recognition. - Zihu Wang; Lingqiao Liu; Scott Ricardo Figueroa Weston; Samuel Tian; Peng Li 001 (ECCV (89), 2024)