An Array Abstraction to Amortize Reasoning About Parallel Client Code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alan Weide' in GoogleThis author has not been identified. Look up 'Paolo A. G. Sivilotti' in GoogleThis author has not been identified. Look up 'Murali Sitaraman' in Google

runs on WebDSL