{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:19:20Z","timestamp":1763468360378},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/fmcad.2015.7542261","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:56Z","timestamp":1471292936000},"page":"120-127","source":"Crossref","is-referenced-by-count":6,"title":["Pattern-based synthesis of synchronization for the C++ memory model"],"prefix":"10.1109","author":[{"given":"Yuri","family":"Meshman","sequence":"first","affiliation":[]},{"given":"Noam","family":"Rinetzky","sequence":"additional","affiliation":[]},{"given":"Eran","family":"Yahav","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250737"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_25"},{"key":"ref12","article-title":"Cooperating sequential processes, TR EWD-123","author":"dukstra","year":"1965","journal-title":"Tech Rep"},{"journal-title":"Programming Languages - C ISO\/IEC9989","first-page":"9899","year":"2011","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_19"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288966"},{"key":"ref16","article-title":"Automatic inference of memory fences","author":"kuperstein","year":"2010","journal-title":"FMCAD06"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993521"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/361082.361093"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref28","article-title":"A marriage of rely\/guarantee and separation logic","author":"vafeiadis","year":"2007","journal-title":"Concurrency"},{"key":"ref4","first-page":"508","article-title":"Don't sit on the fence - A static analysis approach to automatic fence insertion","author":"alglave","year":"2014","journal-title":"CAV"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509532"},{"journal-title":"Automatic fence insertion in integer programs via predicate abstraction SAS'12","year":"0","author":"abdulla","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2858788.2688518"},{"key":"ref5","article-title":"Concurrent Programming: Principles and Practice","author":"andrews","year":"1991","journal-title":"Benjamin\/Cummings"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429099"},{"journal-title":"IBM Power ISA v 2 05","year":"2007","key":"ref2"},{"article-title":"The Cll and C++ll Concurrency Model","year":"2014","author":"batty","key":"ref9"},{"year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509514"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44802-0_1"},{"key":"ref24","article-title":"Systems Programming: Coping with parallelism","author":"treiber","year":"1986","journal-title":"International Business Machines Incorporated Thomas J Watson Research Center"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737992"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676995"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660243"}],"event":{"name":"2015 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2015,9,27]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7539356\/7542233\/07542261.pdf?arnumber=7542261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T20:54:00Z","timestamp":1489784040000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7542261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2015.7542261","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}