Cormac Flanagan, Stephen N. Freund
Adversarial memory for detecting destructive races
PLDI, 2010.
@inproceedings{PLDI-2010-FlanaganF, author = "Cormac Flanagan and Stephen N. Freund", booktitle = "{Proceedings of the 31st Conference on Programming Language Design and Implementation}", doi = "10.1145/1806596.1806625", editor = "Benjamin G. Zorn and Alexander Aiken", isbn = "978-1-4503-0019-3", pages = "244--254", publisher = "{ACM}", title = "{Adversarial memory for detecting destructive races}", year = 2010, }