{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:06:18Z","timestamp":1756339578002,"version":"3.44.0"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T00:00:00Z","timestamp":1309478400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T00:00:00Z","timestamp":1309478400000},"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":[[2011,7]]},"DOI":"10.1109\/memcod.2011.5970525","type":"proceedings-article","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T22:16:29Z","timestamp":1312409789000},"page":"181-190","source":"Crossref","is-referenced-by-count":6,"title":["Parallel assertions for debugging parallel programs"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Schwartz-Narbonne","sequence":"first","affiliation":[{"name":"Princeton University"}]},{"given":"Feng","family":"Liu","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"Tarun","family":"Pondicherry","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"David","family":"August","sequence":"additional","affiliation":[{"name":"Princeton University"}]},{"given":"Sharad","family":"Malik","sequence":"additional","affiliation":[{"name":"Princeton University"}]}],"member":"263","reference":[{"key":"ref31","first-page":"509","article-title":"Static and precise detection of concurrency errors in systems code using SMT solvers","volume":"5643","author":"lahiri","year":"2009","journal-title":"CAV"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"ref30"},{"key":"ref10","article-title":"Lowering the overhead of software transactional memory","author":"marathe","year":"2006","journal-title":"ACM SIGPLAN Workshop on Transactional Computing"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238850"},{"article-title":"Language and compiler support for stream programs","year":"2009","author":"thies","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2007.20"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250762"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/781498.781528","article-title":"Hybrid dynamic data race detection","author":"o'callahan","year":"2003","journal-title":"PPoPP'03"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/1555815.1555797","article-title":"SigRace: signature-based data race detection","volume":"37","author":"muzahid","year":"2009","journal-title":"SIGARCH Comput Archit News"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1735970.1736051"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815987"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.14"},{"journal-title":"The Art of Multiprocessor Programming","year":"2008","author":"herlihy","key":"ref4"},{"key":"ref27","first-page":"155","article-title":"The complexity of predicting atomicity violations","volume":"5505","author":"farzan","year":"2009","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.14"},{"year":"2010","key":"ref6","article-title":"Intel® 64 and IA-32 architectures software developer's manual"},{"key":"ref29","first-page":"267","article-title":"Finding and reproducing Heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"OSDI'08"},{"article-title":"LLVM: An Infrastructure for Multi-Stage Optimization","year":"2002","author":"lattner","key":"ref5"},{"journal-title":"Modern Operating Systems","year":"2007","author":"tanenbaum","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"article-title":"Benchmarking modern multiprocessors","year":"2011","author":"bienia","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736041"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360224"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15057-9_1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065015"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806658"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45706-2_12"},{"key":"ref26","article-title":"Jass - Java with assertions","volume":"55","author":"bartetzko","year":"2001","journal-title":"Electr Notes Theor Comput Sci"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/1449955.1449776","article-title":"QVM: an efficient runtime for detecting defects in deployed systems","volume":"43","author":"arnold","year":"2008","journal-title":"SIGPLAN Not"}],"event":{"name":"2011 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)","start":{"date-parts":[[2011,7,11]]},"location":"Cambridge, UK","end":{"date-parts":[[2011,7,13]]}},"container-title":["Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5959846\/5970502\/05970525.pdf?arnumber=5970525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T18:25:35Z","timestamp":1756319135000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5970525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/memcod.2011.5970525","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}