{"id":"https://openalex.org/W4392265901","doi":"https://doi.org/10.1109/cgo57630.2024.10444844","title":"BEC: Bit-Level Static Analysis for Reliability against Soft Errors","display_name":"BEC: Bit-Level Static Analysis for Reliability against Soft Errors","publication_year":2024,"publication_date":"2024-02-28","ids":{"openalex":"https://openalex.org/W4392265901","doi":"https://doi.org/10.1109/cgo57630.2024.10444844"},"language":"en","primary_location":{"id":"doi:10.1109/cgo57630.2024.10444844","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo57630.2024.10444844","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","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/A5036018935","display_name":"Yousun Ko","orcid":"https://orcid.org/0000-0002-2181-9555"},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yousun Ko","raw_affiliation_strings":["Yonsei University,Department of Computer Science and Engineering,Seoul,Republic of Korea","Department of Computer Science and Engineering, Yonsei University, Seoul, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yonsei University,Department of Computer Science and Engineering,Seoul,Republic of Korea","institution_ids":["https://openalex.org/I193775966"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Yonsei University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012072107","display_name":"Bernd Burgstaller","orcid":"https://orcid.org/0000-0002-0374-8853"},"institutions":[{"id":"https://openalex.org/I193775966","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96","country_code":"KR","type":"education","lineage":["https://openalex.org/I193775966"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Bernd Burgstaller","raw_affiliation_strings":["Yonsei University,Department of Computer Science and Engineering,Seoul,Republic of Korea","Department of Computer Science and Engineering, Yonsei University, Seoul, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yonsei University,Department of Computer Science and Engineering,Seoul,Republic of Korea","institution_ids":["https://openalex.org/I193775966"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Yonsei University, Seoul, Republic of Korea","institution_ids":["https://openalex.org/I193775966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I193775966"],"apc_list":null,"apc_paid":null,"fwci":0.9271,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59909626,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"283","last_page":"295"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9840999841690063,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.8321568965911865},{"id":"https://openalex.org/keywords/register-file","display_name":"Register file","score":0.5965279340744019},{"id":"https://openalex.org/keywords/soft-error","display_name":"Soft error","score":0.5891659259796143},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5473026633262634},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.5239015817642212},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4305883049964905},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3353145122528076},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.2350790798664093},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.18646326661109924},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14491140842437744},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14439302682876587}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8321568965911865},{"id":"https://openalex.org/C117280010","wikidata":"https://www.wikidata.org/wiki/Q180944","display_name":"Register file","level":3,"score":0.5965279340744019},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.5891659259796143},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5473026633262634},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.5239015817642212},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4305883049964905},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3353145122528076},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2350790798664093},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.18646326661109924},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14491140842437744},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14439302682876587},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cgo57630.2024.10444844","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo57630.2024.10444844","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321314","display_name":"Yonsei University","ror":"https://ror.org/01wjejq96"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320324891","display_name":"Iran Telecommunication Research Center","ror":"https://ror.org/01a3g2z22"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1242742582","https://openalex.org/W1487279492","https://openalex.org/W1491178396","https://openalex.org/W1982205631","https://openalex.org/W2009063162","https://openalex.org/W2023856022","https://openalex.org/W2033908103","https://openalex.org/W2038480737","https://openalex.org/W2043100293","https://openalex.org/W2043626706","https://openalex.org/W2053152889","https://openalex.org/W2065012501","https://openalex.org/W2093058647","https://openalex.org/W2093405062","https://openalex.org/W2094127360","https://openalex.org/W2102890180","https://openalex.org/W2114067856","https://openalex.org/W2115758240","https://openalex.org/W2133971626","https://openalex.org/W2138403270","https://openalex.org/W2139751356","https://openalex.org/W2152652532","https://openalex.org/W2172208013","https://openalex.org/W2514797658","https://openalex.org/W2800702583","https://openalex.org/W2809016105","https://openalex.org/W3099644249","https://openalex.org/W3119951460","https://openalex.org/W3120011499","https://openalex.org/W3173261253","https://openalex.org/W3212175090","https://openalex.org/W4232751114","https://openalex.org/W4233983565","https://openalex.org/W4251476415","https://openalex.org/W4281696364","https://openalex.org/W6673507193","https://openalex.org/W6680653849","https://openalex.org/W6786577708"],"related_works":["https://openalex.org/W2044069930","https://openalex.org/W2407896","https://openalex.org/W2078707653","https://openalex.org/W1990419382","https://openalex.org/W3196277062","https://openalex.org/W4224229821","https://openalex.org/W2079643259","https://openalex.org/W2782341877","https://openalex.org/W2593605297","https://openalex.org/W2969553121"],"abstract_inverted_index":{"Soft":[0,34],"errors":[1,35],"are":[2,36],"a":[3,53,58,66,217],"type":[4],"of":[5,21,52,103,114,142,153,189],"transient":[6],"digital":[7,13],"signal":[8],"corruption":[9,94,105],"that":[10,134],"occurs":[11],"in":[12,95,120],"hardware":[14],"components":[15],"such":[16],"as":[17,50],"the":[18,24,96,101,104,115,183,187,192,197],"internal":[19,31],"flip-flops":[20],"CPU":[22],"pipelines,":[23],"register":[25,97],"file,":[26],"memory":[27],"cells,":[28],"and":[29,44,60,74,81,99,127,180,213],"even":[30],"communication":[32],"buses.":[33],"caused":[37],"by":[38,106,159],"environmental":[39],"radioactivity,":[40],"magnetic":[41],"interference,":[42],"lasers,":[43],"temperature":[45],"fluctuations,":[46],"either":[47],"unintentionally,":[48],"or":[49],"part":[51],"deliberate":[54],"attempt":[55],"to":[56,79,139,161,216],"compromise":[57],"system":[59],"expose":[61],"confidential":[62],"data.":[63],"We":[64],"propose":[65],"bit-level":[67,135,169,199],"error":[68],"coalescing":[69],"(BEC)":[70],"static":[71],"program":[72,83,129,203],"analysis":[73,90,117,136,174,195,201],"its":[75,107],"two":[76,121],"use":[77],"cases":[78],"understand":[80],"improve":[82],"reliability":[84,204],"against":[85,205],"soft":[86,206],"errors.":[87,207],"The":[88,112,173,208],"BEC":[89,194],"tracks":[91],"each":[92],"bit":[93],"file":[98],"classifies":[100],"effect":[102],"semantics":[108],"at":[109],"compile":[110],"time.":[111],"usefulness":[113],"proposed":[116,193,209],"is":[118,196,211],"demonstrated":[119],"scenarios,":[122],"fault":[123,144],"injection":[124,145],"campaign":[125],"pruning,":[126],"reliability-aware":[128],"transformation.":[130],"Experimental":[131],"results":[132],"show":[133],"pruned":[137],"up":[138,160],"30.04":[140],"%":[141,148,163,165],"exhaustive":[143],"campaigns":[146],"(13.71":[147],"on":[149,166,182],"average),":[150],"without":[151],"loss":[152],"accuracy.":[154],"Program":[155],"vulnerability":[156],"was":[157],"reduced":[158],"13.11":[162],"(4.94":[164],"average)":[167],"through":[168],"vulnerability-aware":[170],"instruction":[171],"scheduling.":[172],"has":[175],"been":[176],"implemented":[177],"within":[178],"LLVM":[179],"evaluated":[181],"RISC-V":[184],"architecture.":[185,220],"To":[186],"best":[188],"our":[190],"knowledge,":[191],"first":[198],"compiler":[200],"for":[202],"method":[210],"generic":[212],"not":[214],"limited":[215],"specific":[218],"computer":[219]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}