Carlos Redondo, Ritu Arora, Trung Nguyen Ba. Theoretical and Practical Approaches for Teaching Parallel Code Correctness. In 26th International Conference on High Performance Computing, Data and Analytics Workshop, HiPCW 2019, Hyderabad, India, December 17-20, 2019. pages 48-55, IEEE, 2019. [doi]
Abstract is missing.