{"id":"https://openalex.org/W2739909123","doi":"https://doi.org/10.1145/3106237.3106261","title":"Toward full elasticity in distributed static analysis: the case of callgraph analysis","display_name":"Toward full elasticity in distributed static analysis: the case of callgraph analysis","publication_year":2017,"publication_date":"2017-08-02","ids":{"openalex":"https://openalex.org/W2739909123","doi":"https://doi.org/10.1145/3106237.3106261","mag":"2739909123"},"language":"en","primary_location":{"id":"doi:10.1145/3106237.3106261","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106237.3106261","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering","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/A5047743678","display_name":"Diego Garbervetsky","orcid":"https://orcid.org/0000-0003-4180-7196"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Diego Garbervetsky","raw_affiliation_strings":["University of Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"University of Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074398638","display_name":"Edgardo Zoppi","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Edgardo Zoppi","raw_affiliation_strings":["University of Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"University of Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068390911","display_name":"Benjamin Livshits","orcid":"https://orcid.org/0000-0002-4921-8452"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Benjamin Livshits","raw_affiliation_strings":["Imperial College London, UK"],"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5047743678"],"corresponding_institution_ids":["https://openalex.org/I24354313"],"apc_list":null,"apc_paid":null,"fwci":2.9291,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.92641981,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"442","last_page":"453"},"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.9994000196456909,"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.9994000196456909,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9990000128746033,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.8713470697402954},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.7498310804367065},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.7129940390586853},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7086546421051025},{"id":"https://openalex.org/keywords/elasticity","display_name":"Elasticity (physics)","score":0.586740255355835},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.5323057174682617},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.5113165378570557},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5103909373283386},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.5053930282592773},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.43815919756889343},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.42828452587127686},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.42277786135673523},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.375744491815567},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3468564748764038},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31009936332702637},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20066747069358826}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8713470697402954},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7498310804367065},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.7129940390586853},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7086546421051025},{"id":"https://openalex.org/C121854251","wikidata":"https://www.wikidata.org/wiki/Q62932","display_name":"Elasticity (physics)","level":2,"score":0.586740255355835},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.5323057174682617},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.5113165378570557},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5103909373283386},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.5053930282592773},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.43815919756889343},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.42828452587127686},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.42277786135673523},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.375744491815567},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3468564748764038},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31009936332702637},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20066747069358826},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3106237.3106261","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106237.3106261","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W170123544","https://openalex.org/W777621473","https://openalex.org/W1557543533","https://openalex.org/W1974608873","https://openalex.org/W1989062489","https://openalex.org/W1989357464","https://openalex.org/W1989479444","https://openalex.org/W1999517284","https://openalex.org/W2000194923","https://openalex.org/W2010570907","https://openalex.org/W2017971446","https://openalex.org/W2024818492","https://openalex.org/W2035688359","https://openalex.org/W2051600169","https://openalex.org/W2064296229","https://openalex.org/W2072794470","https://openalex.org/W2077337386","https://openalex.org/W2102005460","https://openalex.org/W2110833886","https://openalex.org/W2113766267","https://openalex.org/W2117426803","https://openalex.org/W2117642462","https://openalex.org/W2119414210","https://openalex.org/W2124377830","https://openalex.org/W2126431973","https://openalex.org/W2131135493","https://openalex.org/W2134569009","https://openalex.org/W2140021378","https://openalex.org/W2142890871","https://openalex.org/W2149237601","https://openalex.org/W2153578567","https://openalex.org/W2154557525","https://openalex.org/W2158047578","https://openalex.org/W2158600037","https://openalex.org/W2170616854","https://openalex.org/W2470389720","https://openalex.org/W2604520577","https://openalex.org/W3001317749","https://openalex.org/W3147482974","https://openalex.org/W3151918736","https://openalex.org/W4248889516"],"related_works":["https://openalex.org/W3089825636","https://openalex.org/W2913797084","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":{"In":[0],"this":[1,85,142],"paper":[2,143],"we":[3,66,135,184,197,208],"present":[4],"the":[5,22,25,32,40,61,118,138,169,180,191,200,212],"design":[6],"and":[7,36,56,129],"implementation":[8,116],"of":[9,24,51,63,117,126,155,163,175,179,193,221],"a":[10,45,49,69,78,109,124,218],"distributed,":[11],"whole-program":[12],"static":[13,106],"analysis":[14,73,107,122,139,170,201],"framework":[15],"that":[16,83,88,149,168,199,210],"is":[17,29,37,87,144],"designed":[18],"to":[19,104,146],"scale":[20],"with":[21,217],"size":[23],"input.":[26],"Our":[27,42,165],"approach":[28],"based":[30],"on":[31,44,108],"actor":[33],"programming":[34],"model":[35],"deployed":[38],"in":[39,77,141,158,173],"cloud.":[41],"reliance":[43],"cloud":[46],"cluster":[47],"provides":[48],"degree":[50],"elasticity":[52],"for":[53],"CPU,":[54],"memory,":[55],"storage":[57],"resources.":[58],"To":[59,132],"demonstrate":[60,136,209],"potential":[62],"our":[64,115],"technique,":[65],"show":[67,133,167],"how":[68,137],"typical":[70],"call":[71,120],"graph":[72,121],"can":[74,214],"be":[75,102,215],"implemented":[76],"distributed":[79,119],"setting.":[80],"The":[81],"vision":[82],"motivates":[84],"work":[86],"every":[89],"large-scale":[90],"software":[91],"repository":[92],"such":[93],"as":[94,183,205],"GitHub,":[95],"BitBucket,":[96],"or":[97],"Visual":[98],"Studio":[99],"Online":[100],"will":[101],"able":[103,145],"perform":[105],"large":[110],"scale.":[111],"We":[112],"experimentally":[113],"validate":[114],"using":[123],"combination":[125],"both":[127],"synthetic":[128],"real":[130],"benchmarks.":[131],"scalability,":[134],"presented":[140],"handle":[147],"inputs":[148],"are":[150],"almost":[151],"10":[152],"million":[153],"lines":[154],"code":[156],"(LOC)":[157],"size,":[159,182],"without":[160],"running":[161],"out":[162],"memory.":[164],"results":[166,213],"scales":[171],"well":[172],"terms":[174],"memory":[176],"pressure":[177],"independently":[178],"input":[181],"add":[185],"more":[186],"virtual":[187],"machines":[188],"(VMs).":[189],"As":[190],"number":[192],"worker":[194],"VMs":[195],"increases,":[196],"observe":[198],"time":[202],"generally":[203],"improves":[204],"well.":[206],"Lastly,":[207],"querying":[211],"performed":[216],"median":[219],"latency":[220],"15":[222],"ms.":[223]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}