{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:03:30Z","timestamp":1750309410809,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3685549","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1881-1885","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Robustness against the C\/C++11 Memory Model"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7266-8681","authenticated-orcid":false,"given":"Roy","family":"Margalit","sequence":"first","affiliation":[{"name":"Tel Aviv University, Tel Aviv, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314649"},{"key":"e_1_3_2_1_2_1","volume-title":"Magnus L\u00e5ng, and Tuan Phong Ngo.","author":"Abdulla Parosh Aziz","year":"2015","unstructured":"Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus L\u00e5ng, and Tuan Phong Ngo. 2015. Precise and sound automatic fence insertion procedure under PSO. In NETYS. Springer International Publishing, Cham. 32\u201347. isbn:978-3-319-26850-7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_13"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/325164.325100"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2994593"},{"key":"e_1_3_2_1_6_1","volume-title":"Stability in weak memory models","author":"Alglave Jade","year":"2032","unstructured":"Jade Alglave and Luc Maranget. 2011. Stability in weak memory models. In CAV. Springer-Verlag, Berlin, Heidelberg. 50\u201366. isbn:978-3-642-22109-5 http:\/\/dl.acm.org\/citation.cfm?id=2032305.2032311"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706303"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_12"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926394"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2247684.2247688"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_29"},{"key":"e_1_3_2_1_14_1","volume-title":"Suha Orhun Mutluergil, and Serdar Tasiran","author":"Bouajjani Ahmed","year":"2018","unstructured":"Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, and Serdar Tasiran. 2018. Reasoning about TSO programs using reduction and abstraction. In CAV. Springer, Cham. 336\u2013353. isbn:978-3-319-96142-2"},{"key":"e_1_3_2_1_15_1","volume-title":"Deciding robustness against total store ordering","author":"Bouajjani Ahmed","year":"2012","unstructured":"Ahmed Bouajjani, Roland Meyer, and Eike M\u00f6hlmann. 2011. Deciding robustness against total store ordering. In ICALP. Springer, Berlin, Heidelberg. 428\u2013440. isbn:978-3-642-22012-8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250737"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_12"},{"key":"e_1_3_2_1_18_1","volume-title":"Sound and complete monitoring of sequential consistency for relaxed memory models","author":"Burnim Jabob","year":"1983","unstructured":"Jabob Burnim, Koushik Sen, and Christos Stergiou. 2011. Sound and complete monitoring of sequential consistency for relaxed memory models. In TACAS. Springer, Berlin, Heidelberg. 11\u201325. isbn:978-3-642-19835-9"},{"volume-title":"Robustness against relaxed memory models. Ph. D. Dissertation","author":"Derevenetc Egor","key":"e_1_3_2_1_19_1","unstructured":"Egor Derevenetc. 2015. Robustness against relaxed memory models. Ph. D. Dissertation. University of Kaiserslautern. http:\/\/kluedo.ub.uni-kl.de\/frontdoor\/index\/index\/docId\/4074"},{"volume-title":"Robustness against Power is PSpace-complete","author":"Derevenetc Egor","key":"e_1_3_2_1_20_1","unstructured":"Egor Derevenetc and Roland Meyer. 2014. Robustness against Power is PSpace-complete. In ICALP. Springer, Berlin, Heidelberg. 158\u2013170. isbn:978-3-662-43951-7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.159"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295702"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837615"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575729"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(92)90052-O"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33651-5_3"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"volume-title":"The SPARC architecture manual (version 9)","author":"SPARC International Inc.","key":"e_1_3_2_1_28_1","unstructured":"SPARC International Inc.. 1994. The SPARC architecture manual (version 9). Prentice-Hall, Inc., Upper Saddle River, NJ, USA. isbn:0-13-099227-5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158105"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314609"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837643"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314604"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062352"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442524"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009857"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314635"},{"key":"e_1_3_2_1_38_1","volume-title":"A verification-based approach to memory fence insertion in relaxed memory systems","author":"Linden Alexander","year":"2032","unstructured":"Alexander Linden and Pierre Wolper. 2011. A verification-based approach to memory fence insertion in relaxed memory systems. In SPIN. Springer-Verlag, Berlin, Heidelberg. 144\u2013160. isbn:978-3-642-22305-1 http:\/\/dl.acm.org\/citation.cfm?id=2032692.2032707"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_24"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254115"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446711"},{"key":"e_1_3_2_1_42_1","unstructured":"Luc Maranget Susmit Sarkar and Peter Sewell. 2012. A tutorial introduction to the ARM and POWER relaxed memory models. http:\/\/www.cl.cam.ac.uk\/ pes20\/ppc-supplemental\/test7.pdf"},{"key":"e_1_3_2_1_43_1","volume-title":"Submitted to Principles of Programming Languages POPL","author":"Margalit Roy","year":"2021","unstructured":"Roy Margalit and Ori Lahav. 2020. Robustness against release\/acquire semantics. In Submitted to Principles of Programming Languages POPL 2021."},{"volume-title":"Pattern-based synthesis of synchronization for the C++ memory model","author":"Meshman Yuri","key":"e_1_3_2_1_44_1","unstructured":"Yuri Meshman, Noam Rinetzky, and Eran Yahav. 2015. Pattern-based synthesis of synchronization for the C++ memory model. In FMCAD. FMCAD Inc, Austin, TX. 120\u2013127. isbn:978-0-9835678-5-1 http:\/\/dl.acm.org\/citation.cfm?id=2893529.2893552"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509514"},{"volume-title":"Reasoning about the implementation of concurrency abstractions on x86-TSO","author":"Owens Scott","key":"e_1_3_2_1_46_1","unstructured":"Scott Owens. 2010. Reasoning about the implementation of concurrency abstractions on x86-TSO. In ECOOP. Springer-Verlag, Berlin, Heidelberg. 478\u2013503."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_27"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290382"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Konstantin Serebryany Alexander Potapenko Timur Iskhodzhanov and Dmitry Vyukov. 2011. Dynamic Race Detection with LLVM Compiler. Google.","DOI":"10.1007\/978-3-642-29860-8_9"},{"key":"e_1_3_2_1_50_1","unstructured":"Jaroslav Sevcik and Peter Sewell. 2016. C\/C++11 mappings to processors. https:\/\/www.cl.cam.ac.uk\/~pes20\/cpp\/cpp0xmappings.html"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080206"},{"key":"e_1_3_2_1_52_1","unstructured":"Dmitriy V\u2019jukov. 2008. C++ atomics and memory ordering. https:\/\/bartoszmilewski.com\/2008\/12\/01\/c-atomics-and-memory-ordering\/##comment-111"},{"key":"e_1_3_2_1_53_1","unstructured":"Anthony Williams. 2008. Peterson\u2019s lock with C++0x atomics. https:\/\/www.justsoftwaresolutions.co.uk\/threading\/petersons_lock_with_C++0x_atomics.html"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Vienna Austria","acronym":"ISSTA '24"},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3685549","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3685549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:09Z","timestamp":1750294689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3685549"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":53,"alternative-id":["10.1145\/3650212.3685549","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3685549","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}