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]
Abstract is missing.