{"id":"https://openalex.org/W2513870881","doi":"https://doi.org/10.1145/2970276.2970360","title":"Automatic runtime recovery via error handler synthesis","display_name":"Automatic runtime recovery via error handler synthesis","publication_year":2016,"publication_date":"2016-08-25","ids":{"openalex":"https://openalex.org/W2513870881","doi":"https://doi.org/10.1145/2970276.2970360","mag":"2513870881"},"language":"en","primary_location":{"id":"doi:10.1145/2970276.2970360","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970360","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","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/A5024368434","display_name":"Tianxiao Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Tianxiao Gu","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101708632","display_name":"C. P. Sun","orcid":"https://orcid.org/0000-0002-0862-2491"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chengnian Sun","raw_affiliation_strings":["University of California at Davis, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041674680","display_name":"Xiaoxing Ma","orcid":"https://orcid.org/0000-0001-7970-1384"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoxing Ma","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037645622","display_name":"Jian L\u00fc","orcid":"https://orcid.org/0000-0002-7025-7448"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian L\u00fc","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["University of California at Davis, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5024368434"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":3.8557,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.94056305,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"684","last_page":"695"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"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.8469778895378113},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.5518440008163452},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4971478283405304},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4756614565849304},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46643972396850586},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45731306076049805},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.45637616515159607},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4361853003501892},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.41747650504112244},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.346466600894928},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3379843235015869}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8469778895378113},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.5518440008163452},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4971478283405304},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4756614565849304},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46643972396850586},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45731306076049805},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.45637616515159607},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4361853003501892},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.41747650504112244},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.346466600894928},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3379843235015869},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2970276.2970360","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970360","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1455804204","https://openalex.org/W1491676566","https://openalex.org/W1493611000","https://openalex.org/W1525451871","https://openalex.org/W1954816054","https://openalex.org/W1965067965","https://openalex.org/W1969251594","https://openalex.org/W1996636069","https://openalex.org/W2064232673","https://openalex.org/W2071136304","https://openalex.org/W2076719273","https://openalex.org/W2080640552","https://openalex.org/W2098010463","https://openalex.org/W2099866050","https://openalex.org/W2100970777","https://openalex.org/W2106067409","https://openalex.org/W2110137598","https://openalex.org/W2114395851","https://openalex.org/W2122947685","https://openalex.org/W2127229466","https://openalex.org/W2143211847","https://openalex.org/W2145124323","https://openalex.org/W2146741138","https://openalex.org/W2152475836","https://openalex.org/W2153881107","https://openalex.org/W2256600697","https://openalex.org/W2373227884","https://openalex.org/W4251521742"],"related_works":["https://openalex.org/W2060636877","https://openalex.org/W2949424165","https://openalex.org/W2612496691","https://openalex.org/W2391167130","https://openalex.org/W2092071486","https://openalex.org/W4283067488","https://openalex.org/W4240683205","https://openalex.org/W2017132110","https://openalex.org/W1808253285","https://openalex.org/W4291701070"],"abstract_inverted_index":{"Software":[0],"systems":[1,122],"are":[2,165],"often":[3],"subject":[4],"to":[5,37,44,53,83,123,135,159],"unexpected":[6,56,125],"runtime":[7,10,106,115],"errors.":[8,57,126],"Automatic":[9],"recovery":[11],"(ARR)":[12],"techniques":[13,98],"aim":[14],"at":[15],"recovering":[16],"them":[17,23,174],"from":[18,55,171],"erroneous":[19],"states":[20],"and":[21,70,89,105,133,153,156,175],"maintaining":[22],"functional":[24],"in":[25,120],"the":[26,85,111,149],"field.":[27],"This":[28],"paper":[29],"proposes":[30],"Ares":[31,76,144,168],",":[32],"a":[33,46,78],"novel,":[34],"practical":[35,132],"approach":[36,109],"performing":[38],"ARR.":[39],"Our":[40],"key":[41],"insight":[42],"is":[43],"leverage":[45],"system's":[47],"already":[48,118],"built-in":[49],"error":[50,63,68,93,116],"handling":[51],"support":[52],"recover":[54],"To":[58],"this":[59],"end,":[60],"we":[61],"synthesize":[62],"handlers":[64],"via":[65],"two":[66],"methods:":[67],"transformation":[69],"early":[71],"return.":[72],"We":[73,141],"also":[74],"equip":[75],"with":[77],"lightweight":[79,128],"in-vivo":[80],"testing":[81],"infrastructure":[82],"select":[84],"right":[86],"synthesis":[87],"methods":[88],"avoid":[90],"potentially":[91],"dangerous":[92],"handlers.":[94],"Unlike":[95],"existing":[96,119],"ARR":[97],"based":[99],"on":[100,145],"heavyweight":[101],"mechanisms":[102],"(e.g.,":[103],"checkpoint-restart":[104],"monitoring),":[107],"our":[108],"expands":[110],"intrinsic":[112],"capability":[113],"of":[114,147,173],"resilience":[117],"software":[121],"handle":[124],"Ares's":[127],"mechanism":[129],"makes":[130],"it":[131,158],"easy":[134],"be":[136],"integrated":[137],"into":[138],"production":[139],"environments.":[140],"have":[142],"implemented":[143],"top":[146],"both":[148],"Java":[150],"HotSpot":[151],"VM":[152],"Android":[154],"ART,":[155],"applied":[157],"52":[160],"real-world":[161],"bugs.":[162],"The":[163],"results":[164],"promising":[166],"\u2014":[167],"successfully":[169],"recovers":[170],"39":[172],"incurs":[176],"low":[177],"overhead.":[178]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}