Scaling model checking of dataraces using dynamic information.

Ohad Shacham, Mooly Sagiv, Assaf Schuster

Browse the full PPoPP paper archive.