{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:20:20Z","timestamp":1768029620487,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T00:00:00Z","timestamp":1456704000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,2,29]]},"DOI":"10.1145\/2854038.2854059","type":"proceedings-article","created":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T15:33:04Z","timestamp":1456846384000},"page":"227-238","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["IPAS: intelligent protection against silent output corruption in scientific applications"],"prefix":"10.1145","author":[{"given":"Ignacio","family":"Laguna","sequence":"first","affiliation":[{"name":"Lawrence Livermore National Laboratory, USA"}]},{"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, USA"}]},{"given":"David F.","family":"Richards","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, USA"}]},{"given":"Jon","family":"Calhoun","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}]},{"given":"Luke","family":"Olson","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,2,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"CoMD Proxy App. http:\/\/www.exmatex.org\/comd.html.  CoMD Proxy App. http:\/\/www.exmatex.org\/comd.html."},{"key":"e_1_3_2_1_2_1","unstructured":"HPCCG Mini Application. https:\/\/mantevo.org\/packages.php.  HPCCG Mini Application. https:\/\/mantevo.org\/packages.php."},{"key":"e_1_3_2_1_3_1","unstructured":"Intel OpenMP Runtime Library. https:\/\/www.openmprtl.org\/.  Intel OpenMP Runtime Library. https:\/\/www.openmprtl.org\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2006.37"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.774911"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.69"},{"key":"e_1_3_2_1_7_1","volume-title":"Pattern recognition and machine learning","author":"Bishop C. M.","year":"2006","unstructured":"C. M. Bishop Pattern recognition and machine learning , volume 4 . springer New York , 2006 . C. M. Bishop et al. Pattern recognition and machine learning, volume 4. springer New York, 2006."},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","first-page":"558","volume-title":"Euro-Par 2014: Parallel Processing Workshops","author":"Calhoun J.","unstructured":"J. Calhoun , L. Olson , and M. Snir . FlipIt: An LLVM Based Fault Injector for HPC . In Euro-Par 2014: Parallel Processing Workshops , volume 8805 of Lecture Notes in Computer Science , pages 547\u2013 558 . 2014. J. Calhoun, L. Olson, and M. Snir. FlipIt: An LLVM Based Fault Injector for HPC. In Euro-Par 2014: Parallel Processing Workshops, volume 8805 of Lecture Notes in Computer Science, pages 547\u2013558. 2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342009347767"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961189.1961199"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.282.0124"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022627411411"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1177\/109434209100500306"},{"key":"e_1_3_2_1_14_1","first-page":"23","volume-title":"IBM Microelectronics Division","author":"Dell T. J.","year":"1997","unstructured":"T. J. Dell . A white paper on the benefits of chipkill-correct ECC for PC server main memory . IBM Microelectronics Division , pages 1\u2013 23 , 1997 . T. J. Dell. A white paper on the benefits of chipkill-correct ECC for PC server main memory. IBM Microelectronics Division, pages 1\u201323, 1997."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/568522.568525"},{"key":"e_1_3_2_1_16_1","first-page":"67","volume-title":"The millennium prize problems","author":"Fefferman C. L.","year":"2000","unstructured":"C. L. Fefferman . Existence and smoothness of the navierstokes equation. The millennium prize problems , pages 57\u2013 67 , 2000 . C. L. Fefferman. Existence and smoothness of the navierstokes equation. The millennium prize problems, pages 57\u201367, 2000."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736063"},{"key":"e_1_3_2_1_18_1","first-page":"494","volume-title":"Journal of Physics: Conference Series","volume":"46","author":"Hargrove P. H.","unstructured":"P. H. Hargrove and J. C. Duell . Berkeley lab checkpoint\/restart (blcr) for linux clusters . In Journal of Physics: Conference Series , volume 46 , page 494 . IOP Publishing, 2006. P. H. Hargrove and J. C. Duell. Berkeley lab checkpoint\/restart (blcr) for linux clusters. In Journal of Physics: Conference Series, volume 46, page 494. IOP Publishing, 2006."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2354410.2355132"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.974895"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1197\/jamia.M1733"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342010391989"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.33"},{"key":"e_1_3_2_1_24_1","volume-title":"The mathematical theory of viscous incompressible flow","author":"Ladyzhenskaya O. A.","year":"1969","unstructured":"O. A. Ladyzhenskaya and R. A. Silverman . The mathematical theory of viscous incompressible flow , volume 76 . Gordon and Breach New York , 1969 . O. A. Ladyzhenskaya and R. A. Silverman. The mathematical theory of viscous incompressible flow, volume 76. Gordon and Breach New York, 1969."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874743"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656106.2656127"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-ED.1979.19370"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/545215.545227"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(05)80038-3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.980007"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339652"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113841.1113843"},{"key":"e_1_3_2_1_34_1","series-title":"Frontiers in Applied Mathematics","first-page":"130","volume-title":"Multigrid methods","author":"Ruge J. W.","unstructured":"J. W. Ruge and K. St\u00fcben . Algebraic multigrid . In Multigrid methods , volume 3 of Frontiers in Applied Mathematics , pages 73\u2013 130 . SIAM, Philadelphia, PA, 1987. J. W. Ruge and K. St\u00fcben. Algebraic multigrid. In Multigrid methods, volume 3 of Frontiers in Applied Mathematics, pages 73\u2013130. SIAM, Philadelphia, PA, 1987."},{"key":"e_1_3_2_1_35_1","volume-title":"Intel Developer Forum","author":"Somers J.","year":"2002","unstructured":"J. Somers , F. Director , and S. Graham . Stratus ftserver\u2013intel fault tolerant platform. In Rap. tech . Intel Developer Forum , Fall, 2002 . J. Somers, F. Director, and S. Graham. Stratus ftserver\u2013intel fault tolerant platform. In Rap. tech. Intel Developer Forum, Fall, 2002."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781141"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575353"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.40"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/998680.1006723"},{"key":"e_1_3_2_1_40_1","first-page":"449","volume-title":"Proceedings of the 5th international conference on Software engineering","author":"Weiser M.","unstructured":"M. Weiser . Program slicing . In Proceedings of the 5th international conference on Software engineering , pages 439\u2013 449 . IEEE Press, 1981. M. Weiser. Program slicing. In Proceedings of the 5th international conference on Software engineering, pages 439\u2013 449. IEEE Press, 1981."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015330.1015436"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.14"}],"event":{"name":"CGO '16: 14th Annual IEEE\/ACM International Symposium on Code Generation and Optimization","location":"Barcelona Spain","acronym":"CGO '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 2016 International Symposium on Code Generation and Optimization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2854038.2854059","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2854038.2854059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:30Z","timestamp":1750273470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2854038.2854059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,29]]},"references-count":42,"alternative-id":["10.1145\/2854038.2854059","10.1145\/2854038"],"URL":"https:\/\/doi.org\/10.1145\/2854038.2854059","relation":{},"subject":[],"published":{"date-parts":[[2016,2,29]]},"assertion":[{"value":"2016-02-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}