@inproceedings{sprokholt:2026,
  author    = {Sprokholt, Dennis and Chakraborty, Soham},
  title     = {Burrow: A Proof Framework for Weak Memory},
  booktitle = {Computer Aided Verification (CAV 26)},
  doi       = {10.1007/978-3-032-32526-6_10},
  url       = {https://doi.org/10.1007/978-3-032-32526-6_10},
  year      = {2026},
  editor    = {Darulova, Eva and Lin, Anthony W. and R{\"u}mmer, Philipp},
  publisher = {Springer Nature Switzerland},
  address   = {Cham},
  pages     = {213--227},
  isbn      = {978-3-032-32526-6}
}