%0 Conference Paper %1 conf/pldi/LahavVKHD17 %A Lahav, Ori %A Vafeiadis, Viktor %A Kang, Jeehoon %A Hur, Chung-Kil %A Dreyer, Derek %B PLDI %D 2017 %E Cohen, Albert %E Vechev, Martin T. %I ACM %K dblp %P 618-632 %T Repairing sequential consistency in C/C++11. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#LahavVKHD17 %@ 978-1-4503-4988-8

@inproceedings{conf/pldi/LahavVKHD17, added-at = {2019-12-27T00:00:00.000+0100}, author = {Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23c21b9e621d1cbe8813c041f7bdeb986/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2017}, editor = {Cohen, Albert and Vechev, Martin T.}, ee = {https://doi.org/10.1145/3062341.3062352}, interhash = {ba668d2539cea35be862328b867b878a}, intrahash = {3c21b9e621d1cbe8813c041f7bdeb986}, isbn = {978-1-4503-4988-8}, keywords = {dblp}, pages = {618-632}, publisher = {ACM}, timestamp = {2020-01-09T08:07:18.000+0100}, title = {Repairing sequential consistency in C/C++11.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#LahavVKHD17}, year = 2017 }