{"id":"https://openalex.org/W2567537733","doi":"https://doi.org/10.1145/3009837.3009881","title":"Semantic-directed clumping of disjunctive abstract states","display_name":"Semantic-directed clumping of disjunctive abstract states","publication_year":2016,"publication_date":"2016-12-22","ids":{"openalex":"https://openalex.org/W2567537733","doi":"https://doi.org/10.1145/3009837.3009881","mag":"2567537733"},"language":"en","primary_location":{"id":"doi:10.1145/3009837.3009881","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009881","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01648679/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069027830","display_name":"Huisong Li","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Huisong Li","raw_affiliation_strings":["Inria, France / CNRS, France / ENS, France"],"affiliations":[{"raw_affiliation_string":"Inria, France / CNRS, France / ENS, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071115328","display_name":"Francois Berenger","orcid":"https://orcid.org/0000-0003-1377-944X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Francois Berenger","raw_affiliation_strings":["Inria, France / CNRS, France / ENS, France"],"affiliations":[{"raw_affiliation_string":"Inria, France / CNRS, France / ENS, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048756174","display_name":"Bor-Yuh Evan Chang","orcid":"https://orcid.org/0000-0002-1954-0774"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bor-Yuh Evan Chang","raw_affiliation_strings":["University of Colorado at Boulder, USA","University of Colorado [Boulder] (Boulder, Colorado 80309 - United States)"],"affiliations":[{"raw_affiliation_string":"University of Colorado at Boulder, USA","institution_ids":["https://openalex.org/I188538660"]},{"raw_affiliation_string":"University of Colorado [Boulder] (Boulder, Colorado 80309 - United States)","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037983866","display_name":"Xavier Rival","orcid":"https://orcid.org/0000-0002-2875-6171"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Xavier Rival","raw_affiliation_strings":["Inria, France / CNRS, France / ENS, France"],"affiliations":[{"raw_affiliation_string":"Inria, France / CNRS, France / ENS, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5069027830"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":2.0717,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.90804692,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"32","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9907000064849854,"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/T10044","display_name":"Protein Structure and Dynamics","score":0.9836000204086304,"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/merge","display_name":"Merge (version control)","score":0.7995444536209106},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7957170009613037},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6077020168304443},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4766450822353363},{"id":"https://openalex.org/keywords/silhouette","display_name":"Silhouette","score":0.4623798727989197},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4318062365055084},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3928624093532562},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29921019077301025},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.1492553949356079},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.09816393256187439}],"concepts":[{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.7995444536209106},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7957170009613037},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6077020168304443},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4766450822353363},{"id":"https://openalex.org/C58103923","wikidata":"https://www.wikidata.org/wiki/Q2286025","display_name":"Silhouette","level":2,"score":0.4623798727989197},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4318062365055084},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3928624093532562},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29921019077301025},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.1492553949356079},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.09816393256187439},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3009837.3009881","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009881","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01648679v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01648679","pdf_url":"https://inria.hal.science/hal-01648679/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩","raw_type":"Conference papers"},{"id":"pmh:oai:zenodo.org:1452123","is_oa":true,"landing_page_url":"https://zenodo.org/record/1452123","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01648679v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01648679","pdf_url":"https://inria.hal.science/hal-01648679/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2717160041","display_name":null,"funder_award_id":"CCF-1055066","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3252805542","display_name":"Combined Model-based Analysis and Testing of Embedded Systems","funder_award_id":"269335","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3829048491","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4104599821","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4687067123","display_name":"Memory Compositional Abstract Domains:\nCertification of Memory Intensive Critical Softwares","funder_award_id":"278673","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5593277320","display_name":null,"funder_award_id":"2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5702163051","display_name":null,"funder_award_id":"FP7/2007","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6384370850","display_name":"CAREER:  Cooperative Program Analysis:  Bridging the Gap Between User and Tool Reasoning","funder_award_id":"1055066","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/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2567537733.pdf"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W134837158","https://openalex.org/W165467913","https://openalex.org/W189388903","https://openalex.org/W1494199306","https://openalex.org/W1508482211","https://openalex.org/W1508811155","https://openalex.org/W1539066757","https://openalex.org/W1557880268","https://openalex.org/W1582451030","https://openalex.org/W1584436405","https://openalex.org/W1592791534","https://openalex.org/W1844529821","https://openalex.org/W1954117780","https://openalex.org/W1991837261","https://openalex.org/W2013050211","https://openalex.org/W2014764321","https://openalex.org/W2015362443","https://openalex.org/W2028284083","https://openalex.org/W2043100293","https://openalex.org/W2043541593","https://openalex.org/W2044870852","https://openalex.org/W2081810835","https://openalex.org/W2111513472","https://openalex.org/W2121457325","https://openalex.org/W2122745100","https://openalex.org/W2128963089","https://openalex.org/W2130078434","https://openalex.org/W2130162474","https://openalex.org/W2132251441","https://openalex.org/W2135322712","https://openalex.org/W2136535855","https://openalex.org/W2137628566","https://openalex.org/W2164915303","https://openalex.org/W2170736936","https://openalex.org/W2243989980","https://openalex.org/W3100198463","https://openalex.org/W4230509083","https://openalex.org/W4235733131","https://openalex.org/W4252599801","https://openalex.org/W4285719527","https://openalex.org/W6629588220","https://openalex.org/W6635298917","https://openalex.org/W6638687553","https://openalex.org/W6676788785","https://openalex.org/W6679562161"],"related_works":["https://openalex.org/W1622964048","https://openalex.org/W30315714","https://openalex.org/W1965274140","https://openalex.org/W779885325","https://openalex.org/W2150972844","https://openalex.org/W2393615320","https://openalex.org/W3110435694","https://openalex.org/W2185145003","https://openalex.org/W2001760863","https://openalex.org/W2040913581"],"abstract_inverted_index":{"To":[0],"infer":[1],"complex":[2],"structural":[3],"invariants,":[4],"shape":[5],"analyses":[6,16],"rely":[7],"on":[8,125,187],"expressive":[9],"families":[10],"of":[11,23,26,39,58,100,136,143,146],"logical":[12],"properties.":[13],"Many":[14],"such":[15],"manipulate":[17],"abstract":[18,40,122],"memory":[19,41,147],"states":[20,42,123],"that":[21,161,168],"consist":[22],"separating":[24,144],"conjunctions":[25],"basic":[27],"predicates":[28,148],"describing":[29],"atomic":[30],"blocks":[31],"or":[32],"summaries.":[33,151],"Moreover,":[34],"they":[35],"use":[36,98],"finite":[37],"disjunctions":[38],"in":[43,180],"order":[44],"to":[45,64,76,81,106,110,120,132,140,155,174],"account":[46],"for":[47,55,89,93,171],"dissimilar":[48],"shapes.":[49],"Disjunctions":[50],"should":[51],"be":[52],"kept":[53],"small":[54],"the":[56,90,94,133,141,165,172,181],"sake":[57],"scalability,":[59],"though":[60],"precision":[61,91],"often":[62],"requires":[63],"keep":[65],"additional":[66],"case":[67,78,166],"splits.":[68],"In":[69,112],"this":[70,113,178],"context,":[71],"deciding":[72],"when":[73],"and":[74,80,92,108,158,184,203],"how":[75],"merge":[77],"splits":[79,167],"replace":[82],"them":[83],"with":[84,197],"summaries":[85],"is":[86],"critical":[87],"both":[88],"efficiency.":[95],"Existing":[96],"techniques":[97],"sets":[99],"syntactic":[101],"rules,":[102],"which":[103,128],"are":[104,169],"tedious":[105],"design":[107,116],"prone":[109],"failure.":[111],"paper,":[114],"we":[115],"a":[117],"semantic":[118],"criterion":[119],"clump":[121],"based":[124],"their":[126],"silhouette":[127],"applies":[129],"not":[130],"only":[131],"conservative":[134],"union":[135,157],"disjuncts,":[137],"but":[138],"also":[139],"weakening":[142],"conjunction":[145],"into":[149],"inductive":[150],"Our":[152],"approach":[153,179],"allows":[154],"define":[156],"widening":[159],"operators":[160],"aim":[162],"at":[163],"preserving":[164],"required":[170],"analysis":[173],"succeed.":[175],"We":[176],"implement":[177],"MemCAD":[182],"analyzer,":[183],"evaluate":[185],"it":[186],"real-world":[188],"C":[189],"codes":[190],"from":[191],"existing":[192],"libraries,":[193],"including":[194],"programs":[195],"dealing":[196],"doubly":[198],"linked":[199],"lists,":[200],"red-black":[201],"trees":[202],"AVL-trees.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}