{"id":"https://openalex.org/W4416429603","doi":"https://doi.org/10.1109/iccad66269.2025.11240908","title":"SERA-Float: A Soft Error Resilient Approximate Floating-Point Computing Format","display_name":"SERA-Float: A Soft Error Resilient Approximate Floating-Point Computing Format","publication_year":2025,"publication_date":"2025-10-26","ids":{"openalex":"https://openalex.org/W4416429603","doi":"https://doi.org/10.1109/iccad66269.2025.11240908"},"language":null,"primary_location":{"id":"doi:10.1109/iccad66269.2025.11240908","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 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/A5087490732","display_name":"Vishesh Mishra","orcid":"https://orcid.org/0000-0001-6867-4587"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Vishesh Mishra","raw_affiliation_strings":["IIT Kanpur,India,208016"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIT Kanpur,India,208016","institution_ids":["https://openalex.org/I94234084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082995771","display_name":"Marcello Traiola","orcid":"https://orcid.org/0000-0003-1484-5162"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marcello Traiola","raw_affiliation_strings":["Univ Rennes,CNRS, Inria, IRISA - UMR 6074,Rennes,France,F-35000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Rennes,CNRS, Inria, IRISA - UMR 6074,Rennes,France,F-35000","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802519937","https://openalex.org/I56067802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058810601","display_name":"Angeliki Kritikakou","orcid":"https://orcid.org/0000-0002-9293-469X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Angeliki Kritikakou","raw_affiliation_strings":["Univ Rennes,CNRS, Inria, IRISA - UMR 6074,Rennes,France,F-35000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Rennes,CNRS, Inria, IRISA - UMR 6074,Rennes,France,F-35000","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802519937","https://openalex.org/I56067802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012353019","display_name":"Olivier Sentieys","orcid":"https://orcid.org/0000-0003-4334-6418"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Sentieys","raw_affiliation_strings":["Univ Rennes,CNRS, Inria, IRISA - UMR 6074,Rennes,France,F-35000"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Rennes,CNRS, Inria, IRISA - UMR 6074,Rennes,France,F-35000","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802519937","https://openalex.org/I56067802"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078243950","display_name":"Urbi Chatterjee","orcid":"https://orcid.org/0000-0002-4631-2208"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Urbi Chatterjee","raw_affiliation_strings":["IIT Kanpur,India,208016"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIT Kanpur,India,208016","institution_ids":["https://openalex.org/I94234084"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.7077000141143799,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.7077000141143799,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.1200999990105629,"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.026799999177455902,"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/resilience","display_name":"Resilience (materials science)","score":0.6090999841690063},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5511000156402588},{"id":"https://openalex.org/keywords/soft-error","display_name":"Soft error","score":0.5131999850273132},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5080999732017517},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.45260000228881836},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4431999921798706},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.44200000166893005},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.43369999527931213}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6708999872207642},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.6090999841690063},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5511000156402588},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.5131999850273132},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5080999732017517},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.45260000228881836},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4431999921798706},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.44200000166893005},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.43369999527931213},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4207000136375427},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40779998898506165},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3885999917984009},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.3582000136375427},{"id":"https://openalex.org/C140073362","wikidata":"https://www.wikidata.org/wiki/Q738759","display_name":"Soft computing","level":3,"score":0.3434000015258789},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.3328000009059906},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.32829999923706055},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.32249999046325684},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.31839999556541443},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C89227174","wikidata":"https://www.wikidata.org/wiki/Q2388981","display_name":"Electric power system","level":3,"score":0.2773999869823456},{"id":"https://openalex.org/C2984118289","wikidata":"https://www.wikidata.org/wiki/Q29954","display_name":"Power consumption","level":3,"score":0.26330000162124634},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2615000009536743},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.2549999952316284}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad66269.2025.11240908","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W2064076387","https://openalex.org/W2094446102","https://openalex.org/W2118033476","https://openalex.org/W2127745296","https://openalex.org/W2265166184","https://openalex.org/W2280796276","https://openalex.org/W2565516711","https://openalex.org/W2612139336","https://openalex.org/W2615684205","https://openalex.org/W2935252789","https://openalex.org/W2981849318","https://openalex.org/W2982144630","https://openalex.org/W3035232708","https://openalex.org/W3186976012","https://openalex.org/W4238341497","https://openalex.org/W4239085833","https://openalex.org/W4386574726","https://openalex.org/W4396941613","https://openalex.org/W4400034177"],"related_works":[],"abstract_inverted_index":{"Approximate":[0],"computing":[1],"(AxC)":[2],"reduces":[3],"power":[4],"consumption":[5],"with":[6,38,205],"minimal":[7],"accuracy":[8,88],"loss,":[9],"benefiting":[10],"error-tolerant,":[11],"compute-intensive":[12],"tasks":[13],"such":[14],"as":[15],"machine":[16],"learning,":[17,19],"deep":[18,71],"and":[20,58,87,116,127,133,160,181],"image":[21],"processing.":[22],"However,":[23],"existing":[24],"AxC":[25],"methods":[26],"often":[27],"ignore":[28],"the":[29,85,125,153,169,183],"vulnerability":[30],"to":[31,101,108,199],"soft":[32,55,77,102,113],"errors.":[33,103],"Such":[34],"errors":[35,79,115],"can":[36,82],"interact":[37],"approximation-induced":[39],"errors,":[40],"causing":[41],"system":[42],"failures":[43],"or":[44,80],"unexpected":[45],"exceptions.":[46,162],"To":[47],"our":[48],"knowledge,":[49],"no":[50],"work":[51],"has":[52],"addressed":[53],"both":[54],"error":[56],"resilience":[57],"exception":[59],"avoidance":[60],"in":[61,70,152,209],"approximate":[62,97],"floating-point":[63,98,110,121,154,172],"computing.":[64],"This":[65],"gap":[66],"is":[67,106],"particularly":[68],"critical":[69,150],"neural":[72],"network":[73],"(DNN)":[74],"inference,":[75],"where":[76],"error-induced":[78,114],"exceptions":[81,180],"significantly":[83,178],"affect":[84],"stability":[86,184],"of":[89,140,171,185],"computations.In":[90],"this":[91],"paper,":[92],"we":[93],"introduce":[94],"SERA-Float,":[95],"an":[96],"format":[99],"resilient":[100],"Specifically,":[104],"it":[105,188],"designed":[107],"protect":[109],"computations":[111],"from":[112],"exception-triggering":[117],"bit-flips.":[118],"Unlike":[119],"prior":[120],"formats,":[122],"SERA-Float":[123,156,167],"protects":[124],"sign":[126],"exponent":[128],"bits":[129,139,151],"using":[130],"error-correcting":[131],"codes":[132],"relies":[134],"on":[135],"storing":[136],"8":[137],"valid":[138],"mantissa":[141],"rather":[142],"than":[143],"performing":[144],"coarse":[145],"truncation.":[146],"Additionally,":[147],"by":[148,177,192],"tracking":[149],"representation,":[155],"prevents":[157],"overflow,":[158],"underflow,":[159],"NaN":[161],"Our":[163],"evaluation":[164],"demonstrates":[165],"that":[166],"improves":[168],"reliability":[170],"operations":[173],"during":[174],"DNN":[175,210],"inference":[176,211],"reducing":[179],"ensuring":[182],"computations.":[186],"Moreover,":[187],"enables":[189],"energy-efficient":[190],"arithmetic":[191,195],"leveraging":[193],"narrower":[194],"units,":[196],"yielding":[197],"up":[198],"80.3%":[200],"energy":[201],"savings":[202],"per":[203],"multiplication":[204],"a":[206],"0.9%":[207],"reduction":[208],"accuracy.":[212]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-11-20T00:00:00"}