{"id":"https://openalex.org/W2010570907","doi":"https://doi.org/10.1145/2254064.2254091","title":"Parallelizing top-down interprocedural analyses","display_name":"Parallelizing top-down interprocedural analyses","publication_year":2012,"publication_date":"2012-06-11","ids":{"openalex":"https://openalex.org/W2010570907","doi":"https://doi.org/10.1145/2254064.2254091","mag":"2010570907"},"language":"en","primary_location":{"id":"doi:10.1145/2254064.2254091","doi":"https://doi.org/10.1145/2254064.2254091","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2254064.2254091","pdf_url":null,"source":{"id":"https://openalex.org/S4393917474","display_name":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","issn_l":"1531-7102","issn":["1531-7102"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5050593520","display_name":"Aws Albarghouthi","orcid":"https://orcid.org/0000-0003-4577-175X","observed_orcids":["https://orcid.org/0000-0003-4577-175X"]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Aws Albarghouthi","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077585432","display_name":"Rahul Kumar","orcid":"https://orcid.org/0000-0001-6183-5982","observed_orcids":["https://orcid.org/0000-0001-6183-5982"]},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rahul Kumar","raw_affiliation_strings":["Microsoft Corporation, Redmond, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Corporation, Redmond, WA, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111937381","display_name":"Aditya V. Nori","orcid":"https://orcid.org/0000-0002-9481-5539","observed_orcids":["https://orcid.org/0000-0002-9481-5539"]},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Aditya V. Nori","raw_affiliation_strings":["Microsoft Research, Bangalore, India","Microsoft Research, Bangalore, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research, Bangalore, India#TAB#","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076139746","display_name":"Sriram K. Rajamani","orcid":"https://orcid.org/0000-0002-1400-7065","observed_orcids":["https://orcid.org/0000-0002-1400-7065"]},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sriram K. Rajamani","raw_affiliation_strings":["Microsoft Research, Bangalore, India","Microsoft Research, Bangalore, India#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research, Bangalore, India#TAB#","institution_ids":["https://openalex.org/I4210124949"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2031,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.88343342,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"217","last_page":"228"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9682999849319458,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9682999849319458,"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/T10142","display_name":"Formal Methods in Verification","score":0.012500000186264515,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.009499999694526196,"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/interprocedural-analysis","display_name":"interprocedural analysis","score":0.9750000238418579},{"id":"https://openalex.org/keywords/parallel-program-analysis","display_name":"parallel program analysis","score":0.7609999775886536},{"id":"https://openalex.org/keywords/call-graph","display_name":"call graph","score":0.847000002861023},{"id":"https://openalex.org/keywords/software-model-checking","display_name":"software model checking","score":0.7020000219345093},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.6169999837875366},{"id":"https://openalex.org/keywords/scalability","display_name":"scalability","score":0.7440000176429749}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8961451053619385},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.8095723986625671},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7073683738708496},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.667082667350769},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.6402761340141296},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5800142884254456},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5792418718338013},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5595041513442993},{"id":"https://openalex.org/C135798126","wikidata":"https://www.wikidata.org/wiki/Q2167279","display_name":"Top-down and bottom-up design","level":2,"score":0.5090162754058838},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.479004830121994},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.43221014738082886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4160844683647156},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36877480149269104},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1411857306957245},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"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":1,"locations":[{"id":"doi:10.1145/2254064.2254091","doi":"https://doi.org/10.1145/2254064.2254091","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2254064.2254091","pdf_url":null,"source":{"id":"https://openalex.org/S4393917474","display_name":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","issn_l":"1531-7102","issn":["1531-7102"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W107427404","https://openalex.org/W157156687","https://openalex.org/W1003143028","https://openalex.org/W1013105108","https://openalex.org/W1480909796","https://openalex.org/W1493893823","https://openalex.org/W1497571013","https://openalex.org/W1504165437","https://openalex.org/W1513882041","https://openalex.org/W1535237014","https://openalex.org/W1542276877","https://openalex.org/W1565898282","https://openalex.org/W1577404745","https://openalex.org/W1579329775","https://openalex.org/W1586497944","https://openalex.org/W1589989893","https://openalex.org/W1638562274","https://openalex.org/W1691700263","https://openalex.org/W1706293345","https://openalex.org/W1879823367","https://openalex.org/W1963031538","https://openalex.org/W1966982815","https://openalex.org/W1975878264","https://openalex.org/W2009489720","https://openalex.org/W2040060046","https://openalex.org/W2045461760","https://openalex.org/W2087046173","https://openalex.org/W2096449544","https://openalex.org/W2102005460","https://openalex.org/W2105357036","https://openalex.org/W2105614525","https://openalex.org/W2107794009","https://openalex.org/W2110503149","https://openalex.org/W2132093657","https://openalex.org/W2133612077","https://openalex.org/W2134875273","https://openalex.org/W2139498310","https://openalex.org/W2139668965","https://openalex.org/W2139808952","https://openalex.org/W2140809377","https://openalex.org/W2148821745","https://openalex.org/W2153822668","https://openalex.org/W2158395308","https://openalex.org/W2162284942","https://openalex.org/W2168498016","https://openalex.org/W2173213060","https://openalex.org/W2224003411","https://openalex.org/W2240467438","https://openalex.org/W2248613449","https://openalex.org/W2249031318","https://openalex.org/W2293312698","https://openalex.org/W2293685560","https://openalex.org/W2295903414","https://openalex.org/W2395146092","https://openalex.org/W3104041356","https://openalex.org/W4231586329","https://openalex.org/W4237492309","https://openalex.org/W4242057943","https://openalex.org/W4245640662","https://openalex.org/W4246385123"],"related_works":["https://openalex.org/W7100302985","https://openalex.org/W1781036774","https://openalex.org/W7097677975","https://openalex.org/W2998963962","https://openalex.org/W3182551951","https://openalex.org/W7095975172","https://openalex.org/W3098591858","https://openalex.org/W2124535049","https://openalex.org/W3089510663","https://openalex.org/W1579191988"],"abstract_inverted_index":{"Modularity":[0],"is":[1,17],"a":[2,14,29,48,85],"central":[3],"theme":[4],"in":[5,13,73,102,111],"any":[6],"scalable":[7],"program":[8,50],"analysis.":[9],"The":[10],"core":[11],"idea":[12],"modular":[15,49],"analysis":[16,59,87],"to":[18,31,46,124],"build":[19],"summaries":[20],"at":[21,38],"procedure":[22,30,72,101],"boundaries,":[23],"and":[24,54,69,79,96,113,126],"use":[25],"the":[26,33,63,66,74,90,93],"summary":[27],"of":[28,35,65,92],"analyze":[32],"effect":[34],"calling":[36,40,77,104],"it":[37],"its":[39,81,103],"context.":[41,105],"There":[42],"are":[43],"two":[44],"ways":[45],"perform":[47],"analysis:":[51],"(1)":[52],"top-down":[53,86,129],"(2)":[55],"bottomup.":[56],"A":[57],"bottom-up":[58,119],"proceeds":[60,97],"upwards":[61],"from":[62,89],"leaves":[64],"call":[67,94],"graph,":[68,95],"analyzes":[70],"each":[71,100],"most":[75],"general":[76],"context":[78],"builds":[80],"summary.":[82],"In":[83],"contrast,":[84],"starts":[88],"root":[91],"downward,":[98],"analyzing":[99],"Top-down":[106],"analyses":[107,120],"have":[108,121],"several":[109],"applications":[110],"verification":[112],"software":[114],"model":[115],"checking.":[116],"However,":[117],"traditionally,":[118],"been":[122],"easier":[123],"scale":[125],"parallelize":[127],"than":[128],"analyses.":[130]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}