{"id":"https://openalex.org/W1994702126","doi":"https://doi.org/10.1145/2610384.2610395","title":"ARC++: effective typestate and lifetime dependency analysis","display_name":"ARC++: effective typestate and lifetime dependency analysis","publication_year":2014,"publication_date":"2014-07-11","ids":{"openalex":"https://openalex.org/W1994702126","doi":"https://doi.org/10.1145/2610384.2610395","mag":"1994702126"},"language":"en","primary_location":{"id":"doi:10.1145/2610384.2610395","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2610384.2610395","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2610384.2610395","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 International Symposium on Software Testing and Analysis","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/2610384.2610395","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012621594","display_name":"Xusheng Xiao","orcid":"https://orcid.org/0000-0003-4797-4294"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xusheng Xiao","raw_affiliation_strings":["NEC Labs, USA / North Carolina State University, USA","NEC Labs, USA / North Carolina State University, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"NEC Labs, USA / North Carolina State University, USA","institution_ids":["https://openalex.org/I137902535"]},{"raw_affiliation_string":"NEC Labs, USA / North Carolina State University, USA#TAB#","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085937852","display_name":"Gogul Balakrishnan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gogul Balakrishnan","raw_affiliation_strings":["NEC Labs, USA"],"affiliations":[{"raw_affiliation_string":"NEC Labs, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020028377","display_name":"Franjo Ivan\u010di\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Franjo Ivan\u010di\u0107","raw_affiliation_strings":["Google, USA"],"affiliations":[{"raw_affiliation_string":"Google, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104327386","display_name":"Naoto Maeda","orcid":null},"institutions":[{"id":"https://openalex.org/I118347220","display_name":"NEC (Japan)","ror":"https://ror.org/04jndar25","country_code":"JP","type":"company","lineage":["https://openalex.org/I118347220"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Naoto Maeda","raw_affiliation_strings":["NEC, Japan"],"affiliations":[{"raw_affiliation_string":"NEC, Japan","institution_ids":["https://openalex.org/I118347220"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041231710","display_name":"Aarti Gupta","orcid":"https://orcid.org/0000-0001-6676-9400"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aarti Gupta","raw_affiliation_strings":["NEC Labs, USA"],"affiliations":[{"raw_affiliation_string":"NEC Labs, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072152417","display_name":"Deepak Chhetri","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Deepak Chhetri","raw_affiliation_strings":["NEC, India"],"affiliations":[{"raw_affiliation_string":"NEC, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5012621594"],"corresponding_institution_ids":["https://openalex.org/I137902535"],"apc_list":null,"apc_paid":null,"fwci":0.8085,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81082164,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"116","last_page":"126"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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.9991999864578247,"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/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/T12127","display_name":"Software System Performance and Reliability","score":0.9988999962806702,"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.8797461986541748},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6366075277328491},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6316326856613159},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6301634311676025},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6136953830718994},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5867559313774109},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5441216230392456},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5226016640663147},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.4727809429168701},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4506915509700775},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4389028549194336},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.42950087785720825},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.4266311526298523},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.42102915048599243},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33118459582328796},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.26555541157722473},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19463148713111877}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8797461986541748},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6366075277328491},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6316326856613159},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6301634311676025},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6136953830718994},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5867559313774109},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5441216230392456},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5226016640663147},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.4727809429168701},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4506915509700775},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4389028549194336},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.42950087785720825},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.4266311526298523},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.42102915048599243},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33118459582328796},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.26555541157722473},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19463148713111877},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2610384.2610395","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2610384.2610395","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2610384.2610395","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2610384.2610395","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2610384.2610395","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2610384.2610395","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1994702126.pdf","grobid_xml":"https://content.openalex.org/works/W1994702126.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W84258820","https://openalex.org/W129182997","https://openalex.org/W1511982475","https://openalex.org/W1545615987","https://openalex.org/W1679358649","https://openalex.org/W1710734607","https://openalex.org/W1889944642","https://openalex.org/W1986453394","https://openalex.org/W1989293671","https://openalex.org/W1993836075","https://openalex.org/W2006485996","https://openalex.org/W2013999503","https://openalex.org/W2020850585","https://openalex.org/W2043100293","https://openalex.org/W2044590882","https://openalex.org/W2048335168","https://openalex.org/W2054520963","https://openalex.org/W2062705593","https://openalex.org/W2062838583","https://openalex.org/W2068810256","https://openalex.org/W2080573945","https://openalex.org/W2082000355","https://openalex.org/W2091712774","https://openalex.org/W2092282367","https://openalex.org/W2096449544","https://openalex.org/W2107089133","https://openalex.org/W2107709519","https://openalex.org/W2115489612","https://openalex.org/W2121523780","https://openalex.org/W2131135493","https://openalex.org/W2134311998","https://openalex.org/W2135274583","https://openalex.org/W2145458045","https://openalex.org/W2153185479","https://openalex.org/W2156881251","https://openalex.org/W2162422574","https://openalex.org/W4231518425","https://openalex.org/W4237492309","https://openalex.org/W6603429302"],"related_works":["https://openalex.org/W1508927144","https://openalex.org/W111020846","https://openalex.org/W2020973245","https://openalex.org/W2289630902","https://openalex.org/W4297908618","https://openalex.org/W48604291","https://openalex.org/W2081659623","https://openalex.org/W1531033207","https://openalex.org/W4285814480","https://openalex.org/W2099473014"],"abstract_inverted_index":{"The":[0],"ever-increasing":[1],"reliance":[2],"of":[3,20,59,101,111,123],"today's":[4],"society":[5],"on":[6,55,119],"software":[7],"requires":[8],"scalable":[9,38],"and":[10,18,34,44,78,114],"precise":[11],"techniques":[12,113],"for":[13,42],"checking":[14],"the":[15,56,97],"correctness,":[16],"reliability,":[17],"robustness":[19],"software.":[21,125],"Object-oriented":[22],"languages":[23],"have":[24,46],"been":[25,47,51],"used":[26],"extensively":[27],"to":[28,70,94],"build":[29],"large-scale":[30],"systems,":[31],"including":[32],"Java":[33,45],"C++.":[35,105],"While":[36],"many":[37],"static":[39,57],"analysis":[40,58,86],"approaches":[41],"C":[43],"proposed,":[48],"there":[49],"has":[50],"comparatively":[52],"little":[53],"work":[54],"C++":[60,72],"programs.":[61],"In":[62],"this":[63],"paper,":[64],"we":[65,82,107],"provide":[66],"an":[67,109],"abstract":[68],"representation":[69],"model":[71],"objects,":[73],"containers,":[74],"references,":[75],"raw":[76],"pointers,":[77],"smart":[79],"pointers.":[80],"Further,":[81],"present":[83,115],"a":[84,120],"new":[85],"called":[87],"lifetime":[88,99],"dependency":[89],"analysis,":[90],"which":[91],"allows":[92],"us":[93],"precisely":[95],"track":[96],"complex":[98],"semantics":[100],"temporary":[102],"objects":[103],"in":[104],"Finally,":[106],"propose":[108],"implementation":[110],"our":[112],"promising":[116],"%experimental":[117],"results":[118],"large":[121],"variety":[122],"open-source":[124]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}