Synchronization Transformations for Parallel Computing (1997)

by Pedro Diniz, Martin Rinard
Venue:In Proceedings of the 24th Annual ACM Symposium on the Principles of Programming Languages