@inproceedings{augoustis:2027,
  author    = {Augoustis, Theofilos and Reimers, Sebastian and Krinitsin, Christian and Gouicem, Redha and Sprokholt, Dennis and Bhatotia, Pramod},
  title     = {Focaccia: Semantic Validation for CPU Emulators},
  booktitle = {Proceedings of the 32nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1},
  doi       = {10.1145/3845814.3850076},
  url       = {https://doi.org/10.1145/3845814.3850076},
  year      = {2027},
  isbn      = {9798400730122},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  pages     = {416--432},
  numpages  = {17},
  keywords  = {cpu emulation, translation validation, symbolic execution, deterministic replay, bug reproduction},
  location  = {Heraklion, Greece},
  series    = {ASPLOS '27}
}