{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:29Z","timestamp":1772164049353,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["DP130101970."],"award-info":[{"award-number":["DP130101970."]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,23]]},"DOI":"10.1145\/2814270.2814307","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T16:04:33Z","timestamp":1446480273000},"page":"535-551","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Giga-scale exhaustive points-to analysis for Java in under a minute"],"prefix":"10.1145","author":[{"given":"Jens","family":"Dietrich","sequence":"first","affiliation":[{"name":"Massey University, New Zealand"}]},{"given":"Nicholas","family":"Hollingum","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}]},{"given":"Bernhard","family":"Scholz","sequence":"additional","affiliation":[{"name":"Oracle Labs, Australia"}]}],"member":"320","published-online":{"date-parts":[[2015,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66950"},{"key":"e_1_3_2_2_3_1","first-page":"1209","article-title":"On economic construction of the transitive closure of a directed graph","volume":"11","author":"Arlazarov V.","year":"1970","unstructured":"V. Arlazarov , E. Dinic , M. Kronrod , and I. Faradzev . On economic construction of the transitive closure of a directed graph . Soviet Math. Dokl. , 11 : 1209 \u2013 1210 , 1970 . V. Arlazarov, E. Dinic, M. Kronrod, and I. Faradzev. On economic construction of the transitive closure of a directed graph. Soviet Math. Dokl., 11:1209\u20131210, 1970.","journal-title":"Soviet Math. Dokl."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292554"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328460"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539702403098"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2010.05.018"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80013-2"},{"key":"e_1_3_2_2_11_1","volume-title":"Powers of tensors and fast matrix multiplication. arXiv preprint arXiv:1401.7714","author":"Gall F. L.","year":"2014","unstructured":"F. L. Gall . Powers of tensors and fast matrix multiplication. arXiv preprint arXiv:1401.7714 , 2014 . F. L. Gall. Powers of tensors and fast matrix multiplication. arXiv preprint arXiv:1401.7714, 2014."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/506315.506316"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/99935.99944"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376677"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559930"},{"key":"e_1_3_2_2_16_1","volume-title":"Spark: A flexible points-to analysis framework for java","author":"Lhot\u00e1k O.","year":"2002","unstructured":"O. Lhot\u00e1k . Spark: A flexible points-to analysis framework for java , 2002 . O. Lhot\u00e1k. Spark: A flexible points-to analysis framework for java, 2002."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"e_1_3_2_2_18_1","first-page":"18","volume-title":"Proceedings USENIX\u201905","author":"Livshits V. B.","year":"2005","unstructured":"V. B. Livshits and M. S. Lam . Finding security vulnerabilities in java applications with static analysis . In Proceedings USENIX\u201905 , pages 18\u2013 18 , Berkeley, CA, USA , 2005 . USENIX Association. V. B. Livshits and M. S. Lam. Finding security vulnerabilities in java applications with static analysis. In Proceedings USENIX\u201905, pages 18\u201318, Berkeley, CA, USA, 2005. USENIX Association."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00049-9"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566174"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SQJO.0000039791.93071.a2"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00093-7"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765945"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259050"},{"key":"e_1_3_2_2_26_1","volume-title":"Two approaches to interprocedural data flow analysis","author":"Sharir M.","year":"1978","unstructured":"M. Sharir and A. Pnueli . Two approaches to interprocedural data flow analysis . New York University , 1978 . M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. New York University, 1978."},{"key":"e_1_3_2_2_27_1","volume-title":"Carnegie Mellon University Pittsburgh","author":"Shivers O.","year":"1991","unstructured":"O. Shivers . Control-flow analysis of higher-order languages. PhD thesis , Carnegie Mellon University Pittsburgh , 1991 . O. Shivers. Control-flow analysis of higher-order languages. PhD thesis, Carnegie Mellon University Pittsburgh, 1991."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926390"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594320"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_15"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094817"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02165411"},{"key":"e_1_3_2_2_36_1","volume-title":"SIAM journal on computing, 1(2):146\u2013160","author":"Tarjan R.","year":"1972","unstructured":"R. Tarjan . Depth-first search and linear graph algorithms. SIAM journal on computing, 1(2):146\u2013160 , 1972 . R. Tarjan. Depth-first search and linear graph algorithms. SIAM journal on computing, 1(2):146\u2013160, 1972."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2009.19"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353190"},{"key":"e_1_3_2_2_39_1","volume-title":"Proceedings CASCON \u201999","author":"Vall\u00e9e-Rai R.","year":"1999","unstructured":"R. Vall\u00e9e-Rai , P. Co , E. Gagnon , L. Hendren , P. Lam , and V. Sundaresan . Soot - a java bytecode optimization framework . In Proceedings CASCON \u201999 . IBM Press , 1999 . R. Vall\u00e9e-Rai, P. Co, E. Gagnon, L. Hendren, P. Lam, and V. Sundaresan. Soot - a java bytecode optimization framework. In Proceedings CASCON \u201999. IBM Press, 1999."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989323.1989419"},{"key":"e_1_3_2_2_41_1","first-page":"195","volume-title":"Static Analysis","author":"Whaley J.","unstructured":"J. Whaley and M. S. Lam . An efficient inclusion-based pointsto analysis for strictly-typed languages . In Static Analysis , pages 180\u2013 195 . Springer, 2002. J. Whaley and M. S. Lam. An efficient inclusion-based pointsto analysis for strictly-typed languages. In Static Analysis, pages 180\u2013195. Springer, 2002."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132864"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390658"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_6"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001440"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/298514.298576"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920879"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462159"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Pittsburgh PA USA","acronym":"SPLASH '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814307","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:41Z","timestamp":1750211321000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814307"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":46,"alternative-id":["10.1145\/2814270.2814307","10.1145\/2814270"],"URL":"https:\/\/doi.org\/10.1145\/2814270.2814307","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858965.2814307","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,23]]},"assertion":[{"value":"2015-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}