@inproceedings{bond13oopsla,
 author = {Bond, Michael D. and Kulkarni, Milind and Cao, Man and Zhang, Minjia and Fathi Salmi, Meisam and Biswas, Swarnendu and Sengupta, Aritra and Huang, Jipeng},
 title = {OCTET: Capturing and Controlling Cross-thread Dependences Efficiently},
 booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \&\#38; Applications},
 series = {OOPSLA '13},
 year = {2013},
 isbn = {978-1-4503-2374-1},
 location = {Indianapolis, Indiana, USA},
 pages = {693--712},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/2509136.2509519},
 doi = {10.1145/2509136.2509519},
 acmid = {2509519},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {concurrency correctness, dynamic analysis},
}