An Array Abstraction to Amortize Reasoning About Parallel Client Code

Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman. An Array Abstraction to Amortize Reasoning About Parallel Client Code. In Kohei Arai, editor, Intelligent Computing - Proceedings of the 2021 Computing Conference, Volume 1, SAI 2021, Virtual Event, 15-16 July, 2021. Volume 283 of Lecture Notes in Networks and Systems, pages 346-362, Springer, 2021. [doi]

@inproceedings{WeideSS21,
  title = {An Array Abstraction to Amortize Reasoning About Parallel Client Code},
  author = {Alan Weide and Paolo A. G. Sivilotti and Murali Sitaraman},
  year = {2021},
  doi = {10.1007/978-3-030-80119-9_20},
  url = {https://doi.org/10.1007/978-3-030-80119-9_20},
  researchr = {https://researchr.org/publication/WeideSS21},
  cites = {0},
  citedby = {0},
  pages = {346-362},
  booktitle = {Intelligent Computing - Proceedings of the 2021 Computing Conference, Volume 1, SAI 2021, Virtual Event, 15-16 July, 2021},
  editor = {Kohei Arai},
  volume = {283},
  series = {Lecture Notes in Networks and Systems},
  publisher = {Springer},
  isbn = {978-3-030-80119-9},
}