Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy
Bounding data races in space and time
PLDI, 2018.
@inproceedings{PLDI-2018-DolanSM, author = "Stephen Dolan and K. C. Sivaramakrishnan and Anil Madhavapeddy", booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}", doi = "10.1145/3192366.3192421", pages = "242--255", publisher = "{ACM}", title = "{Bounding data races in space and time}", year = 2018, }