Prithayan Barua, Jun Shirako, Whitney Tsang, Jeeva Paudel, Wang Chen, Vivek Sarkar. OMPSan: Static Verification of OpenMP's Data Mapping Constructs. In Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman, editors, OpenMP: Conquering the Full Hardware Spectrum - 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings. Volume 11718 of Lecture Notes in Computer Science, pages 3-18, Springer, 2019. [doi]
@inproceedings{BaruaSTPCS19,
title = {OMPSan: Static Verification of OpenMP's Data Mapping Constructs},
author = {Prithayan Barua and Jun Shirako and Whitney Tsang and Jeeva Paudel and Wang Chen and Vivek Sarkar},
year = {2019},
doi = {10.1007/978-3-030-28596-8_1},
url = {https://doi.org/10.1007/978-3-030-28596-8_1},
researchr = {https://researchr.org/publication/BaruaSTPCS19},
cites = {0},
citedby = {0},
pages = {3-18},
booktitle = {OpenMP: Conquering the Full Hardware Spectrum - 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings},
editor = {Xing Fan and Bronis R. de Supinski and Oliver Sinnen and Nasser Giacaman},
volume = {11718},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-28596-8},
}