The GC bibliography

the Garbage Collection Bibliography

The bibliography is available in BibTeX format (including abstracts for many entries), or as PDF or in a series of web pages

I would be most grateful to receive additions, corrections and URLs of electronically available papers.

Last updated 7 March 2024.

E

[ecka87] J. Dana Eckart and Richard J. Leblanc. Distributed garbage collection. ACM SIGPLAN Notices, 22(7):264-273, 1987.

[ecka87a] J. Dana Eckart. Garbage Collection for Functional Languages in a Distributed System. PhD thesis, Georgia Institute of Technology, 1988, 1987.

[ECOOP84] European Conference on Object-Oriented Programming, 1984.

[ECOOP87] J. Bézivin, J.-M. Hullot, P. Cointe, and Henry Lieberman, editors. European Conference on Object-Oriented Programming, volume 276 of Lecture Notes in Computer Science, Paris, France, June 1987. Springer-Verlag. Available here.

[ECOOP93] Oscar Nierstrasz, editor. 7th European Conference on Object-Oriented Programming, volume 707 of Lecture Notes in Computer Science, Kaiserslautern, Germany, July 1993. Springer-Verlag. Available here.

[ECOOP94] M. Tokoro and R. Pareschi, editors. 8th European Conference on Object-Oriented Programming, volume 821 of Lecture Notes in Computer Science, Bologna, Italy, 1994. Springer-Verlag. Available here.

[ECOOP95] Oscar Nierstrasz, editor. 9th European Conference on Object-Oriented Programming, volume 952 of Lecture Notes in Computer Science, øAarhus, Denmark, August 1995. Springer-Verlag. Available here.

[ECOOP98] Eric Jul, editor. 12th European Conference on Object-Oriented Programming, volume 1445 of Lecture Notes in Computer Science, Brussels, Belgium, July 1998. Springer-Verlag. Available here.

[ECOOP99] Rachid Guerraoui, editor. 13th European Conference on Object-Oriented Programming, volume 1628 of Lecture Notes in Computer Science, Lisbon, Portugal, July 1999. Springer-Verlag. Available here.

[ECOOP01] Jørgen Lindskov Knudsen, editor. 15th European Conference on Object-Oriented Programming, volume 2072 of Lecture Notes in Computer Science, Budapest, Hungary, June 2001. Springer-Verlag. Available here.

[ECOOP02] Boris Magnusson, editor. 16th European Conference on Object-Oriented Programming, volume 2374 of Lecture Notes in Computer Science, Málaga, Spain, June 2002. Springer-Verlag. Available here.

[ECOOP03] Luca Cardelli, editor. 17th European Conference on Object-Oriented Programming, volume 2743 of Lecture Notes in Computer Science, Darmstadt, Germany, June 2003. Springer-Verlag. Available here.

[ECOOP04] Martin Odersky, editor. 18th European Conference on Object-Oriented Programming, volume 3086 of Lecture Notes in Computer Science, Oslo, Norway, June 2004. Springer-Verlag. Available here.

[ECOOP05] Andrew P. Black, editor. 19th European Conference on Object-Oriented Programming, volume 3586 of Lecture Notes in Computer Science, Glasgow, Scotland, July 2005. Springer-Verlag. Available here.

[ECOOP07] Erik Ernst, editor. 21st European Conference on Object-Oriented Programming, volume 4609 of Lecture Notes in Computer Science, Berlin, Germany, July 2007. Springer-Verlag. Available here.

[ECOOP08] Jan Vitek, editor. 22nd European Conference on Object-Oriented Programming, volume 5142 of Lecture Notes in Computer Science, Paphos, Cyprus, July 2008. Springer-Verlag. Available here.

[ECOOP09] Sophia Drossopoulou, editor. 23rd European Conference on Object-Oriented Programming, volume 5653 of Lecture Notes in Computer Science, Genoa, Italy, July 2009. Springer-Verlag. Available here.

[ECOOP11] Mira Mezini, editor. 25th European Conference on Object-Oriented Programming, volume 6813 of Lecture Notes in Computer Science, Lancaster, UK, July 2011. Springer-Verlag. Available here.

[ECOOP14] Richard Jones, editor. 28th European Conference on Object-Oriented Programming, volume 8586 of Lecture Notes in Computer Science, Uppsala, July 2014. Springer-Verlag. Available here.

