Synchronization transformations for parallel computing (1997)

by Pedro Diniz, Martin Rinard
Venue:In POPL’97: The 24th ACM SIGPLAN-SIGACT on Principles of Programming Languages