{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:10:49Z","timestamp":1729649449642,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1109\/cgo.2013.6494979","type":"proceedings-article","created":{"date-parts":[[2013,4,11]],"date-time":"2013-04-11T21:38:10Z","timestamp":1365716290000},"page":"1-11","source":"Crossref","is-referenced-by-count":1,"title":["Lightweight fault detection in parallelized programs"],"prefix":"10.1109","author":[{"family":"Li Tan","sequence":"first","affiliation":[]},{"family":"Min Feng","sequence":"additional","affiliation":[]},{"given":"R.","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250759"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2011.5764688"},{"key":"15","first-page":"268","article-title":"Comparison checking: An approach to avoid debugging of optimized code","author":"jaramillo","year":"1999","journal-title":"ESEC\/SIGSOFT FSE"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273475"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.1998.727181"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941564"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806636"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508295"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190265"},{"key":"24","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"},{"key":"25","article-title":"Epoch parallelism: One execution is not enough","author":"ouyang","year":"2010","journal-title":"Presentation in Research Vision Session OSDI"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"journal-title":"Intel Threading Building Blocks Outfitting C++ for Multi-core Processor Parallelism","year":"2007","author":"reinders","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250760"},{"year":"0","key":"1"},{"key":"30","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/978-3-540-68555-5_26","article-title":"Common mistakes in OpenMP and how to avoid them: A collection of best practices","volume":"4315","author":"su?\ufffd","year":"2008","journal-title":"IWOMP 2006 and OpenMP Shared Memory Parallel Programming LNCS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.27"},{"key":"6","first-page":"425","article-title":"HAVE: Detecting atomicity ciolations via integrated dynamic and static analysis","author":"chen","year":"2009","journal-title":"ETAPS"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2007.4336199"},{"key":"5","article-title":"Omp verify: Polyhedral analysis for the OpenMP programmer","author":"basupalli","year":"2011","journal-title":"IWOMP"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941580"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2012.40"}],"event":{"name":"2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2013,2,23]]},"location":"Shenzhen","end":{"date-parts":[[2013,2,27]]}},"container-title":["Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6489844\/6494968\/06494979.pdf?arnumber=6494979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T19:57:41Z","timestamp":1715198261000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6494979\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/cgo.2013.6494979","relation":{},"subject":[],"published":{"date-parts":[[2013,2]]}}}