Prasanth Chatarasi, Jun Shirako, Martin Kong, Vivek Sarkar. An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection. In Chen Ding, John Criswell, Peng Wu 0001, editors, Languages and Compilers for Parallel Computing - 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers. Volume 10136 of Lecture Notes in Computer Science, pages 106-120, Springer, 2016. [doi]
@inproceedings{ChatarasiSKS16,
title = {An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection},
author = {Prasanth Chatarasi and Jun Shirako and Martin Kong and Vivek Sarkar},
year = {2016},
doi = {10.1007/978-3-319-52709-3_10},
url = {http://dx.doi.org/10.1007/978-3-319-52709-3_10},
researchr = {https://researchr.org/publication/ChatarasiSKS16},
cites = {0},
citedby = {0},
pages = {106-120},
booktitle = {Languages and Compilers for Parallel Computing - 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers},
editor = {Chen Ding and John Criswell and Peng Wu 0001},
volume = {10136},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-52708-6},
}