Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs.

Manish Gupta, Edith Schonberg

Browse the full POPL paper archive.