[ECOOP19] Alastair F. Donaldson, editor. 33rd European Conference on Object-Oriented Programming, volume 134 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2019. Available here.

[edel90a] Daniel R. Edelson and Ira Pohl. The case for garbage collection in C++. In Jul and Juul [OOPSLA90-gc], 1990. Also University of California, Santa Cruz technical report UCSC-CRL-90-37. Available here.

[edel91] Daniel R. Edelson and Ira Pohl. A copying collector for C++. In Usenix C++ Conference, pages 85-102. USENIX Association, 1991.

[edel90] Daniel R. Edelson. Dynamic storage reclamation in C++. Master's thesis, University of California, Santa Cruz, June 1990.

[edel92] Daniel R. Edelson. A mark-and-sweep collector for C++. In POPL 1992 [POPL92], 1992. Available here.

[edel92a] Daniel R. Edelson. Precompiling C++ for garbage collection. In Bekkers and Cohen [IWMM92], 1992, pages 299-314. Available here.

[edel92b] Daniel R. Edelson. Smart pointers: They're smart, but they're not pointers. In USENIX C++ Conference, Portland, OR, August 1992. USENIX Association.

[edel93] Daniel R. Edelson. Comparing two garbage collectors for C++. Technical Report UCSC-CRL-93-20, University of California, Santa Cruz, January 1993. Available here.

[edel93a] Daniel Ross Edelson. Type-Specific Storage Management. PhD thesis, University of California, Santa Cruz, May 1993.

[edwa] Daniel J. Edwards. Lisp II garbage collector. AI Memo 19, MIT AI Laboratory, 1960.

[effi06a] Laura Effinger-Dean, Chris Erickson, Melissa O'Neill, and Darren Strash. Extending garbage collection to complex data structures. In SPACE 2006 [SPACE06], 2006, pages 91-97. Available here.

[effi06] Laura Effinger-Dean, Chris Erickson, Melissa O'Neill, and Darren Strash. Garbage collection for trailer arrays. In SPACE 2006 [SPACE06], 2006, pages 83-90. Available here.

[egud92] R. Egudo. An analysis of a garbage collection operation. International journal of mathematical education in science and technology, 23(1):89-96, January 1992.

[ehn89] L. Ehn. A contribution to the increase of efficiency of on-the-fly garbage collection. Computers And Artificial Intelligence, 8(1):83-91, 1989.

[ehn89a] L. Ehn. Performance analysis of on-the-fly garbage collection systems. Computers And Artificial Intelligence, 8(2):141-152, 1989.

[eisn01] Cindy Eisner. Model checking the garbage collection mechanism of SMV. Electronic Notes in Theoretical Computer Science, 55(3):289-303, October 2001. Available here.

[deso06] Ali Ebrahim El Desokey, Aida Abd El Gawad, Amany Sarhan, and Seham Moawed. Improving the performance of the deferrable server based garbage collection scheduling strategy. In ITI 4th International Conference on Information and Communications Technology, Cairo, Egypt, 2006. Available here.

[elha90] Ahmed El-Habbash, Chris Horn, and Neville Harris. Garbage collection in an object oriented, distributed, persistent environment. In Jul and Juul [OOPSLA90-gc], 1990. Available here.

[elli88] John R. Ellis, Kai Li, and Andrew W. Appel. Real-time concurrent collection on stock multiprocessors. Technical Report DEC-SRC-TR-25, DEC Systems Research Center, Palo Alto, CA, February 1988.

[elli93a] John R. Ellis and David L. Detlefs. Safe, efficient garbage collection for C++. Technical report, Xerox PARC, Palo Alto, CA, 1993. Available here.

[elli88a] C.S. Ellis and T.J. Olson. Algorithms for parallel memory allocation. International Journal of Parallel Programming, 17(4):303-345, 1988.

[ARM90] Margaret A. Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual, 1990.

[elli93] John R. Ellis. Put up or shut up. In Moss et al. [OOPSLA93-gc], 1993. Available here.

[elli95] John R. Ellis. Tutorial: Is safe C++ an oxymoron?. In PLDI 1995 [PLDI95], 1995. Available here.

[elsm95] Martin Elsman and Niels Hallenberg. An optimizing back-end for the ML Kit using a stack of regions. Student Project 95-7-8, Department of Computer Science (DIKU), University of Copenhagen, July 1995.

[elsm01] Martin Elsman. A stack machine for region based programs. In SPACE 2001 [SPACE01], 2001. Available here.

