Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

Yuan Zhang, Evelyn Duesterwald, Guang R. Gao. Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers. In Vikram S. Adve, María Jesús Garzarán, Paul Petersen, editors, Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers. Volume 5234 of Lecture Notes in Computer Science, pages 95-109, Springer, 2007. [doi]

@inproceedings{ZhangDG07,
  title = {Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers},
  author = {Yuan Zhang and Evelyn Duesterwald and Guang R. Gao},
  year = {2007},
  doi = {10.1007/978-3-540-85261-2_7},
  url = {http://dx.doi.org/10.1007/978-3-540-85261-2_7},
  tags = {program analysis, analysis},
  researchr = {https://researchr.org/publication/ZhangDG07},
  cites = {0},
  citedby = {0},
  pages = {95-109},
  booktitle = {Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers},
  editor = {Vikram S. Adve and María Jesús Garzarán and Paul Petersen},
  volume = {5234},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85260-5},
}