{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:44:41Z","timestamp":1775054681458,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T00:00:00Z","timestamp":1592265600000},"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":[[2020,6,16]]},"DOI":"10.1145\/3381898.3397208","type":"proceedings-article","created":{"date-parts":[[2020,6,2]],"date-time":"2020-06-02T04:08:23Z","timestamp":1591070903000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Garbage collection using a finite liveness domain"],"prefix":"10.1145","author":[{"given":"Aman","family":"Bansal","sequence":"first","affiliation":[{"name":"IIT Bombay, India"}]},{"given":"Saksham","family":"Goel","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}]},{"given":"Preey","family":"Shah","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}]},{"given":"Amitabha","family":"Sanyal","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}]},{"given":"Prasanna","family":"Kumar","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}]}],"member":"320","published-online":{"date-parts":[[2020,6,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277738"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/278283.278285"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Rahul Asati Amitabha Sanyal Amey Karkare and Alan Mycroft. 2014. Liveness-Based Garbage Collection. In Compiler Construction Albert Cohen (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 85\u2013106.  Rahul Asati Amitabha Sanyal Amey Karkare and Alan Mycroft. 2014. Liveness-Based Garbage Collection. In Compiler Construction Albert Cohen (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 85\u2013106.","DOI":"10.1007\/978-3-642-54807-9_5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317907"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134024"},{"key":"e_1_3_2_1_7_1","volume-title":"Compile-Time Garbage Collection for Lazy Functional Languages. In International Workshop on Memory Management (IWMM \u201995)","author":"Hamilton G. W.","year":"1995"},{"key":"e_1_3_2_1_8_1","first-page":"10","article-title":"Quantifying the Performance of Garbage Collection vs","volume":"40","author":"Hertz Matthew","year":"2005","journal-title":"Explicit Memory Management. SIGPLAN Not."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/586088.586089"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46425-5_11"},{"key":"e_1_3_2_1_11_1","unstructured":"Atsushi Igarashi and Naoki Kobayashi. 2000. Garbage Collection Based on a Linear Type System.  Atsushi Igarashi and Naoki Kobayashi. 2000. Garbage Collection Based on a Linear Type System."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/48022.48025"},{"key":"e_1_3_2_1_13_1","volume-title":"Static Analysis","author":"Jensen Kristian Damm"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99375"},{"key":"e_1_3_2_1_15_1","unstructured":"Amey Karkare Amitabha Sanyal and Uday Khedker. 2006. Effectiveness of Garbage Collection in MIT\/GNU Scheme. http:\/\/arxiv.org\/abs\/ cs\/0611093.  Amey Karkare Amitabha Sanyal and Uday Khedker. 2006. Effectiveness of Garbage Collection in MIT\/GNU Scheme. http:\/\/arxiv.org\/abs\/ cs\/0611093."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1290520.1290521"},{"key":"e_1_3_2_1_17_1","volume-title":"Liveness-Based Garbage Collection for Lazy Languages. In 2016 ACM SIGPLAN International Symposium on Memory Management","author":"Prasanna Kumar","year":"2016"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760281"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596641"},{"key":"e_1_3_2_1_20_1","volume-title":"Interprocedural Data Flow Analysis in Soot Using Value Contexts. In 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program Analysis","author":"Padhye Rohan"},{"key":"e_1_3_2_1_21_1","volume-title":"28th International Conference on Compiler Construction","author":"Kumar K Prasanna","year":"2019"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232633"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471"},{"key":"e_1_3_2_1_24_1","unstructured":"141563  141563"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/362422.362430"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760304"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291894"},{"key":"e_1_3_2_1_28_1","volume-title":"Deforestation: Transforming programs to eliminate trees. In ESOP \u201988","author":"Wadler Philip","year":"1988"},{"key":"e_1_3_2_1_29_1","unstructured":"Philip Wadler and R. J. M. Hughes. 1987. Projections for strictness analysis. In Functional Programming Languages and Computer Architecture Gilles Kahn (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 385\u2013407. Abstract 1 Introduction 2 The Target Language 3 Liveness and its Analysis 3.1 Liveness Analysis 3.2 Liveness Propagation 4 The Garbage Collector 5 Experimental Results 6 Related Work 7 Conclusions References  Philip Wadler and R. J. M. Hughes. 1987. Projections for strictness analysis. In Functional Programming Languages and Computer Architecture Gilles Kahn (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 385\u2013407. Abstract 1 Introduction 2 The Target Language 3 Liveness and its Analysis 3.1 Liveness Analysis 3.2 Liveness Propagation 4 The Garbage Collector 5 Experimental Results 6 Related Work 7 Conclusions References"}],"event":{"name":"ISMM '20: 2020 ACM SIGPLAN International Symposium on Memory Management","location":"London UK","acronym":"ISMM '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381898.3397208","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3381898.3397208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:07Z","timestamp":1750199587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381898.3397208"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,16]]},"references-count":29,"alternative-id":["10.1145\/3381898.3397208","10.1145\/3381898"],"URL":"https:\/\/doi.org\/10.1145\/3381898.3397208","relation":{},"subject":[],"published":{"date-parts":[[2020,6,16]]},"assertion":[{"value":"2020-06-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}