Theoretical and Practical Approaches for Teaching Parallel Code Correctness.

Carlos Redondo, Ritu Arora, Trung Nguyen Ba

Browse the full HiPC paper archive.