Controlling chaos: on safe side-effects in data-parallel operations.

Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck

Browse the full POPL paper archive.