{"id":"https://openalex.org/W3150764511","doi":"https://doi.org/10.1109/iccad.2011.6105319","title":"Assuring application-level correctness against soft errors","display_name":"Assuring application-level correctness against soft errors","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W3150764511","doi":"https://doi.org/10.1109/iccad.2011.6105319","mag":"3150764511"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2011.6105319","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2011.6105319","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102170602","display_name":"Jason Cong","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Cong","raw_affiliation_strings":["Department of Computer Science, University of California, Los Angeles, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111994199","display_name":"Karthik Gururaj","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karthik Gururaj","raw_affiliation_strings":["Department of Computer Science, University of California, Los Angeles, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"150","last_page":"157"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.9095715284347534},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8782336115837097},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.7108621597290039},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.6747825145721436},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.47683635354042053},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.473939448595047},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.46138694882392883},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4253590703010559},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3270465135574341},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19761863350868225}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9095715284347534},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8782336115837097},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7108621597290039},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.6747825145721436},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.47683635354042053},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.473939448595047},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.46138694882392883},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4253590703010559},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3270465135574341},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19761863350868225},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad.2011.6105319","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2011.6105319","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.9100000262260437}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1485603255","https://openalex.org/W1525451871","https://openalex.org/W1976431848","https://openalex.org/W1989874002","https://openalex.org/W2002003432","https://openalex.org/W2007925061","https://openalex.org/W2028169764","https://openalex.org/W2070869623","https://openalex.org/W2084128300","https://openalex.org/W2099123934","https://openalex.org/W2100866260","https://openalex.org/W2103318645","https://openalex.org/W2103714221","https://openalex.org/W2115081151","https://openalex.org/W2118683741","https://openalex.org/W2126869140","https://openalex.org/W2130189691","https://openalex.org/W2135089235","https://openalex.org/W2147543317","https://openalex.org/W2147674979","https://openalex.org/W2164264749","https://openalex.org/W2169213530","https://openalex.org/W2170382128","https://openalex.org/W2541274825","https://openalex.org/W4235136009","https://openalex.org/W4255079701","https://openalex.org/W6631621482","https://openalex.org/W6677763824"],"related_works":["https://openalex.org/W1508927144","https://openalex.org/W2020973245","https://openalex.org/W2968467529","https://openalex.org/W1531033207","https://openalex.org/W3019407550","https://openalex.org/W2099473014","https://openalex.org/W2051910176","https://openalex.org/W2392294830","https://openalex.org/W1494768888","https://openalex.org/W2573637329"],"abstract_inverted_index":{"Traditionally,":[0],"research":[1],"in":[2,20,166,254],"fault":[3,213],"tolerance":[4],"has":[5],"required":[6],"architectural":[7],"state":[8],"to":[9,16,36,63,145,177,225,239,250],"be":[10,17,54,64],"numerically":[11,29],"perfect":[12],"for":[13,58,107,230],"program":[14,32,95,111],"execution":[15,25],"correct.":[18],"However,":[19,74],"many":[21],"programs,":[22],"even":[23],"if":[24,66,89,186],"is":[26,61,97,117],"not":[27],"100%":[28],"correct,":[30],"the":[31,40,67,90,94,199,251],"can":[33,53,223],"still":[34,77],"appear":[35],"execute":[37],"correctly":[38],"from":[39],"user's":[41],"perspective.":[42],"To":[43],"quantify":[44],"user":[45],"satisfaction,":[46],"application-level":[47,121,235,247,259],"fidelity":[48,68],"metrics":[49,69],"(such":[50],"as":[51],"PSNR)":[52],"used.":[55],"The":[56],"output":[57,96],"such":[59,75,109],"applications":[60,76,232],"defined":[62],"correct":[65],"satisfy":[70],"a":[71,124,167,174,211,240],"certain":[72],"threshold.":[73],"contain":[78],"instructions":[79,149,155,181,190,202],"whose":[80],"outputs":[81],"are":[82,156,204],"critical":[83,110,148,164],"-":[84],"i.e.":[85],"their":[86],"correctness":[87,122],"decides":[88],"overall":[91],"quality":[92],"of":[93,119,126,136,201],"acceptable.":[98],"In":[99],"this":[100,195],"paper,":[101],"we":[102,172,197],"present":[103],"an":[104],"analysis":[105,128,134,139,144],"technique":[106,116,217],"identifying":[108],"segments.":[112],"More":[113],"importantly,":[114],"our":[115,221,263],"capable":[118],"guaranteeing":[120,234],"through":[123],"combination":[125],"static":[127,133,147],"and":[129,162,182,206,215,260],"runtime":[130,209],"monitoring.":[131],"Our":[132],"consists":[135],"data":[137],"flow":[138,143],"followed":[140],"by":[141],"control":[142],"find":[146],"which":[150,244,256],"affect":[151],"several":[152],"instructions.":[153],"Critical":[154],"further":[157],"refined":[158],"into":[159],"likely":[160,163,179,188],"non-critical":[161,180,189],"sets":[165],"profiling":[168],"phase.":[169],"At":[170],"runtime,":[171],"use":[173],"monitoring":[175],"scheme":[176],"monitor":[178],"take":[183],"remedial":[184],"actions":[185],"some":[187],"become":[191],"critical.":[192],"Based":[193],"on":[194],"analysis,":[196],"minimize":[198],"number":[200],"that":[203],"duplicated":[205],"checked":[207],"at":[208],"using":[210],"software-based":[212],"detection":[214],"recovery":[216],"[20].":[218],"Put":[219],"together,":[220],"approach":[222,252],"lead":[224],"22%":[226],"average":[227],"energy":[228,267],"savings":[229],"multimedia":[231],"while":[233],"correctness,":[236,262],"when":[237],"compared":[238],"recent":[241],"work":[242],"[9],":[243],"cannot":[245],"guarantee":[246],"correctness.":[248],"Comparing":[249],"proposed":[253],"[20]":[255],"guarantees":[257],"both":[258],"numerical":[261],"method":[264],"achieves":[265],"79%":[266],"reduction.":[268]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}