Static analyses for eliminating unnecessary synchronizations from Java programs (1999)

by Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers
Venue:In Static Analysis Symposium (SAS