{"id":"https://openalex.org/W2533284009","doi":"https://doi.org/10.1145/2983990.2984023","title":"Accelerating program analyses by cross-program training","display_name":"Accelerating program analyses by cross-program training","publication_year":2016,"publication_date":"2016-10-19","ids":{"openalex":"https://openalex.org/W2533284009","doi":"https://doi.org/10.1145/2983990.2984023","mag":"2533284009"},"language":"en","primary_location":{"id":"doi:10.1145/2983990.2984023","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2983990.2984023","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2984023&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2984023&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007937517","display_name":"Sulekha Kulkarni","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]},{"id":"https://openalex.org/I2800444561","display_name":"Atlanta Technical College","ror":"https://ror.org/01s3vfp47","country_code":"US","type":"education","lineage":["https://openalex.org/I2800444561"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sulekha Kulkarni","raw_affiliation_strings":["Georgia Tech, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Tech, USA","institution_ids":["https://openalex.org/I2800444561","https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002052018","display_name":"Ravi Mangal","orcid":"https://orcid.org/0000-0001-6267-6995"},"institutions":[{"id":"https://openalex.org/I2800444561","display_name":"Atlanta Technical College","ror":"https://ror.org/01s3vfp47","country_code":"US","type":"education","lineage":["https://openalex.org/I2800444561"]},{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ravi Mangal","raw_affiliation_strings":["Georgia Tech, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Tech, USA","institution_ids":["https://openalex.org/I2800444561","https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100327604","display_name":"Xin Zhang","orcid":"https://orcid.org/0000-0003-3416-839X"},"institutions":[{"id":"https://openalex.org/I2800444561","display_name":"Atlanta Technical College","ror":"https://ror.org/01s3vfp47","country_code":"US","type":"education","lineage":["https://openalex.org/I2800444561"]},{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xin Zhang","raw_affiliation_strings":["Georgia Tech, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Tech, USA","institution_ids":["https://openalex.org/I2800444561","https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075879790","display_name":"Mayur Naik","orcid":"https://orcid.org/0000-0003-1348-8618"},"institutions":[{"id":"https://openalex.org/I2800444561","display_name":"Atlanta Technical College","ror":"https://ror.org/01s3vfp47","country_code":"US","type":"education","lineage":["https://openalex.org/I2800444561"]},{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mayur Naik","raw_affiliation_strings":["Georgia Tech, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Tech, USA","institution_ids":["https://openalex.org/I2800444561","https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5007937517"],"corresponding_institution_ids":["https://openalex.org/I130701444","https://openalex.org/I2800444561"],"apc_list":null,"apc_paid":null,"fwci":5.6323,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.96286338,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"359","last_page":"377"},"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.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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8880127668380737},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.7249758243560791},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6199576258659363},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.6163135766983032},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6161297559738159},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.5770280361175537},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.5749852061271667},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5729045867919922},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5499736666679382},{"id":"https://openalex.org/keywords/code-reuse","display_name":"Code reuse","score":0.535280168056488},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5162303447723389},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.4934326708316803},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.48591604828834534},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4743063449859619},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.4140809178352356},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3379977345466614},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3157234191894531},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.29308784008026123},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20235958695411682},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1788489818572998},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.10380309820175171}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8880127668380737},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.7249758243560791},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6199576258659363},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.6163135766983032},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6161297559738159},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.5770280361175537},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.5749852061271667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5729045867919922},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5499736666679382},{"id":"https://openalex.org/C2778583558","wikidata":"https://www.wikidata.org/wiki/Q771245","display_name":"Code reuse","level":3,"score":0.535280168056488},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5162303447723389},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.4934326708316803},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.48591604828834534},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4743063449859619},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.4140809178352356},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3379977345466614},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3157234191894531},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.29308784008026123},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20235958695411682},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1788489818572998},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.10380309820175171},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2983990.2984023","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2983990.2984023","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2984023&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},{"id":"pmh:oai:smartech.gatech.edu:1853/56359","is_oa":false,"landing_page_url":"http://hdl.handle.net/1853/56359","pdf_url":null,"source":{"id":"https://openalex.org/S4377196313","display_name":"SMARTech Repository (Georgia Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130701444","host_organization_name":"Georgia Institute of Technology","host_organization_lineage":["https://openalex.org/I130701444"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1145/2983990.2984023","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2983990.2984023","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2984023&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2560152698","display_name":null,"funder_award_id":"1253867,1526270","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3709218179","display_name":null,"funder_award_id":"1253867","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G483339211","display_name":null,"funder_award_id":"FA8750-15-2-0009","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5124456847","display_name":null,"funder_award_id":"#FA8750-15-2-0009","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8530479457","display_name":null,"funder_award_id":"1526270","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/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2533284009.pdf","grobid_xml":"https://content.openalex.org/works/W2533284009.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W111121138","https://openalex.org/W148396834","https://openalex.org/W206636664","https://openalex.org/W338117562","https://openalex.org/W1494768888","https://openalex.org/W1585404558","https://openalex.org/W1671718115","https://openalex.org/W1959797194","https://openalex.org/W1969599528","https://openalex.org/W1974604404","https://openalex.org/W1989969759","https://openalex.org/W2013570118","https://openalex.org/W2026496705","https://openalex.org/W2028284083","https://openalex.org/W2051527230","https://openalex.org/W2052664195","https://openalex.org/W2073264387","https://openalex.org/W2074959961","https://openalex.org/W2077850509","https://openalex.org/W2080573945","https://openalex.org/W2087612811","https://openalex.org/W2105285801","https://openalex.org/W2122252189","https://openalex.org/W2134875273","https://openalex.org/W2138245690","https://openalex.org/W2151562310","https://openalex.org/W2154985136","https://openalex.org/W2158600037","https://openalex.org/W2163521620","https://openalex.org/W2164151624","https://openalex.org/W2169462176","https://openalex.org/W2914074464","https://openalex.org/W4236576706","https://openalex.org/W4245321046","https://openalex.org/W4247889999","https://openalex.org/W4251478049"],"related_works":["https://openalex.org/W2162436812","https://openalex.org/W2166895275","https://openalex.org/W2998775986","https://openalex.org/W1971022286","https://openalex.org/W2388522952","https://openalex.org/W3157379933","https://openalex.org/W2080046362","https://openalex.org/W4296831814","https://openalex.org/W4303685317","https://openalex.org/W3177786601"],"abstract_inverted_index":{"Practical":[0],"programs":[1,42,71,123],"share":[2,73,129],"large":[3],"modules":[4],"of":[5,40,69,137],"code.":[6,49],"However,":[7],"many":[8],"program":[9],"analyses":[10,85,95,120],"are":[11],"ineffective":[12],"at":[13],"reusing":[14],"analysis":[15,26,35,45,68,101,110,143],"results":[16],"for":[17,96,139,146],"shared":[18,48],"code":[19,74],"across":[20],"programs.":[21],"We":[22,79,116],"present":[23],"POLYMER,":[24],"an":[25],"optimizer":[27],"to":[28,55,65,83,92],"address":[29],"this":[30],"problem.":[31],"POLYMER":[32,82,133],"runs":[33],"the":[34,52,67,76,118,125,130,140,147],"offline":[36],"on":[37,121],"a":[38,99,108],"corpus":[39],"training":[41,77],"and":[43,59,89,105,107,114,144],"learns":[44],"facts":[46,54,64],"over":[47],"It":[50],"prunes":[51],"learnt":[53],"eliminate":[56],"intermediate":[57],"computations":[58],"then":[60],"reuses":[61],"these":[62],"pruned":[63],"accelerate":[66,84],"other":[70],"that":[72,102,111,128],"with":[75],"corpus.":[78],"have":[80],"implemented":[81],"specified":[86],"in":[87],"Datalog,":[88],"apply":[90],"it":[91],"optimize":[93],"two":[94],"Java":[97],"programs:":[98],"call-graph":[100],"is":[103,112],"flow-":[104,113],"context-insensitive,":[106],"points-to":[109,148],"context-sensitive.":[115],"evaluate":[117],"resulting":[119],"ten":[122],"from":[124],"DaCapo":[126],"suite":[127],"JDK":[131],"library.":[132],"achieves":[134],"average":[135],"speedups":[136],"2.6\u00d7":[138],"call-":[141],"graph":[142],"5.2\u00d7":[145],"analysis.":[149]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}