BibTeX Reference for "Weak Memory Demands Model-based Compiler Testing" at the Future of Weak Memory Workshop (POPL 2024)

paper.bib

@misc{
  geeson2024fowm,
  title = {Weak Memory Demands Model-based Compiler Testing}, 
  author = {Luke Geeson},
  month = "January",
  year = {2024},
  eprint = {2401.09474},
  archivePrefix = {arXiv},
  primaryClass = {cs.PL},
  series = {The Future of Weak Memory Workshop (FOWM'24)},
  howpublished = "https://doi.org/10.48550/arXiv.2401.09474",
  opturl = {https://doi.org/10.48550/arXiv.2401.09474},
  doi = {10.48550/arXiv.2401.09474},
  keywords = {Concurrent Programming, Formal Models, Languages and compilers, Testing Tools},
  pdf = {https://arxiv.org/abs/2401.09474}
}