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
Citations:26 - 9 self

Active Bibliography

28 Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs – Pedro Diniz, Martin Rinard - 1996
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
701 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
758 Transactional Memory: Architectural Support for Lock-Free Data Structures – Maurice Herlihy, J. Eliot B. Moss
584 An introduction to software architecture – David Garlan, Mary Shaw - 1993
639 A Survey of Program Slicing Techniques – F. Tip - 1995
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001