Static Nonconcurrency Analysis of OpenMP Programs

Yuan Lin. Static Nonconcurrency Analysis of OpenMP Programs. In Matthias S. Müller, Barbara M. Chapman, Bronis R. de Supinski, Allen D. Malony, Michael Voss, editors, OpenMP Shared Memory Parallel Programming - International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings. Volume 4315 of Lecture Notes in Computer Science, pages 36-50, Springer, 2005. [doi]

@inproceedings{Lin05-6,
  title = {Static Nonconcurrency Analysis of OpenMP Programs},
  author = {Yuan Lin},
  year = {2005},
  doi = {10.1007/978-3-540-68555-5_4},
  url = {http://dx.doi.org/10.1007/978-3-540-68555-5_4},
  tags = {program analysis, analysis, static analysis},
  researchr = {https://researchr.org/publication/Lin05-6},
  cites = {0},
  citedby = {0},
  pages = {36-50},
  booktitle = {OpenMP Shared Memory Parallel Programming - International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings},
  editor = {Matthias S. Müller and Barbara M. Chapman and Bronis R. de Supinski and Allen D. Malony and Michael Voss},
  volume = {4315},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68554-8},
}