[elsm03] Martin Elsman. Garbage collection safety for region-based memory management. In Shao and Lee [TLDI03], 2003, pages 123-134. Available here.

[elsm23] Martin Elsman. Garbage-collection safety for region-based type-polymorphic programs. In PLDI 2023 [PLDI23], 2023.

[elso75] M. Elson. Data Structures. Science Research Associates, 1975.

[emmi09] Michael Emmi, Ranjit Jhala, Eddie Kohler, and Rupak Majumdar. Verifying reference counting implementations. In S. Kowalewshi and A. Philippou, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 5505 of Lecture Notes in Computer Science, pages 352-367. Springer, 2009.

[EMSOFT01] T.A. Henzinger and C.M. Kirsch, editors. 1st International Workshop on Embedded Software (EMSOFT), volume 2211 of Lecture Notes in Computer Science, Tahoe City, CA, 2001. Springer-Verlag. Available here.

[endo97] Toshio Endo, Kenjiro Taura, and Akinori Yonezawa. A scalable mark-sweep garbage collector on large-scale shared-memory machines. In SC 1997 [SC97], 1997. Available here.

[endo02] Toshio Endo, Kenjiro Taura, and Akinori Yonezawa. Reducing pause time of conservative collectors. In Boehm and Detlefs [ISMM02], 2002, pages 12-24. Available here.

[endo98] Toshio Endo. A scalable mark-sweep garbage collector on large-scale shared-memory machines. Master's thesis, University of Tokyo, February 1998. Available here.

[endo01] Toshio Endo. Scalable Dynamic Memory Management Module on Shared Memory Multiprocessors. PhD thesis, University of Tokyo, September 2001. Available here.

[enge91] Steven L. Engelstad and James E. Vandendorpe. Automatic storage management for systems with real time constraints. In Wilson and Hayes [OOPSLA91-gc], 1991. Available here.

[gay07] David Gay Rob Ennals and Eric Brewer. Safe manual memory management. In Morrisett and Sagiv [ISMM07], 2007, pages 2-14. Available here.

[eran13] H. Eran and E. Petrank. A study of data structures with a deep heap shape. In MSPC 2013 [MSPC13], 2013, pages 21–-28. Available here.

[eran12] H. Eran. A study of data structures with a deep heap shape. Master's thesis, Technion, 2012. Available here.

[eric17] Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes Åman Pohjola.A verified generational garbage collector for CakeML. In ITP 2017 [ITP17], 2017.

[ersh58] A.P. Ershov. On programming of arithmetic operations. Communications of the ACM, 1(8):3-6, August 1958. Available here.

[ESOP86] Bernard Robinet and Reinhard Wilhelm, editors. European Symposium on Programming, volume 213 of Lecture Notes in Computer Science, Saarbrücken, Germany, March 1986. Springer-Verlag. Available here.

[ESOP90] Neil D. Jones, editor. European Symposium on Programming, volume 432 of Lecture Notes in Computer Science, Copenhagen, Denmark, May 1990. Springer-Verlag. Available here.

[ESOP92] European Symposium on Programming, volume 582 of Lecture Notes in Computer Science, Rennes, France, February 1992. Springer-Verlag. Available here.

[ESOP03] Pierpaolo Degano, editor. European Symposium on Programming, Lecture Notes in Computer Science, Warsaw, Poland, April 2003. Springer-Verlag. Available here.

[etie04] Lozes Etienne. Separation logic preserves the expressive power of classical logic. In SPACE 2004 [SPACE04], 2004.

[EuroSys10] 5th European Conference on Computer Systems (EuroSys), Paris, France, April 2010. ACM Press.

[EuroSys18] European Conference on Computer Systems (EuroSys). ACM Press, 2018.

[EuroSys19] European Conference on Computer Systems (EuroSys). ACM Press, March 2019.

[evan97] Huw Evans and Peter Dickman. Garbage collection and memory management. In OOPSLA 1997 [OOPSLA97], 1997, pages 138-143. Addendum to proceedings. Available here.

[evan96] David Evans. Static detection of dynamic memory errors. In PLDI 1996 [PLDI96], 1996, pages 44-53. Available here.

[even81] Shimon Even and Yossi Shiloach. An on-line edge-deletion problem. Journal of the ACM, 28(1):1-4, January 1981.

[texa87] Explorer (tm) System Software Design Notes, June 1987. Texas Instruments part number 2243208-0001*A.