Correct Refactoring of Concurrent Java Code.

Max Schfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip

Browse the full ECOOP paper archive.