{"id":"https://openalex.org/W2198668404","doi":null,"title":"Pointer analysis for java programs: novel techniques and applications","display_name":"Pointer analysis for java programs: novel techniques and applications","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2198668404","mag":"2198668404"},"language":"en","primary_location":{"id":"mag:2198668404","doi":null,"is_oa":false,"landing_page_url":"https://lara.epfl.ch/w/_media/salcianu-phd.pdf","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":"dissertation","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/A5045127387","display_name":"Martin Rinard","orcid":"https://orcid.org/0000-0001-8095-8523","observed_orcids":["https://orcid.org/0000-0001-8095-8523"]},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Rinard","raw_affiliation_strings":["Massachusetts Institute Of Technology#TAB#"],"raw_orcid":"https://orcid.org/0000-0001-8095-8523","affiliations":[{"raw_affiliation_string":"Massachusetts Institute Of Technology#TAB#","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005318859","display_name":"Alexandru S\u0103lcianu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexandru S\u0103lcianu","raw_affiliation_strings":["Massachusetts Institute Of Technology#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Massachusetts Institute Of Technology#TAB#","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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.9955999851226807,"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.9955999851226807,"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.00139999995008111,"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.000699999975040555,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"pointer analysis","score":0.996999979019165},{"id":"https://openalex.org/keywords/java-programs","display_name":"Java programs","score":0.9120000004768372},{"id":"https://openalex.org/keywords/points-to-analysis","display_name":"points-to analysis","score":0.8539999723434448},{"id":"https://openalex.org/keywords/escape-analysis","display_name":"escape analysis","score":0.8159999847412109},{"id":"https://openalex.org/keywords/partial-analysis","display_name":"partial analysis","score":0.4860000014305115},{"id":"https://openalex.org/keywords/stack-allocation","display_name":"stack allocation","score":0.621999979019165},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.6169999837875366},{"id":"https://openalex.org/keywords/object-allocation","display_name":"object allocation","score":0.4000000059604645}],"concepts":[{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.879308819770813},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.8568466901779175},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8413525819778442},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7001931667327881},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6953590512275696},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.691138744354248},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6578061580657959},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6239514350891113},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6234294772148132},{"id":"https://openalex.org/C119024030","wikidata":"https://www.wikidata.org/wiki/Q759899","display_name":"Call stack","level":3,"score":0.617189347743988},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.5212355852127075},{"id":"https://openalex.org/C106937863","wikidata":"https://www.wikidata.org/wiki/Q7236518","display_name":"Power graph analysis","level":3,"score":0.5152211785316467},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44851118326187134},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40119215846061707},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1371130645275116},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.12260013818740845}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2198668404","doi":null,"is_oa":false,"landing_page_url":"https://lara.epfl.ch/w/_media/salcianu-phd.pdf","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":68,"referenced_works":["https://openalex.org/W23335186","https://openalex.org/W116108159","https://openalex.org/W301824129","https://openalex.org/W1506404239","https://openalex.org/W1509382141","https://openalex.org/W1521711401","https://openalex.org/W1523720513","https://openalex.org/W1533109738","https://openalex.org/W1536098516","https://openalex.org/W1576135198","https://openalex.org/W1583826417","https://openalex.org/W1610636965","https://openalex.org/W1934184837","https://openalex.org/W1967544098","https://openalex.org/W1974604404","https://openalex.org/W1975914482","https://openalex.org/W1980468060","https://openalex.org/W1982205631","https://openalex.org/W1991837261","https://openalex.org/W1994584977","https://openalex.org/W1996146601","https://openalex.org/W2001890294","https://openalex.org/W2002771912","https://openalex.org/W2003539206","https://openalex.org/W2004420781","https://openalex.org/W2005907808","https://openalex.org/W2006638707","https://openalex.org/W2014530617","https://openalex.org/W2017842497","https://openalex.org/W2019448108","https://openalex.org/W2029214188","https://openalex.org/W2030224590","https://openalex.org/W2036719919","https://openalex.org/W2038677544","https://openalex.org/W2044354349","https://openalex.org/W2046699259","https://openalex.org/W2051600169","https://openalex.org/W2052087935","https://openalex.org/W2054739713","https://openalex.org/W2065088439","https://openalex.org/W2069476565","https://openalex.org/W2074001172","https://openalex.org/W2077850509","https://openalex.org/W2078739669","https://openalex.org/W2087612811","https://openalex.org/W2091085450","https://openalex.org/W2094160561","https://openalex.org/W2095851537","https://openalex.org/W2103957752","https://openalex.org/W2105256796","https://openalex.org/W2106916261","https://openalex.org/W2110409011","https://openalex.org/W2110833886","https://openalex.org/W2113238444","https://openalex.org/W2119228825","https://openalex.org/W2126415451","https://openalex.org/W2127384478","https://openalex.org/W2131135493","https://openalex.org/W2132685964","https://openalex.org/W2136503680","https://openalex.org/W2139207724","https://openalex.org/W2141442517","https://openalex.org/W2145708265","https://openalex.org/W2158600037","https://openalex.org/W2162120832","https://openalex.org/W2162405266","https://openalex.org/W2166985644","https://openalex.org/W2611434897"],"related_works":["https://openalex.org/W1516285664","https://openalex.org/W3006817828","https://openalex.org/W2222529756","https://openalex.org/W1500987966","https://openalex.org/W7098798850","https://openalex.org/W4280616461","https://openalex.org/W1483521935","https://openalex.org/W6964436813","https://openalex.org/W2473056198","https://openalex.org/W7095283799"],"abstract_inverted_index":{"This":[0],"dissertation":[1,165],"presents":[2],"a":[3,25,70,77,128,131,179,185,231],"pointer":[4,59],"analysis":[5,13,20,56,60,75,88,103,115,126,139,150,171,177,210],"for":[6,96,119],"Java":[7],"programs,":[8],"together":[9],"with":[10],"several":[11],"practical":[12],"applications.":[14],"\r\nFor":[15],"each":[16,97],"program":[17,153,200],"point,":[18],"the":[19,48,55,125,138,156,170,199,203,206],"is":[21,187],"able":[22],"to":[23,37,107,130,168,172,214],"construct":[24,223],"points-to":[26,40],"graph":[27,41],"that":[28,46,50,92,142,196],"describes":[29],"how":[30,167],"local":[31,160],"variables":[32],"and":[33,216,227],"object":[34,195,225],"fields":[35],"point":[36],"objects.":[38,161],"Each":[39],"also":[42],"contains":[43],"escape":[44],"information":[45,64,81],"identifies":[47],"objects":[49,219],"are":[51,93],"reachable":[52],"from":[53],"outside":[54],"scope.":[57],"\r\nOur":[58],"can":[61,116,140],"extract":[62],"correct":[63],"by":[65],"analyzing":[66],"only":[67],"parts":[68],"of":[69,127,148,159,182,205],"whole":[71],"program.":[72],"First,":[73],"our":[74,87,102,114,149,209],"analyzes":[76],"method":[78,183,186],"without":[79,121],"requiring":[80],"about":[82],"its":[83],"calling":[84],"context.":[85],"Instead,":[86],"computes":[89],"parameterized":[90],"results":[91,147],"later":[94],"instantiated":[95],"relevant":[98],"call":[99,129],"site.":[100],"Second,":[101],"correctly":[104],"handles":[105],"calls":[106],"unanalyzable":[108],"methods":[109,213],"(e.g.,":[110,220],"native":[111],"methods).":[112],"Hence,":[113],"trade":[117],"precision":[118],"speed":[120],"sacrificing":[122],"correctness:":[123],"if":[124,189],"specific":[132],"callee":[133,143],"requires":[134],"too":[135],"much":[136],"time,":[137],"treat":[141],"as":[144,230],"unanalyzable.":[145],"\r\nThe":[146],"enable":[151],"standard":[152],"optimizations":[154],"like":[155],"stack":[157],"allocation":[158],"More":[162],"interestingly,":[163],"this":[164],"explains":[166],"extend":[169],"detect":[173],"pure":[174,188,212],"methods.":[175],"Our":[176],"supports":[178],"flexible":[180],"definition":[181],"purity:":[184],"it":[190],"does":[191],"not":[192],"mutate":[193,217],"any":[194],"exists":[197],"in":[198],"state":[201],"before":[202],"start":[204],"method.":[207],"Therefore,":[208],"allows":[211],"allocate":[215],"temporary":[218],"iterators)":[221],"and/or":[222],"complex":[224],"structures":[226],"return":[228],"them":[229],"result.":[232]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2016-06-24T00:00:00"}