{"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","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2254064.2254091","pdf_url":null,"source":null,"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"},"type":"article","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"},"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":true,"raw_author_name":"Aws Albarghouthi","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"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"},"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"],"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":null},"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"]},{"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":["IN","US"],"is_corresponding":false,"raw_author_name":"Aditya V. Nori","raw_affiliation_strings":["Microsoft Research, Bangalore, India","Microsoft Research, Bangalore, India#TAB#"],"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/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076139746","display_name":"Sriram K. Rajamani","orcid":"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"]},{"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":["IN","US"],"is_corresponding":false,"raw_author_name":"Sriram K. Rajamani","raw_affiliation_strings":["Microsoft Research, Bangalore, India","Microsoft Research, Bangalore, India#TAB#"],"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/I1290206253"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5050593520"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":5.0943,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.95584213,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.8961451053619385},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.8095723986625671},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7073683738708496},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.667082667350769},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.6402761340141296},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5800142884254456},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5792418718338013},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5595041513442993},{"id":"https://openalex.org/keywords/top-down-and-bottom-up-design","display_name":"Top-down and bottom-up design","score":0.5090162754058838},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.479004830121994},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.43221014738082886},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4160844683647156},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36877480149269104},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1411857306957245}],"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","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2254064.2254091","pdf_url":null,"source":null,"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":[],"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/W2867457158","https://openalex.org/W3089825636","https://openalex.org/W1567493346","https://openalex.org/W3003055204","https://openalex.org/W2545238856","https://openalex.org/W3120011499","https://openalex.org/W2955524408","https://openalex.org/W2737936389","https://openalex.org/W2468260040","https://openalex.org/W2573637329"],"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":2},{"year":2023,"cited_by_count":2},{"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":7},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}