{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:44Z","timestamp":1772164064263,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,9]],"date-time":"2014-06-09T00:00:00Z","timestamp":1402272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["63823"],"award-info":[{"award-number":["63823"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000005","name":"U.S. Department of Defense","doi-asserted-by":"publisher","award":["63810"],"award-info":[{"award-number":["63810"]}],"id":[{"id":"10.13039\/100000005","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,9]]},"DOI":"10.1145\/2594291.2594298","type":"proceedings-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T08:18:34Z","timestamp":1399969114000},"page":"204-215","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Compiler-assisted detection of transient memory errors"],"prefix":"10.1145","author":[{"given":"Sanket","family":"Tavarageri","sequence":"first","affiliation":[{"name":"The Ohio State University"}]},{"given":"Sriram","family":"Krishnamoorthy","sequence":"additional","affiliation":[{"name":"Pacific Northwest National Lab"}]},{"given":"P.","family":"Sadayappan","sequence":"additional","affiliation":[{"name":"The Ohio State University"}]}],"member":"320","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1971.223133"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24644-2_14"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.69"},{"key":"e_1_3_2_1_4_1","volume-title":"Checking the correctness of memories. Algorithmica, 12(2-3)","author":"Blum M.","year":"1994","unstructured":"M. Blum , W. Evans , P. Gemmell , S. Kannan , and M. Naor . Checking the correctness of memories. Algorithmica, 12(2-3) , 1994 . M. Blum, W. Evans, P. Gemmell, S. Kannan, and M. Naor. Checking the correctness of memories. Algorithmica, 12(2-3), 1994."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/874064.875619"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.5"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2034764"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407931"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407835"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0012-3"},{"key":"e_1_3_2_1_12_1","volume-title":"Workshop on Architectural Support for Gigascale Integration","author":"Gold B. T.","year":"2007","unstructured":"B. T. Gold , M. Ferdman , B. Falsafi , and K. Mai . Mitigating multi-bit soft errors in L1 caches using last-store prediction . In Workshop on Architectural Support for Gigascale Integration , 2007 . B. T. Gold, M. Ferdman, B. Falsafi, and K. Mai. Mitigating multi-bit soft errors in L1 caches using last-store prediction. In Workshop on Architectural Support for Gigascale Integration, 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/951947.951989"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859631"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007516818651"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2354410.2355132"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150990"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1984.1676475"},{"key":"e_1_3_2_1_19_1","unstructured":"ISL\n  : Integer Set Library. http:\/\/garage.kotnet.org\/~skimo\/isl\/.  ISL: Integer Set Library. http:\/\/garage.kotnet.org\/~skimo\/isl\/."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.18"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950391"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2003.1269335"},{"key":"e_1_3_2_1_23_1","volume-title":"The effectiveness of checksums for embedded networks. Master's thesis","author":"Maxino T. C.","year":"2006","unstructured":"T. C. Maxino . The effectiveness of checksums for embedded networks. Master's thesis , Carnegie Mellon University , 2006 . T. C. Maxino. The effectiveness of checksums for embedded networks. Master's thesis, Carnegie Mellon University, 2006."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2005.855685"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.41"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1993.627361"},{"issue":"1","key":"e_1_3_2_1_27_1","volume":"51","author":"Oh N.","year":"2002","unstructured":"N. Oh , P. P. Shirvani , and E. J. McCluskey . Control-flow checking by software signatures. IEEE Transactions on Reliability , 51 ( 1 ), 2002 . N. Oh, P. P. Shirvani, and E. J. McCluskey. Control-flow checking by software signatures. IEEE Transactions on Reliability, 51(1), 2002.","journal-title":"IEEE Transactions on Reliability"},{"issue":"1","key":"e_1_3_2_1_28_1","volume":"51","author":"Oh N.","year":"2002","unstructured":"N. Oh , P. P. Shirvani , and E. J. McCluskey . Error detection by duplicated instructions in super-scalar processors. IEEE Transactions on Reliability , 51 ( 1 ), 2002 . N. Oh, P. P. Shirvani, and E. J. McCluskey. Error detection by duplicated instructions in super-scalar processors. IEEE Transactions on Reliability, 51(1), 2002.","journal-title":"IEEE Transactions on Reliability"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2004.826321"},{"key":"e_1_3_2_1_30_1","volume-title":"International technology roadmap for semiconductors.","author":"Osada T.","year":"1999","unstructured":"T. Osada and M. Godwin . International technology roadmap for semiconductors. 1999 . T. Osada and M. Godwin. International technology roadmap for semiconductors. 1999."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2006.9"},{"key":"e_1_3_2_1_32_1","unstructured":"PLUTO\n  : A polyhedral automatic parallelizer and locality optimizer for multicores. http:\/\/pluto-compiler.sourceforge.net.  PLUTO: A polyhedral automatic parallelizer and locality optimizer for multicores. http:\/\/pluto-compiler.sourceforge.net."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/169627.169752"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2005.61"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"e_1_3_2_1_36_1","volume-title":"Fault-Tolerant Computing","author":"Rotenberg E.","year":"1999","unstructured":"E. Rotenberg . AR-SMT : A microarchitectural approach to fault tolerance in microprocessors . In Fault-Tolerant Computing , 1999 . E. Rotenberg. AR-SMT: A microarchitectural approach to fault tolerance in microprocessors. In Fault-Tolerant Computing, 1999."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555349.1555372"},{"issue":"3","key":"e_1_3_2_1_38_1","volume":"49","author":"Shirvani P. P.","year":"2000","unstructured":"P. P. Shirvani , N. R. Saxena , and E. J. McCluskey . Software-implemented EDAC protection against SEUs. IEEE Transactions on Reliability , 49 ( 3 ), 2000 . P. P. Shirvani, N. R. Saxena, and E. J. McCluskey. Software-implemented EDAC protection against SEUs. IEEE Transactions on Reliability, 49(3), 2000.","journal-title":"SEUs. IEEE Transactions on Reliability"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.98"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888390.1888455"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.40"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1654059.1654109"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555771"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.401.0003"}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Edinburgh United Kingdom","acronym":"PLDI '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","NSF"]},"container-title":["Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594298","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594291.2594298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:01:04Z","timestamp":1750215664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,9]]},"references-count":44,"alternative-id":["10.1145\/2594291.2594298","10.1145\/2594291"],"URL":"https:\/\/doi.org\/10.1145\/2594291.2594298","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666356.2594298","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,9]]},"assertion":[{"value":"2014-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}