@inproceedings{reimers:2027,
  author    = {Reimers, Sebastian and Fink, Martin and Elver, Marco and de Le{\'o}n, Hern{\'a}n Ponce and Sprokholt, Dennis and Bhatotia, Pramod},
  title     = {Should Linux Kernel Memory Model Dependencies Be Afraid of a Big Bad Optimizing Compiler?},
  booktitle = {Proceedings of the 32nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1},
  doi       = {10.1145/3845814.3850075},
  url       = {https://doi.org/10.1145/3845814.3850075},
  year      = {2027},
  isbn      = {9798400730122},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  pages     = {857--873},
  numpages  = {17},
  keywords  = {weak memory consistency models, linux kernel, formal verification, translation validation, compilers},
  location  = {Heraklion, Greece},
  series    = {ASPLOS '27}
}