example.bib

@electronic{hansdoc,
  author = {Hans Boehm},
  title = {Load-acquire and store-release instructions for RISC-V},
  url = {https://lists.riscv.org/g/tech-unprivileged/attachment/382/0/load-acquire110422.pdf},
  year={2022}
}

@misc{arxiv,
      title={Adding Explicit Load-Acquire and Store-Release Instructions to the RISC-V ISA}, 
      author={Bryce Arden and Zachary Susskind and Brendan Sweeney},
      year={2023},
      eprint={2302.03732},
      archivePrefix={arXiv},
      primaryClass={cs.AR}
}

@article{boehm2008foundations,
  title={Foundations of the C++ concurrency memory model},
  author={Boehm, Hans-J and Adve, Sarita V},
  journal={ACM SIGPLAN Notices},
  volume={43},
  number={6},
  pages={68--78},
  year={2008},
  publisher={ACM New York, NY, USA}
}

@article{manson2005java,
  title={The Java memory model},
  author={Manson, Jeremy and Pugh, William and Adve, Sarita V},
  journal={ACM SIGPLAN Notices},
  volume={40},
  number={1},
  pages={378--391},
  year={2005},
  publisher={ACM New York, NY, USA}
}