Skip to content

Instantly share code, notes, and snippets.

@lukeg101
Created February 19, 2024 17:09
Show Gist options
  • Save lukeg101/689b35ace6dc8b8396a5d4839d1e9dd6 to your computer and use it in GitHub Desktop.
Save lukeg101/689b35ace6dc8b8396a5d4839d1e9dd6 to your computer and use it in GitHub Desktop.
BibTeX Reference for "Weak Memory Demands Model-based Compiler Testing" at the Future of Weak Memory Workshop (POPL 2024)
@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}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment