The GC 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.


V


[vall20] Andrés Valloud. Linked weak reference arrays: A hybrid approach to efficient bulk finalization. Science of Computer Programming, 196, 2020. Available here.

[valo95a] J.D. Valois. Lock-free data structures. PhD thesis, Rensselaer Polytechnic Institute, 1995.

[valo95] J.D. Valois. Lock-free linked lists using compare-and-swap. In PODC 1995 [PODC95], 1995, pages 214-222.

[assc06] Maxime van Assche, Joël Goossens, and Raymond R. Devillers. Joint garbage collection and hard real-time scheduling. Journal of Embedded Computing, 2(3-4):313-326, 2006. Also published in RTS'05 International Conference on Real-Time Systems, 2005. Available here.

[snep87] Jan van de Snepscheut. Algorithms for on-the-fly garbage collection revisited. Information Processing Letters, 24(4):211-216, March 1987.

[cruy19] Jonathan Van der Cruysse. Garbage collection abstractions for high-level GPU languages. Master's thesis, Ghent University, 2019. Available here.

[vane19] Noah Van Es, Quentin Stiévenart, and Coen De Roover. Garbage-free abstract interpretation through abstract reference counting. In Donaldson [ECOOP19], 2019, pages 10:1-10:33. Available here.

[gron04] J. van Groningen. Faster garbage collection using prefetching. In C.Grelck and F. Huch, editors, 16th International Workshop on Implementation and Application of Functional Languages (IFL), pages 142-152, Lübeck, Germany, 2004.

[vand03] Joseph C. Vanderwaart and Karl Crary. A typed interface for garbage collection. In Shao and Lee [TLDI03], 2003, pages 109-122. Available here.

[vard02] Abhay Vardhan and Gul Agha. Using passive object garbage collection algorithms. In Boehm and Detlefs [ISMM02], 2002, pages 106-113. Available here.

[varh97] Peter Varhol. Adapting Java for embedded systems. Computer Design, page 75, October 1997.

[varm08] Carsten Varming and Lars Birkedal. Higher-order separation logic in isabelle/holcf. Electronic Notes in Theoretical Computer Science, 218:371-389, October 2008. Available here.

[vata84] P. Vataja and E. Ukkonen. Finding temporary terms in PROLOG programs.. In International Conference on Fifth Generation Computer Systems, pages 275-282, Tokyo, November 1984. Ohmsha Ltd.

[vaug90] Francis Vaughan, T. Schunke, B. Koch, A. Dearle, C. Marlin, and C. Barter. A persistent distributed architecture supported by the mach operating system. In 1st USENIX Conference on the Mach Operating System, pages 123-140. USENIX Association, 1990.

[vaug00] Francis A. Vaughan, William F. Brodie-Tyrrell, Katrina E. Falkner, and David S. Munro. Bounded parallel garbage collection: Implementation and adaptation. In 7th Australian Parallel and Real Time (PART), Sydney, 2000. Available here.

[vaug92] Francis Vaughan and Alan Dearle. Supporting large persistent stores using conventional hardware. In Albano and Morrison [POS92], 1992, pages 34-53. Available here.

[vech05] Martin Vechev, David F. Bacon, Perry Cheng, and David Grove. Derivation and evaluation of concurrent collectors. In Black [ECOOP05], 2005, pages 577-601. Available here.

[vech06] Martin T. Vechev, Eran Yahav, and David F. Bacon. Correctness-preserving derivation of concurrent garbage collection algorithms. In Schwartzbach and Ball [PLDI06], 2006, pages 341-353. Available here.

[vech07] Martin T. Vechev, Eran Yahav, David F. Bacon, and Noam Rinetzky. CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors. In Ferrante and McKinley [PLDI07], 2007, pages 456-467. Available here.

[vech10] Martin Vechev, Eran Yahav, and Greta Yorsh. Phalanx: parallel checking of expressive heap assertions. In Vitek and Lea [ISMM10], 2010, pages 41-50. Available here.

[vech04] Martin Vechev and David F. Bacon. Write barrier elision for concurrent garbage collectors. In Bacon and Diwan [ISMM04], 2004, pages 13-24. Available here.

