Fully automatic and precise detection of thread safety violations.

Michael Pradel, Thomas R. Gross

Browse the full PLDI paper archive.