Compile-Time Analysis of Parallel Programs that Share Memory.

Jyh-Herng Chow, Williams Ludwell Harrison III

Browse the full POPL paper archive.