{"id":"https://openalex.org/W172519447","doi":null,"title":"Context-sensitive pointer analysis using binary decision diagrams","display_name":"Context-sensitive pointer analysis using binary decision diagrams","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W172519447","mag":"172519447"},"language":"en","primary_location":{"id":"mag:172519447","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=1293138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"book","is_traditional":true,"indexed_in":[],"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/A5002419188","display_name":"Monica S. Lam","orcid":"https://orcid.org/0000-0002-1205-1302","observed_orcids":["https://orcid.org/0000-0002-1205-1302"]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Monica S. Lam","raw_affiliation_strings":["Stanford University"],"raw_orcid":"https://orcid.org/0000-0002-1205-1302","affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038224513","display_name":"John Whaley","orcid":"https://orcid.org/0000-0003-1441-6982","observed_orcids":["https://orcid.org/0000-0003-1441-6982"]},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Whaley","raw_affiliation_strings":["Stanford University"],"raw_orcid":"https://orcid.org/0000-0003-1441-6982","affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":3.2936,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.94773519,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":95},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9564999938011169,"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.9564999938011169,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.014399999752640724,"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.013899999670684338,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagrams","display_name":"binary decision diagrams","score":0.9359999895095825},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.6819999814033508},{"id":"https://openalex.org/keywords/deductive-databases","display_name":"deductive databases","score":0.7639999985694885},{"id":"https://openalex.org/keywords/java-programs","display_name":"Java programs","score":0.6690000295639038},{"id":"https://openalex.org/keywords/stratified-negation","display_name":"stratified negation","score":0.7559999823570251},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.4480000138282776},{"id":"https://openalex.org/keywords/whole-program-analysis","display_name":"whole-program analysis","score":0.5569999814033508}],"concepts":[{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.9031918048858643},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.868109405040741},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7713029384613037},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.759103000164032},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.6630557775497437},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6226986646652222},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5583674311637878},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5553082823753357},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4699184000492096},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.44107669591903687},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.42576682567596436},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3407732844352722},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2839227318763733},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13088741898536682}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:172519447","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=1293138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":147,"referenced_works":["https://openalex.org/W30202435","https://openalex.org/W84258820","https://openalex.org/W87715069","https://openalex.org/W121750629","https://openalex.org/W145782308","https://openalex.org/W150943429","https://openalex.org/W153567890","https://openalex.org/W158383006","https://openalex.org/W201784039","https://openalex.org/W1484019856","https://openalex.org/W1484875989","https://openalex.org/W1505465226","https://openalex.org/W1509428113","https://openalex.org/W1529049337","https://openalex.org/W1535467724","https://openalex.org/W1536098516","https://openalex.org/W1557543533","https://openalex.org/W1558383061","https://openalex.org/W1579330263","https://openalex.org/W1584814208","https://openalex.org/W1591707147","https://openalex.org/W1601517679","https://openalex.org/W1601687420","https://openalex.org/W1602194401","https://openalex.org/W1606397617","https://openalex.org/W1617448086","https://openalex.org/W1637758212","https://openalex.org/W1671718115","https://openalex.org/W1672891595","https://openalex.org/W1691700263","https://openalex.org/W1734116059","https://openalex.org/W1838794194","https://openalex.org/W1964647125","https://openalex.org/W1968513265","https://openalex.org/W1969722953","https://openalex.org/W1974604404","https://openalex.org/W1974608873","https://openalex.org/W1975335740","https://openalex.org/W1982205631","https://openalex.org/W1983521033","https://openalex.org/W1987809485","https://openalex.org/W1990854931","https://openalex.org/W1993544047","https://openalex.org/W1998915208","https://openalex.org/W2000194923","https://openalex.org/W2000672666","https://openalex.org/W2014530617","https://openalex.org/W2017971446","https://openalex.org/W2025514726","https://openalex.org/W2025762151","https://openalex.org/W2026906867","https://openalex.org/W2029722359","https://openalex.org/W2034019663","https://openalex.org/W2038198320","https://openalex.org/W2040019628","https://openalex.org/W2040152339","https://openalex.org/W2043100293","https://openalex.org/W2046699259","https://openalex.org/W2048683749","https://openalex.org/W2051600169","https://openalex.org/W2054284548","https://openalex.org/W2061438988","https://openalex.org/W2064556673","https://openalex.org/W2065773673","https://openalex.org/W2069476565","https://openalex.org/W2069482167","https://openalex.org/W2070598037","https://openalex.org/W2072474927","https://openalex.org/W2077102566","https://openalex.org/W2077850509","https://openalex.org/W2078739669","https://openalex.org/W2079071129","https://openalex.org/W2080267935","https://openalex.org/W2085989833","https://openalex.org/W2087612811","https://openalex.org/W2089139117","https://openalex.org/W2091141964","https://openalex.org/W2095115578","https://openalex.org/W2095390121","https://openalex.org/W2096160379","https://openalex.org/W2096475201","https://openalex.org/W2097997737","https://openalex.org/W2098590705","https://openalex.org/W2100885195","https://openalex.org/W2102839400","https://openalex.org/W2104136059","https://openalex.org/W2104150717","https://openalex.org/W2105775150","https://openalex.org/W2106916261","https://openalex.org/W2107406536","https://openalex.org/W2108016168","https://openalex.org/W2109150047","https://openalex.org/W2113238444","https://openalex.org/W2117426803","https://openalex.org/W2120203610","https://openalex.org/W2121059325","https://openalex.org/W2122252189","https://openalex.org/W2123789037","https://openalex.org/W2123900782","https://openalex.org/W2125403226","https://openalex.org/W2125406856","https://openalex.org/W2127172188","https://openalex.org/W2127271657","https://openalex.org/W2129111346","https://openalex.org/W2131135493","https://openalex.org/W2132685964","https://openalex.org/W2132897303","https://openalex.org/W2133545653","https://openalex.org/W2134147303","https://openalex.org/W2135941874","https://openalex.org/W2136503680","https://openalex.org/W2139875914","https://openalex.org/W2139914570","https://openalex.org/W2141472133","https://openalex.org/W2145311387","https://openalex.org/W2146340823","https://openalex.org/W2146530711","https://openalex.org/W2149237601","https://openalex.org/W2149706766","https://openalex.org/W2151360539","https://openalex.org/W2151793720","https://openalex.org/W2155036144","https://openalex.org/W2156729262","https://openalex.org/W2157295479","https://openalex.org/W2158297335","https://openalex.org/W2158600037","https://openalex.org/W2161719857","https://openalex.org/W2162284942","https://openalex.org/W2162405266","https://openalex.org/W2162544703","https://openalex.org/W2162621793","https://openalex.org/W2163319971","https://openalex.org/W2166140339","https://openalex.org/W2167685423","https://openalex.org/W2168872928","https://openalex.org/W2169391873","https://openalex.org/W2170478581","https://openalex.org/W2174018523","https://openalex.org/W2175079109","https://openalex.org/W2182273135","https://openalex.org/W2295882966","https://openalex.org/W2912934387","https://openalex.org/W4212886450","https://openalex.org/W4239569538","https://openalex.org/W4243823432","https://openalex.org/W4250447890","https://openalex.org/W4252691471"],"related_works":["https://openalex.org/W4248889516","https://openalex.org/W1671718115","https://openalex.org/W7096854911","https://openalex.org/W7100908490","https://openalex.org/W1987035533","https://openalex.org/W2106916261","https://openalex.org/W7095861292","https://openalex.org/W7100195496","https://openalex.org/W1984804774","https://openalex.org/W4234766501"],"abstract_inverted_index":{"This":[0],"thesis":[1],"shows":[2],"that":[3,25,137,222],"whole-program":[4],"context-sensitive":[5,90],"inclusion-based":[6,54],"pointer":[7,55,225],"analysis,":[8],"a":[9,33,68,71,80,96,103,110,115,125,151,199,214,223,236],"previously":[10],"intractable":[11,123],"problem,":[12],"can":[13,141],"be":[14,142],"efficiently":[15,144,177],"solved":[16],"using":[17,44,145],"binary":[18,45,172],"decision":[19,46,173],"diagrams.":[20,47],"In":[21],"addition,":[22],"we":[23,94],"show":[24,136,221],"it":[26],"is":[27,65,121,208,230],"possible":[28],"to":[29,62,66,88,176,186,203],"automatically":[30],"translate":[31],"from":[32],"high-level":[34],"analysis":[35,56,226],"specification":[36],"written":[37],"in":[38,109,198],"Datalog":[39,160],"into":[40],"an":[41,209],"efficient":[42],"implementation":[43],"\r\nWe":[48,147],"present":[49],"the":[50,84,157,187,190,194],"first":[51],"scalable":[52],"context-sensitive,":[53],"for":[57,73,98,212],"Java":[58],"programs.":[59],"Our":[60],"approach":[61],"context":[63,75],"sensitivity":[64],"create":[67],"clone":[69,97],"of":[70,76,189,196,217],"method":[72],"every":[74,99],"interest,":[77],"and":[78,167],"run":[79],"context-insensitive":[81,224],"algorithm":[82],"over":[83],"expanded":[85],"call":[86,105,126],"graph":[87,127],"get":[89],"results.":[91],"For":[92],"precision,":[93],"generate":[95],"acyclic":[100,131],"path":[101],"through":[102],"program's":[104],"graph,":[106],"treating":[107],"methods":[108],"strongly":[111],"connected":[112],"component":[113],"as":[114,124,233,235],"single":[116],"node.":[117],"Normally,":[118],"this":[119],"formulation":[120],"hopelessly":[122],"often":[128],"has":[129],"1014":[130],"paths":[132],"or":[133],"more.":[134],"We":[135,220],"these":[138],"exponential":[139],"relations":[140],"computed":[143],"BDDs.":[146],"also":[148],"describe":[149],"bddbddb,":[150],"BDD-Based":[152],"Deductive":[153],"DataBase,":[154],"which":[155,201],"implements":[156],"declarative":[158],"language":[159],"with":[161,228],"stratified":[162],"negation,":[163],"totally-ordered":[164],"finite":[165],"domains":[166],"comparison":[168],"operators.":[169],"bddbddb":[170,207,229],"uses":[171],"diagrams":[174],"(BDDs)":[175],"represent":[178],"large":[179,215],"relations.":[180],"BDD":[181],"operations":[182],"take":[183],"time":[184],"proportional":[185],"size":[188],"data":[191],"structure,":[192],"not":[193],"number":[195],"tuples":[197],"relation,":[200],"leads":[202],"fast":[204,234],"execution":[205],"times.":[206],"effective":[210],"tool":[211],"implementing":[213],"class":[216],"program":[218],"analyses.":[219],"implemented":[227],"about":[231],"twice":[232],"carefully":[237],"hand-tuned":[238],"version.":[239]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}