Static analysis to reduce synchronization costs in data-parallel programs
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’96
Manish Gupta
Globally precise-restartable execution of parallel programs