{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T04:02:33Z","timestamp":1783396953496,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T00:00:00Z","timestamp":1531353600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Research Council","award":["307334"],"award-info":[{"award-number":["307334"]}]},{"name":"Oracle Labs collaborative research grant"},{"name":"Reach High Malta","award":["254\/15\/10"],"award-info":[{"award-number":["254\/15\/10"]}]},{"name":"Facebook Research and Academic Relations award"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,12]]},"DOI":"10.1145\/3213846.3213860","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"198-208","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Shooting from the heap: ultra-scalable static analysis with heap snapshots"],"prefix":"10.1145","author":[{"given":"Neville","family":"Grech","sequence":"first","affiliation":[{"name":"University of Athens, Greece \/ University of Malta, Malta"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"George","family":"Fourtounis","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adrian","family":"Francalanza","sequence":"additional","affiliation":[{"name":"University of Malta, Malta"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yannis","family":"Smaragdakis","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879211.1879222"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_30"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062533"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348254"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297056"},{"key":"e_1_3_2_1_10_1","volume-title":"WODA 2003: ICSE Workshop on Dynamic Analysis","author":"Ernst Michael D.","year":"2003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_14"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0273-z"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133892"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP\u201918)","volume":"109","author":"Grech Neville","year":"2018"},{"key":"e_1_3_2_1_17_1","volume-title":"International Colloquium on Theoretical Aspects of Computing","author":"Grech Neville"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133926"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/261640.261644"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Robert Harper. 2016. Practical Foundations for Programming Languages (2nd ed.). Cambridge University Press New York NY USA.   Robert Harper. 2016. Practical Foundations for Programming Languages (2nd ed.). Cambridge University Press New York NY USA.","DOI":"10.1017\/CBO9781316576892"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462191"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(92)90146-G"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336789"},{"key":"e_1_3_2_1_25_1","unstructured":"Aditya P. Mathur. 2008. Foundations of Software Testing (1st ed.). Addison-Wesley Professional.   Aditya P. Mathur. 2008. Foundations of Software Testing (1st ed.). Addison-Wesley Professional."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_1_27_1","unstructured":"1044835  1044835"},{"key":"e_1_3_2_1_28_1","unstructured":"Flemming Nielson Hanne R. Nielson and Chris Hankin. 2010. Principles of Program Analysis. Springer Publishing Company Incorporated.   Flemming Nielson Hanne R. Nielson and Chris Hankin. 2010. Principles of Program Analysis. Springer Publishing Company Incorporated."},{"key":"e_1_3_2_1_29_1","unstructured":"Oracle. {n. d.}. HPROF Binary Format. https:\/\/java.net\/downloads\/ heap-snapshot\/hprof-binary-format.html  Oracle. {n. d.}. HPROF Binary Format. https:\/\/java.net\/downloads\/ heap-snapshot\/hprof-binary-format.html"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Alex Potanin James Noble and Robert Biddle. 2004. Checking Ownership and Confinement: Research Articles. Concurrency and Computation: Practice & Experience - Formal Techniques for Java-like Programs 16 7 (June 2004) 671\u2013687.   Alex Potanin James Noble and Robert Biddle. 2004. Checking Ownership and Confinement: Research Articles. Concurrency and Computation: Practice & Experience - Formal Techniques for Java-like Programs 16 7 (June 2004) 671\u2013687.","DOI":"10.1002\/cpe.799"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111583.1111585"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/514191.514229"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765945"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_35_1","volume-title":"Program flow analysis: theory and applications, Steven S","author":"Sharir Micha"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594320"},{"key":"e_1_3_2_1_39_1","volume-title":"Aliasing in Object-Oriented Programming","author":"Sridharan Manu"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-0005-x"}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","location":"Amsterdam Netherlands","acronym":"ISSTA '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3213860","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3213846.3213860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:42Z","timestamp":1750212462000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3213846.3213860"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,12]]},"references-count":40,"alternative-id":["10.1145\/3213846.3213860","10.1145\/3213846"],"URL":"https:\/\/doi.org\/10.1145\/3213846.3213860","relation":{},"subject":[],"published":{"date-parts":[[2018,7,12]]},"assertion":[{"value":"2018-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}