%0 Conference Paper %1 conf/sc/YeSLLKS18 %A Ye, Fangke %A Schordan, Markus %A Liao, Chunhua %A Lin, Pei-Hung %A Karlin, Ian %A Sarkar, Vivek %B CORRECTNESS@SC %D 2018 %E Laguna, Ignacio %E Rubio-González, Cindy %I IEEE %K dblp %P 42-50 %T Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. %U http://dblp.uni-trier.de/db/conf/sc/correctness2018.html#YeSLLKS18 %@ 978-1-7281-0226-9

@inproceedings{conf/sc/YeSLLKS18, added-at = {2023-12-17T00:00:00.000+0100}, author = {Ye, Fangke and Schordan, Markus and Liao, Chunhua and Lin, Pei-Hung and Karlin, Ian and Sarkar, Vivek}, biburl = {https://www.bibsonomy.org/bibtex/2952c1d8b4f4f9e86b2dc730275392274/dblp}, booktitle = {CORRECTNESS@SC}, crossref = {conf/sc/2018correctness}, editor = {Laguna, Ignacio and Rubio-González, Cindy}, ee = {https://doi.org/10.1109/Correctness.2018.00010}, interhash = {59675cdab8a409c7685f4e4cd6caf46a}, intrahash = {952c1d8b4f4f9e86b2dc730275392274}, isbn = {978-1-7281-0226-9}, keywords = {dblp}, pages = {42-50}, publisher = {IEEE}, timestamp = {2024-04-10T21:49:05.000+0200}, title = {Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free.}, url = {http://dblp.uni-trier.de/db/conf/sc/correctness2018.html#YeSLLKS18}, year = 2018 }