{"id":"https://openalex.org/W7167055558","doi":"https://doi.org/10.1109/saner67736.2026.00113","title":"Symbolic Analysis for Repairing Bugs in Concurrent Persistent-Memory Programs","display_name":"Symbolic Analysis for Repairing Bugs in Concurrent Persistent-Memory Programs","publication_year":2026,"publication_date":"2026-03-17","ids":{"openalex":"https://openalex.org/W7167055558","doi":"https://doi.org/10.1109/saner67736.2026.00113"},"language":null,"primary_location":{"id":"doi:10.1109/saner67736.2026.00113","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saner67736.2026.00113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","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/A5068403286","display_name":"Tooba Khan","orcid":"https://orcid.org/0000-0001-5784-6443"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tooba Khan","raw_affiliation_strings":["University of Southern California,Los Angeles,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern California,Los Angeles,USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139893596","display_name":"Srivatsan Ravi","orcid":null},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Srivatsan Ravi","raw_affiliation_strings":["University of Southern California,Los Angeles,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern California,Los Angeles,USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5139889860","display_name":"Chao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chao Wang","raw_affiliation_strings":["University of Southern California,Los Angeles,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern California,Los Angeles,USA","institution_ids":["https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1174212"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.87351124,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"969","last_page":"980"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.33660000562667847,"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"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.33660000562667847,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.21209999918937683,"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/T12029","display_name":"DNA and Biological Computing","score":0.06319999694824219,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4487999975681305},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.39820000529289246},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.3765999972820282},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.366100013256073},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.28220000863075256},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.25769999623298645}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6191999912261963},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5253999829292297},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4487999975681305},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.39820000529289246},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.3765999972820282},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.366100013256073},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33390000462532043},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2856999933719635},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.25769999623298645},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.25540000200271606},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/saner67736.2026.00113","is_oa":false,"landing_page_url":"https://doi.org/10.1109/saner67736.2026.00113","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6761706106","display_name":"Collaborative Research: FMitF: Track I: A Principled Approach to Modeling and Analysis of Hardware Fault Attacks on Embedded Software","funder_award_id":"2220345","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W103567565","https://openalex.org/W1480909796","https://openalex.org/W1522334395","https://openalex.org/W1534277908","https://openalex.org/W1534988187","https://openalex.org/W1581214603","https://openalex.org/W1588615233","https://openalex.org/W1883733964","https://openalex.org/W1935259232","https://openalex.org/W2013560272","https://openalex.org/W2046368282","https://openalex.org/W2047068447","https://openalex.org/W2161466480","https://openalex.org/W2163164396","https://openalex.org/W2380139570","https://openalex.org/W2396908459","https://openalex.org/W2740343870","https://openalex.org/W2795857730","https://openalex.org/W2888262223","https://openalex.org/W2932327194","https://openalex.org/W2975438130","https://openalex.org/W2996634758","https://openalex.org/W3011346478","https://openalex.org/W3129269689","https://openalex.org/W3152739133","https://openalex.org/W3154878207","https://openalex.org/W3155524054","https://openalex.org/W3156311497","https://openalex.org/W3205042639","https://openalex.org/W4212894445","https://openalex.org/W4214579574","https://openalex.org/W4221061729","https://openalex.org/W4225669776","https://openalex.org/W4239035626","https://openalex.org/W4240558819","https://openalex.org/W4244452926","https://openalex.org/W4246166885","https://openalex.org/W4256377773","https://openalex.org/W4281975372","https://openalex.org/W4394769539","https://openalex.org/W4403536069","https://openalex.org/W7125939129"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2026-07-03T00:00:00"}