RELAY: static race detection on millions of lines of code

Jan Wen Voung, Ranjit Jhala, Sorin Lerner. RELAY: static race detection on millions of lines of code. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 205-214, ACM, 2007. [doi]

@inproceedings{VoungJL07,
  title = {RELAY: static race detection on millions of lines of code},
  author = {Jan Wen Voung and Ranjit Jhala and Sorin Lerner},
  year = {2007},
  doi = {10.1145/1287624.1287654},
  url = {http://doi.acm.org/10.1145/1287624.1287654},
  researchr = {https://researchr.org/publication/VoungJL07},
  cites = {0},
  citedby = {0},
  pages = {205-214},
  booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering},
  editor = {Ivica Crnkovic and Antonia Bertolino},
  publisher = {ACM},
  isbn = {978-1-59593-811-4},
}