{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:25Z","timestamp":1772164045508,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,15]],"date-time":"2012-06-15T00:00:00Z","timestamp":1339718400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,15]]},"DOI":"10.1145\/2258996.2259013","type":"proceedings-article","created":{"date-parts":[[2012,6,15]],"date-time":"2012-06-15T11:32:03Z","timestamp":1339759923000},"page":"121-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Exploiting the structure of the constraint graph for efficient points-to analysis"],"prefix":"10.1145","author":[{"given":"Rupesh","family":"Nasre","sequence":"first","affiliation":[{"name":"Indian Institute of Science and The University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781144"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/169683.169678"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349309"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178264"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277667"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349332"},{"key":"e_1_3_2_1_10_1","unstructured":"B. Hardekopf. Homepage http:\/\/www.cs.utexas.edu\/users\/benh\/.  B. Hardekopf. Homepage http:\/\/www.cs.utexas.edu\/users\/benh\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"B.\n      Hardekopf\n     and \n      C.\n      Lin\n  . \n  Exploiting pointer and location equivalence to optimize pointer analysis\n  . In H. R. Nielson and G. Fil\u00e9 editors SAS volume \n  4634\n   of \n  Lecture Notes in Computer Science pages \n  265\n  --\n  280\n  . \n  Springer 2007\n  .   B. Hardekopf and C. Lin. Exploiting pointer and location equivalence to optimize pointer analysis. In H. R. Nielson and G. Fil\u00e9 editors SAS volume 4634 of Lecture Notes in Computer Science pages 265--280. Springer 2007.","DOI":"10.1007\/978-3-540-74061-2_17"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250767"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378855"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348916"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375613"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250766"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765948"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1882094.1882120"},{"key":"e_1_3_2_1_22_1","volume-title":"CGO '11","author":"Nasre R.","year":"2011","unstructured":"R. Nasre and R. Govindarajan . Prioritizing constraint evaluation for efficient points-to analysis. In CGO , CGO '11 , 2011 . R. Nasre and R. Govindarajan. Prioritizing constraint evaluation for efficient points-to analysis. In CGO, CGO '11, 2011."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10672-9_6"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SQJO.0000039791.93071.a2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.9"},{"key":"e_1_3_2_1_26_1","unstructured":"pereiraweb. Wave propagation \/ deep propagation website http:\/\/compilers.cs.ucla.edu\/fernando\/projects\/pta\/home\/.  pereiraweb. Wave propagation \/ deep propagation website http:\/\/compilers.cs.ucla.edu\/fernando\/projects\/pta\/home\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186041"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177905"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349310"},{"key":"e_1_3_2_1_30_1","volume-title":"Carnegie Mellon University","author":"Shivers O. G.","year":"1991","unstructured":"O. G. Shivers . Control-flow analysis of higher-order languages PhD Thesis , Carnegie Mellon University , 1991 . O. G. Shivers. Control-flow analysis of higher-order languages PhD Thesis, Carnegie Mellon University, 1991."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/647171.718318"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"}],"event":{"name":"ISMM '12: International Symposium on Memory Management","location":"Beijing China","acronym":"ISMM '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2012 international symposium on Memory Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2258996.2259013","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2258996.2259013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:20:51Z","timestamp":1750224051000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2258996.2259013"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,15]]},"references-count":30,"alternative-id":["10.1145\/2258996.2259013","10.1145\/2258996"],"URL":"https:\/\/doi.org\/10.1145\/2258996.2259013","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2426642.2259013","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,6,15]]},"assertion":[{"value":"2012-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}