Static analyses for eliminating unnecessary synchronization from java programs (1999)

by J Aldrich, C Chambers, E Sirer, S Eggers
Venue:In In Proceedings of the Sixth International Static Analysis Symposium