@inproceedings{burak_extending_2025,
  title = {Extending the {{SPMD IR}} for {{RMA Models}} and {{Static Data Race Detection}}},
  booktitle = {Recent {{Advances}} in the {{Message Passing Interface}}},
  author = {Burak, Semih and Schwitanski, Simon and Tomski, Felix and Domke, Jens and Müller, Matthias},
  date = {2025-10-01},
  pages = {143--164},
  publisher = {Springer Nature Switzerland},
  location = {Cham},
  doi = {10.1007/978-3-032-07194-1_9},
  eventtitle = {{{EuroMPI}}/{{USA}}},
  isbn = {978-3-032-07194-1}
}