{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:30:58Z","timestamp":1772555458637,"version":"3.50.1"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/isca.2012.6237018","type":"proceedings-article","created":{"date-parts":[[2012,7,21]],"date-time":"2012-07-21T00:59:02Z","timestamp":1342832342000},"page":"201-212","source":"Crossref","is-referenced-by-count":16,"title":["RADISH: Always-on sound and complete race detection in software and hardware"],"prefix":"10.1109","author":[{"given":"Joseph","family":"Devietti","sequence":"first","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Benjamin P.","family":"Wood","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Karin","family":"Strauss","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Luis","family":"Ceze","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Dan","family":"Grossman","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Shaz","family":"Qadeer","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945468"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542490"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1787234.1787255"},{"key":"ref4","article-title":"NESL: A Nested Data-Parallel Language","volume-title":"Technical report","author":"Blelloch","year":"1992"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1639949.1640097"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250762"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1816038.1815987"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806636"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2366231.2337182"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040336"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375591"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1988915.1988922"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375618"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_28"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598134"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.54"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1508284.1508256"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1007912.1007933"},{"key":"ref20","article-title":"Finding and Reproducing Heisenbugs in Concurrent Programs","volume-title":"OSDI","author":"Musuvathi"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1735971.1736040"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/2.84874"},{"key":"ref24","first-page":"215","article-title":"Virtual Time and Global States of Distributed Systems","volume-title":"International Workshop on Parallel and Distributed Algorithms","author":"Mattern"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/966049.781529"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1095809.1095832"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44681-8_73"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1353536.1346295"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2248487.2150995"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/106973.106996"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1555815.1555797"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598132"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/871656.859632"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346191"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1555815.1555798"}],"event":{"name":"2012 ACM\/IEEE 39th International Symposium on Computer Architecture (ISCA)","location":"Portland, OR, USA","start":{"date-parts":[[2012,6,9]]},"end":{"date-parts":[[2012,6,13]]}},"container-title":["2012 39th Annual International Symposium on Computer Architecture (ISCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6230820\/6236993\/06237018.pdf?arnumber=6237018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:47:32Z","timestamp":1747806452000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6237018\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/isca.2012.6237018","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}