[vech03] Martin T. Vechev and Peter D. Petrov. Class unloading with a concurrent garbage collector in an embedded Java VM. In Embedded Systems and Applications 2003 (ESA'03), 2003.

[vech07a] Martin Vechev. Derivation and Evaluation of Concurrent Collectors. PhD thesis, University of Cambridge, 2007.

[VEE05] Michael Hind and Jan Vitek, editors. 1st ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Chicago, IL, June 2005. ACM Press. Available here.

[VEE06] Hans-J. Boehm and David Grove, editors. 2nd ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Ottawa, Canada, June 2006. ACM Press. Available here.

[VEE07] Chandra Krintz, Steven Hand, and David Tarditi, editors. 3rd ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, San Diego, CA, June 2007. ACM Press. Available here.

[VEE08] David Gregg, Vikram Adve, and Brian Bershad, editors. 4th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Seattle, WA, March 2008. ACM Press. Available here.

[VEE09] Antony L. Hosking, David Bacon, and Orran Krieger, editors. 5th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Washington, DC, March 2009. ACM Press. Available here.

[VEE10] Marc E. Fiuczynski, Emery Berger, and Andrew Warfield, editors. 6th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Pittsburgh, PA, March 2010. ACM Press. Available here.

[VEE11] Erez Petrank and Doug Lea, editors. 7th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Newport Beach, CA, March 2011. ACM Press. Available here.

[VEE12] Steven Hand and Dilma da Silva, editors. 8th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, London, UK, March 2012. ACM Press.

[VEE14] Erez Petrank, Dan Tsafrir, and Martin Hirzel, editors. 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Salt Lake City, UT, March 2014. ACM Press.

[VEE16] 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Atlanta, GA, March 2016. ACM Press.

[VEE17] Erez Petrank, Dan Tsafrir, and Martin Hirzel, editors. 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Xi'an, China, March 2017. ACM Press.

[VEE19] Jennifer B. Sartor, Mayur Naik, and Chris Rossbach, editors. 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Providence, RI, USA, April 2019. ACM Press.

[VEE20] Andrew Baumann and Baris Kasikci, editors. 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Lausanne, Switzerland, March 2020. ACM Press.

[vegd89] Steven R. Vegdahl and Uwe F. Pleban. The runtime environment of Screme, a Scheme implementation for the 88000. In ASPLOS 1989 [ASPLOS89], 1989, pages 172-182. Available here.

[veig07a] Luís Veiga, P. Pereira, and Paulo Ferreira. Complete distributed garbage collection using DGC-consistent cuts and .NET AOP-support. IET Software, 1(6):263-279, 2007. Available here.

[veig03] Luís Veiga and Paulo Ferreira. Complete distributed garbage collection, an experience with Rotor. IEE Research Journals - Software, 150(5), October 2003.

[veig04] Luís Veiga and Paulo Ferreira. Asynchronous, complete distributed garbage collection. Technical Report RT/11/2004, INESC-ID, Lisboa, June 2004.

[veig05] Luís Veiga and Paulo Ferreira. Asynchronous complete distributed garbage collection. In 19th IEEE International Symposium on Parallel and Distributed Processing, Denver, CO, April 2005.

[veig05b] Luís Veiga and Paulo Ferreira. A comprehensive approach for memory management of replicated objects. Technical Report RT/07/2005, INESC-ID, Lisbon, April 2005.

[veig07] Luís Veiga. OBIWAN: Middleware for Memory Management of Replicated Objects in Distributed and Mobile Computing. PhD thesis, Univesidade Técnica de Lisboa, Instituto Superior Técnico, March 2007.

[veil76] G. Veillon. Transformations de programmes recursifs. R.A.I.R.O. Informatique, 10(9):7-20, September 1976.

[vela04b] José Manuel Velasco, David Atienza, Francky Catthoor, , Francisco Tirado, Katzalin Olcoz, and Jose Manuel Mendias. Garbage collector refinement for new dynamic multimedia applications on embedded systems. In 8th Annual Workshop on Interaction between Compilers and Computer Architecture (INTERACT-8 2004), pages 25-32, Madrid, Spain, February 2004.

[vela04a] José Manuel Velasco, David Atienza, L. Pinuel, and Francky Catthoor. Energy-aware modelling of garbage collectors for new dynamic embedded systems. In 1st International Workshop on Power-Aware Real-Time Computing, Pisa, Italy, 2004. Available here.

[vela04] José Manuel Velasco, Antonio Ortiz, Katzalin Olcoz, and Francisco Tirado. Adaptive tuning of reserved space in an Appel collector. In Odersky [ECOOP04], 2004, pages 543-559. Available here.

[vela04c] José Manuel Velasco, Antonio Ortiz, Katzalin Olcoz, and Francisco Tirado. Dynamic management of nursery space organization in generational collection. In 8th Annual Workshop on Interaction between Compilers and Computer Architecture (INTERACT-8 2004), pages 33-40, Madrid, Spain, February 2004.

[vela05] José Manuel Velasco, David Atienza, Katzalin Olcoz, and Francky Catthoor. Performance evaluation of barrier techniques for distributed tracing garbage collectors. In International Conference on Parallel Computing (PARCO), pages 549-556, Malaga, Spain, 2005.

[vela05a] José Manuel Velasco, David Atienza, Katzalin Olcoz, Francky Catthoor, Francisco Tirado, and Jose Manuel Mendias. Energy characterization of garbage collectors for dynamic applications on embedded systems. In International Workshop on Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation PATMOS 2005, pages 69-78, Leuven, Belgium, 2005.

[vela09] José Manuel Velasco, David Atienza, and Katzalin Olcoz. Exploration of memory hierarchy configurations for efficient garbage collection on high-performance embedded systems. In GLSVLSI, 2009.

[vela12] José Manuel Velasco, David Atienza Alonso, and Katzalin Olcoz. Memory power optimization of Java-based embedded systems exploiting garbage collection information. Journal of Systems Architecture, 58(1):61-72, 2012. Available here.

[veld07] Ronald Veldema and Michael Philippsen. Supporting huge address spaces in a virtual machine for Java on a cluster. In LCPC 2007 [LCPC07], 2007. Available here.

[veld11] Ronald Veldema and Michæ}l Philippsen.Iterative data-parallel mark&sweep on a GPU. In Boehm and Bacon [ISMM11], 2011, page 1–10. Available here.

