@article{cryptoptautomaticoptimizationof,
  title = {CryptOpt: Automatic Optimization of Straightline Code},
  author = {Joel Kuepper and Andres Erbsen and Jason Gross and Owen Conoly and Chuyue Sun and Samuel Tian and David Wu and Adam Chlipala and Chitchanok Chuengsatiansup and Daniel Genkin and Markus Wagner and Yuval Yarom},
  year = {2023},
  eprint = {2305.19586},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.19586v1},
}