%0 Conference Paper %1 conf/lcpc/ChatarasiSKS16 %A Chatarasi, Prasanth %A Shirako, Jun %A Kong, Martin %A Sarkar, Vivek %B LCPC %D 2016 %E Ding, Chen %E Criswell, John %E Wu, Peng %I Springer %K dblp %P 106-120 %T An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection. %U http://dblp.uni-trier.de/db/conf/lcpc/lcpc2016.html#ChatarasiSKS16 %V 10136 %@ 978-3-319-52708-6

@inproceedings{conf/lcpc/ChatarasiSKS16, added-at = {2017-05-17T00:00:00.000+0200}, author = {Chatarasi, Prasanth and Shirako, Jun and Kong, Martin and Sarkar, Vivek}, biburl = {https://www.bibsonomy.org/bibtex/2861e73c416bd2f4f4b2ff1e822d9d503/dblp}, booktitle = {LCPC}, crossref = {conf/lcpc/2016}, editor = {Ding, Chen and Criswell, John and Wu, Peng}, ee = {https://doi.org/10.1007/978-3-319-52709-3_10}, interhash = {60caa58f8bdfa7e4b48bea0c61b9028d}, intrahash = {861e73c416bd2f4f4b2ff1e822d9d503}, isbn = {978-3-319-52708-6}, keywords = {dblp}, pages = {106-120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-29T11:38:35.000+0200}, title = {An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection.}, url = {http://dblp.uni-trier.de/db/conf/lcpc/lcpc2016.html#ChatarasiSKS16}, volume = 10136, year = 2016 }