Ohad Shacham, Mooly Sagiv, Assaf Schuster
Scaling model checking of dataraces using dynamic information
PPoPP, 2005.
@inproceedings{PPoPP-2005-ShachamSS, author = "Ohad Shacham and Mooly Sagiv and Assaf Schuster", booktitle = "{Proceedings of the 10th Symposium on Principles and Practice of Parallel Programming}", doi = "10.1145/1065944.1065958", isbn = "1-59593-080-9", pages = "107--118", publisher = "{ACM}", title = "{Scaling model checking of dataraces using dynamic information}", year = 2005, }