{"id":"https://openalex.org/W2907636559","doi":"https://doi.org/10.1145/3282517.3282528","title":"Automatic Data Structure Repair usingSeparation Logic","display_name":"Automatic Data Structure Repair usingSeparation Logic","publication_year":2018,"publication_date":"2018-12-28","ids":{"openalex":"https://openalex.org/W2907636559","doi":"https://doi.org/10.1145/3282517.3282528","mag":"2907636559"},"language":"en","primary_location":{"id":"doi:10.1145/3282517.3282528","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3282517.3282528","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-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/A5026055653","display_name":"Guolong Zheng","orcid":"https://orcid.org/0000-0002-1996-2635"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Guolong Zheng","raw_affiliation_strings":["","University of Nebraska\u2014 Lincoln"],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"University of Nebraska\u2014 Lincoln","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060517079","display_name":"Quang Loc Le","orcid":"https://orcid.org/0000-0002-6220-7539"},"institutions":[{"id":"https://openalex.org/I874055015","display_name":"Teesside University","ror":"https://ror.org/03z28gk75","country_code":"GB","type":"education","lineage":["https://openalex.org/I874055015"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Quang Loc Le","raw_affiliation_strings":["Sheridan Communications, Alpha, NJ, USA","Teesside University"],"affiliations":[{"raw_affiliation_string":"Sheridan Communications, Alpha, NJ, USA","institution_ids":[]},{"raw_affiliation_string":"Teesside University","institution_ids":["https://openalex.org/I874055015"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069411288","display_name":"ThanhVu Nguyen","orcid":"https://orcid.org/0000-0002-4255-4592"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"ThanhVu Nguyen","raw_affiliation_strings":["Sheridan Communications, Alpha, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Sheridan Communications, Alpha, NJ, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077895353","display_name":"Quoc-Sang Phan","orcid":"https://orcid.org/0000-0002-1661-044X"},"institutions":[{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Quoc-Sang Phan","raw_affiliation_strings":["Sheridan Communications, Alpha, NJ, USA","Fujitsu Labs. of America"],"affiliations":[{"raw_affiliation_string":"Sheridan Communications, Alpha, NJ, USA","institution_ids":[]},{"raw_affiliation_string":"Fujitsu Labs. of America","institution_ids":["https://openalex.org/I4210094759"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5026055653"],"corresponding_institution_ids":["https://openalex.org/I114395901"],"apc_list":null,"apc_paid":null,"fwci":0.3691,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.66344019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"43","issue":"4","first_page":"66","last_page":"70"},"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.9993000030517578,"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.9993000030517578,"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/T11424","display_name":"Security and Verification in Computing","score":0.9984999895095825,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.998199999332428,"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.7306790947914124},{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.5375902652740479},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5215223431587219},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5129827857017517},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4341250956058502},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41298994421958923},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.35119307041168213},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14478746056556702}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7306790947914124},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.5375902652740479},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5215223431587219},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5129827857017517},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4341250956058502},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41298994421958923},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.35119307041168213},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14478746056556702},{"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3282517.3282528","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3282517.3282528","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},{"id":"pmh:oai:https://research.tees.ac.uk/ws/oai:openaire/67436710-dabf-418e-8e70-372e9db8d915","is_oa":false,"landing_page_url":"https://research.tees.ac.uk/en/publications/67436710-dabf-418e-8e70-372e9db8d915","pdf_url":null,"source":{"id":"https://openalex.org/S4306401198","display_name":"TeesRep (Teesside University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I874055015","host_organization_name":"Teesside University","host_organization_lineage":["https://openalex.org/I874055015"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Zheng, G, Le, Q L, Nguyen, T & Phan, Q-S 2018, 'Automatic Data Structure Repair using Separation Logic', ACM SigSoft Software Engineering Notes . https://doi.org/10.1145/3282517.3282528","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:Publications/67436710-dabf-418e-8e70-372e9db8d915","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401198","display_name":"TeesRep (Teesside University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I874055015","host_organization_name":"Teesside University","host_organization_lineage":["https://openalex.org/I874055015"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W6188780","https://openalex.org/W777621473","https://openalex.org/W1974265510","https://openalex.org/W2045388381","https://openalex.org/W2060440626","https://openalex.org/W2098010463","https://openalex.org/W2102928769","https://openalex.org/W2105899810","https://openalex.org/W2110908283","https://openalex.org/W2122947685","https://openalex.org/W2129884521","https://openalex.org/W2130162474","https://openalex.org/W2137628566","https://openalex.org/W2141656264","https://openalex.org/W2165514688","https://openalex.org/W2284409231","https://openalex.org/W2373227884","https://openalex.org/W2502150621","https://openalex.org/W2571744281","https://openalex.org/W2613252377","https://openalex.org/W2767766265","https://openalex.org/W2780314082","https://openalex.org/W2784656124","https://openalex.org/W2795338679","https://openalex.org/W2809018007","https://openalex.org/W2967523636","https://openalex.org/W3137061681","https://openalex.org/W4243994983","https://openalex.org/W4244999110","https://openalex.org/W4250863065"],"related_works":["https://openalex.org/W2165970356","https://openalex.org/W2033512842","https://openalex.org/W4322734194","https://openalex.org/W1607054433","https://openalex.org/W3005535424","https://openalex.org/W4233600955","https://openalex.org/W2913665393","https://openalex.org/W2994319598","https://openalex.org/W2369695847","https://openalex.org/W2110842462"],"abstract_inverted_index":{"Software":[0],"systems":[1],"are":[2],"often":[3],"shipped":[4],"and":[5,10,20,74,83,104,112,121,155,162],"deployed":[6],"with":[7,33,92],"both":[8],"known":[9],"unknown":[11],"bugs.":[12],"On-the-fly":[13],"program":[14],"repairs,":[15],"which":[16],"handle":[17],"runtime":[18],"errors":[19],"allow":[21],"programs":[22],"to":[23,87,102,119,135],"continue":[24],"successfully,":[25],"can":[26,152],"help":[27],"software":[28],"reliability,":[29],"e.g.,":[30],"by":[31,58],"dealing":[32],"inconsistent":[34,157],"or":[35],"corrupted":[36],"data":[37,77,90,110,126,139,158],"without":[38],"interrupting":[39],"the":[40,89,93],"runni":[41],"program.":[42],"We":[43,128],"report":[44],"on":[45,61],"our":[46],"work-in-progress":[47],"that":[48,79,81,150],"repairs":[49],"dat":[50],"structure":[51,78],"using":[52],"separation":[53,71,98,117,145],"logic.":[54,146],"Our":[55],"technique,":[56],"inspired":[57],"existing":[59,114],"works":[60],"specification-based":[62],"repair,":[63],"takes":[64],"as":[65],"input":[66],"specification":[67],"written":[68],"in":[69,116,124,144],"a":[70,75,131],"logic":[72,99,118],"formula":[73],"concrete":[76],"fails":[80],"specification,":[82],"performs":[84],"on-thefly":[85],"repair":[86,122,136,156],"make":[88],"conforms":[91],"specification.":[94],"The":[95],"use":[96,113],"of":[97,109],"allows":[100],"us":[101],"compactly":[103],"precisely":[105],"represent":[106],"desired":[107],"properties":[108],"structures":[111,140,159],"analyses":[115],"detect":[120,154],"bugs":[123],"complex":[125],"structures.":[127],"have":[129],"developed":[130],"prototype,":[132],"called":[133],"STARFIX,":[134],"invalid":[137],"Java":[138],"violating":[141],"given":[142],"specifications":[143],"Preliminary":[147],"results":[148],"show":[149],"tool":[151],"efficiently":[153],"including":[160],"lists":[161],"trees.":[163]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}