[veld12] Ronald Veldema and Michael Philippsen. Parallel memory defragmentation on a GPU. In Mutlu and Zhang [MSPC12], 2012, pages 38-47. Available here.

[veng09] David Vengerov. Modeling, analysis and throughput optimization of a generational garbage collector. In Kolodner and Steele [ISMM09], 2009, pages 1-9. Available here.

[venk92] Nalini Venkatasubramanian, Gul Agha, and Carolyn Talcott. Hierarchical garbage collection in scalable distributed systems. Technical Report UIUCDCS-R-92-1740, Department of Computer Science, University of Illinois at Urbana-Champaign, April 1992.

[venk92a] Nalini Venkatasubramanian, Gul Agha, and Carolyn Talcott. Scalable distributed garbage collection for systems of active objects. In Bekkers and Cohen [IWMM92], 1992, pages 134-147. Available here.

[venk91] Nalini Venkatasubramanian. Hierarchical garbage collection in scalable distributed systems. Master's thesis, University of Illinois, Urbana-Champaign, 1991.

[venn98] Bill Venners. Inside the Java Virtual Machine. The Java Masters Series. Computing McGraw-Hill, February 1998. Chapter 9: Garbage Collection. Available here.

[venn98a] Bill Venners. Object finalization and cleanup, June 1998. Available here.

[vens05a] Kris Venstermans, Lieven Eeckhout, and Koen De Bosschere. Implicit typing for 64-bit object header reduction in Java. In 5th ACES Symposium, pages 78-81, Gent, September 2005. Academia Press. Available here.

[vens07] Kris Venstermans, Lieven Eeckhout, and Koen De Bosschere. Java object header elimination for reduced memory consumption in 64-bit virtual machines. ACM Transactions on Architecture and Code Optimization, 4(3):30, 9 2007.

[vens07a] Kris Venstermans, Lieven Eeckhout, and Koen De Bosschere. Object-relative addressing: Compressed pointers in 64-bit Java virtual machines. In Ernst [ECOOP07], 2007, pages 79-100. Available here.

[vero13] Raoul L. Veroy, Nathan P. Ricci, and Samuel Z. Guyer. Visualizing the allocation and death of objects. In Proceedings of the First IEEE Working Conference on Software Visualization, 2013. Available here.

[vest87] Stephen C. Vestal. Garbage Collection: An Exercise in Distributed, Fault-Tolerant Programming. PhD thesis, University of Washington, Seattle, WA, 1987.

[MSPC11] Jeffrey Vetter, Madanlal Musuvathi, and Xipeng Shen, editors. Workshop on Memory System Performance and Correctness, San Jose, CA, June 2011. Available here.

[fran18] Juliana Patricia Vicente Franco. Orca: Ownership and Reference Count Collection for Actors. PhD thesis, Imperial College London, 2018. Available here.

[vies18] Hans-Nikolai Viess}mann, Artjoms Sinkarovs, and Sven-Bodo Scholz.Extended memory reuse: An optimisation for reducing memory allocations. In IFL 2018 [IFL18], 2018, pages 107-118. Available here.

[vija01] N. Vijaykrishnan, M. Kandemir, S. Kim, S. Tomar, A. Sivasubramaniam, and M.J. Irwin. Energy behavior of Java applications from the memory perspective. In JVM 2001 [JVM01], 2001. Available here.

[vird95] Robert Virding. A garbage collector for the concurrent real-time language Erlang. In Baker [IWMM95], 1995, pages 343-354. Available here.

[vo95] Kiem-Phong Vo. Vmalloc: A general and efficient memory allocator. Software: Practice and Experience, 26(3):357-374, 1996. Available here.

[vold83] J. Voldman, B. Mandelbrot, L.W. Hoevel, J. Knight, and P. Rosenfeld. Fractal nature of software-cache interaction. IBM Journal of Research and Development, 27(2):164-170, March 1983.

[sor15] Vladimir Sor, Satish Narayana Srirama, and Nikita Salnikov-Tarnovski.Memory leak detection in Plumbr. Software: Practice and Experience, 45(10):1307-–1330, October 2015. Available here.

[vuil80] Jean Vuillemin. A unifying look at data structures. Communications of the ACM, 29(4):229-239, April 1980. Available here.