KuepperEWGCSTCCGWY23-ICSE23-demo.bib

@article{KuepperEWGCSTCCGWY23demo,
  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},
  title        = {{CryptOpt}: Automatic Optimization of Straightline Code},
  howpublished = {https://arxiv.org/abs/2305.19586},
  year         = {2023},
  journal      = {International Conference on Software Engineering, DEMO Track}
}