{"id":"https://openalex.org/W2297515898","doi":"https://doi.org/10.1145/2892208.2892215","title":"Automatic fault location for data structures","display_name":"Automatic fault location for data structures","publication_year":2016,"publication_date":"2016-03-14","ids":{"openalex":"https://openalex.org/W2297515898","doi":"https://doi.org/10.1145/2892208.2892215","mag":"2297515898"},"language":"en","primary_location":{"id":"doi:10.1145/2892208.2892215","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2892208.2892215","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2892208.2892215?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Conference on Compiler Construction","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2892208.2892215?download=true","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077347805","display_name":"Vineet Kumar Singh","orcid":"https://orcid.org/0000-0002-6220-9737"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vineet Singh","raw_affiliation_strings":["University of California at Riverside, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Riverside, USA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100699251","display_name":"Rajiv Gupta","orcid":"https://orcid.org/0000-0002-9348-3974"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajiv Gupta","raw_affiliation_strings":["University of California at Riverside, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Riverside, USA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012137980","display_name":"Iulian Neamtiu","orcid":"https://orcid.org/0000-0001-9730-9650"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Iulian Neamtiu","raw_affiliation_strings":["New Jersey Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"New Jersey Institute of Technology, USA","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5077347805"],"corresponding_institution_ids":["https://openalex.org/I103635307"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.01565629,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"99","last_page":"109"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994999766349792,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9986000061035156,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8159773349761963},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.805160641670227},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6013583540916443},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5863449573516846},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5735615491867065},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5665493011474609},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3826238811016083},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38214078545570374},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10326814651489258},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09763994812965393}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8159773349761963},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.805160641670227},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6013583540916443},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5863449573516846},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5735615491867065},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5665493011474609},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3826238811016083},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38214078545570374},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10326814651489258},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09763994812965393},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2892208.2892215","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2892208.2892215","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2892208.2892215?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Conference on Compiler Construction","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2892208.2892215","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2892208.2892215","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2892208.2892215?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th International Conference on Compiler Construction","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1561979438","display_name":"SHF: Small: Transformations for Synergistic Analysis of Large Evolving Graphs","funder_award_id":"1524852","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2646760259","display_name":null,"funder_award_id":"CCF-1318103, CCF-1524852","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2940312049","display_name":null,"funder_award_id":"CCF-1318103","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G31502264","display_name":"SHF: Small: Memory Consistency -- Hardware, Compiler, and Programming Support","funder_award_id":"1318103","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4644445246","display_name":"CAREER: Differential Types and Declarative Hypothesis Testing for Software Evolution","funder_award_id":"1149632","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4814955358","display_name":null,"funder_award_id":"CCF-1318103, CCF- 1524852, CCF-1149632","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"},{"id":"https://openalex.org/F4320332550","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2297515898.pdf","grobid_xml":"https://content.openalex.org/works/W2297515898.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W6188780","https://openalex.org/W1523720513","https://openalex.org/W1788180225","https://openalex.org/W1964566177","https://openalex.org/W1994796030","https://openalex.org/W2012431717","https://openalex.org/W2013050211","https://openalex.org/W2040900440","https://openalex.org/W2041756731","https://openalex.org/W2053297758","https://openalex.org/W2056872793","https://openalex.org/W2059247072","https://openalex.org/W2060440626","https://openalex.org/W2098010463","https://openalex.org/W2101819268","https://openalex.org/W2109547380","https://openalex.org/W2110066339","https://openalex.org/W2121204404","https://openalex.org/W2128049346","https://openalex.org/W2134633067","https://openalex.org/W2137008041","https://openalex.org/W2139865986","https://openalex.org/W2144551802","https://openalex.org/W2150593762","https://openalex.org/W2151139698","https://openalex.org/W2162376048","https://openalex.org/W2163164396","https://openalex.org/W2166007208","https://openalex.org/W2170239024","https://openalex.org/W2243801415","https://openalex.org/W2321831709","https://openalex.org/W2499219338","https://openalex.org/W4233319527","https://openalex.org/W4239813889","https://openalex.org/W4240558819","https://openalex.org/W4241947695","https://openalex.org/W4245537216","https://openalex.org/W4250942327"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2480201319","https://openalex.org/W2387706296","https://openalex.org/W2061417947","https://openalex.org/W1510768092","https://openalex.org/W2611003898","https://openalex.org/W2230808081"],"abstract_inverted_index":{"Specification-based":[0],"data":[1,15,27,37,56,69],"structure":[2,16,70],"verification":[3,17],"is":[4],"a":[5,45,79,88],"powerful":[6],"debugging":[7,110],"technique.":[8],"In":[9],"this":[10],"work":[11],"we":[12],"combine":[13],"specification-based":[14],"with":[18],"automatic":[19,82],"detection":[20],"of":[21,44],"faulty":[22,65],"program":[23,59],"statements":[24],"that":[25],"corrupt":[26],"structures.":[28],"The":[29],"user":[30],"specifies":[31],"the":[32,42,113],"consistency":[33],"constraints":[34],"for":[35,68,97],"dynamic":[36],"structures":[38,57],"as":[39],"relationships":[40],"among":[41],"nodes":[43],"memory":[46],"graph.":[47],"Our":[48,72],"system":[49],"detects":[50],"constraint":[51,95,100],"violations":[52],"to":[53,115,122],"identify":[54],"corrupted":[55],"during":[58],"execution":[60],"and":[61,86,102],"then":[62],"automatically":[63],"locates":[64],"code":[66],"responsible":[67],"corruption.":[71],"approach":[73],"offers":[74],"two":[75],"main":[76],"advantages:":[77],"(1)":[78],"highly":[80],"precise":[81],"fault":[83,103,114],"location":[84],"method,":[85],"(2)":[87],"simple":[89],"specification":[90],"language.":[91],"We":[92],"employ":[93],"incremental":[94],"checking":[96],"time":[98],"efficient":[99],"matching":[101],"location.":[104],"On":[105],"average,":[106],"while":[107],"Tarantula":[108],"statistical":[109],"technique":[111,119],"narrows":[112,120],"10":[116],"statements,":[117],"our":[118],"it":[121],"\u2248":[123],"4":[124],"statements..":[125]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}