%0 Conference Paper %1 journals/corr/abs-2203-12878 %A Liew, Dennis %A Cogumbreiro, Tiago %A Lange, Julien %B PLACES@ETAPS %D 2022 %E Carbone, Marco %E Neykova, Rumyana %K dblp %P 36-45 %T Provable GPU Data-Races in Static Race Detection. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs356.html#abs-2203-12878 %V 356

@inproceedings{journals/corr/abs-2203-12878, added-at = {2024-05-07T00:00:00.000+0200}, author = {Liew, Dennis and Cogumbreiro, Tiago and Lange, Julien}, biburl = {https://www.bibsonomy.org/bibtex/284b4b1b3fd6ca73f7253bc729b026243/dblp}, booktitle = {PLACES@ETAPS}, crossref = {journals/corr/abs-2203-12142}, editor = {Carbone, Marco and Neykova, Rumyana}, ee = {https://doi.org/10.48550/arXiv.2203.12878}, interhash = {9261965bb5812ba2baad4f1794b482a0}, intrahash = {84b4b1b3fd6ca73f7253bc729b026243}, keywords = {dblp}, pages = {36-45}, series = {EPTCS}, timestamp = {2024-05-13T09:04:01.000+0200}, title = {Provable GPU Data-Races in Static Race Detection.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs356.html#abs-2203-12878}, volume = 356, year = 2022 }