Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. - Aldrich, Jonathan; Chambers, Craig; Sirer, Emin Gün; Eggers, Susan J. (1999)