| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Feng Mao, Eddy Z. Zhang, Xipeng Shen |
Influence of program inputs on the selection of garbage collectors.  |
VEE  |
2009 |
DBLP DOI BibTeX RDF |
cross-input program analysis, input-specific selection, minimum possible heap size, selection of garbage collectors, profiling |
| 2 | Gabriel Kliot, Erez Petrank, Bjarne Steensgaard |
A lock-free, concurrent, and incremental stack scanning mechanism for garbage collectors.  |
Operating Systems Review  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Chris Hawblitzel, Erez Petrank |
Automated verification of practical garbage collectors.  |
POPL  |
2009 |
DBLP DOI BibTeX RDF |
verification, garbage collection |
| 2 | Gabriel Kliot, Erez Petrank, Bjarne Steensgaard |
A lock-free, concurrent, and incremental stack scanning for garbage collectors.  |
VEE  |
2009 |
DBLP DOI BibTeX RDF |
incremental and concurrent garbage collection, lock-free data structures, stack scanning |
| 2 | Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li |
A general framework for certifying garbage collectors and their mutators.  |
PLDI  |
2007 |
DBLP DOI BibTeX RDF |
assembly code verification, garbage collection, abstract data type, separation logic, proof-carrying code |
| 2 | Chang-Il Cha, Sang-Wook Kim, Ji-Woong Chang, Miyoung Shin |
Performance Evaluation of Embedded Garbage Collectors in CVM Environment.  |
KES  |
2007 |
DBLP DOI BibTeX RDF |
CVM, Java, garbage collection, Java virtual machine |
| 2 | José Manuel Velasco, David Atienza, Katzalin Olcoz, Francky Catthoor, Francisco Tirado, Jose Manuel Mendias |
Energy Characterization of Garbage Collectors for Dynamic Applications on Embedded Systems.  |
PATMOS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin T. Vechev, David F. Bacon |
Write barrier elision for concurrent garbage collectors.  |
ISMM  |
2004 |
DBLP DOI BibTeX RDF |
write barrier, concurrent garbage collection |
| 2 | Sunil Soman, Chandra Krintz, David F. Bacon |
Dynamic selection of application-specific garbage collectors.  |
ISMM  |
2004 |
DBLP DOI BibTeX RDF |
application-specific collection, dynamic selection, Java, virtual machine, annotation, hot-swapping |
| 2 | Hans-Juergen Boehm |
Bounding space usage of conservative garbage collectors.  |
POPL  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro |
Assessing the scalability of garbage collectors on many cores.  |
Operating Systems Review  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Formal Derivation of Concurrent Garbage Collectors  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chris Hawblitzel, Erez Petrank |
Automated Verification of Practical Garbage Collectors  |
Logical Methods in Computer Science  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Formal Derivation of Concurrent Garbage Collectors.  |
MPC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Parametric inference of memory requirements for garbage collected languages.  |
ISMM  |
2010 |
DBLP DOI BibTeX RDF |
live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages |
| 1 | Xipeng Shen, Feng Mao, Kai Tian, Eddy Z. Zhang |
The study and handling of program inputs in the selection of garbage collectors.  |
Operating Systems Review  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoshan Liu, Ligang Wang, Xiao-Feng Li, Jean-Luc Gaudiot |
Space-and-time efficient garbage collectors for parallel systems.  |
Conf. Computing Frontiers  |
2009 |
DBLP DOI BibTeX RDF |
garbage collection, java virtual machine |
| 1 | José Manuel Velasco, David Atienza, Katzalin Olcoz |
Exploration of memory hierarchy configurations for efficient garbage collection on high-performance embedded systems.  |
ACM Great Lakes Symposium on VLSI  |
2009 |
DBLP DOI BibTeX RDF |
memory exploration, java, embedded systems, garbage collection |
| 1 | Hans-Juergen Boehm, Mike Spertus |
Garbage collection in the next C++ standard.  |
ISMM  |
2009 |
DBLP DOI BibTeX RDF |
C++, garbage collection |
| 1 | Mauricio J. Serrano, Xiaotong Zhuang |
Placement optimization using data context collected during garbage collection.  |
ISMM  |
2009 |
DBLP DOI BibTeX RDF |
data context, data context analysis, program understanding, placement optimization |
| 1 | David Vengerov |
Modeling, analysis and throughput optimization of a generational garbage collector.  |
ISMM  |
2009 |
DBLP DOI BibTeX RDF |
tenuring threshold, throughput model, garbage collection, parameter optimization |
| 1 | Zhong Shao |
Modular Development of Certified System Software.  |
TASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Pizlo, Erez Petrank, Bjarne Steensgaard |
A study of concurrent real-time garbage collectors.  |
PLDI  |
2008 |
DBLP DOI BibTeX RDF |
lock-free computation, real-time, garbage collection, memory management, concurrent garbage collection |
| 1 | Michal Wegiel, Chandra Krintz |
The mapping collector: virtual memory support for generational, parallel, and concurrent compaction.  |
ASPLOS  |
2008 |
DBLP DOI BibTeX RDF |
parallel, concurrent, virtual memory, compaction |
| 1 | Filip Pizlo, Erez Petrank, Bjarne Steensgaard |
Path specialization: reducing phased execution overheads.  |
ISMM  |
2008 |
DBLP DOI BibTeX RDF |
garbage collection, memory management, c#, write barriers, read barriers |
| 1 | Stephen M. Blackburn, Kathryn S. McKinley |
Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance.  |
PLDI  |
2008 |
DBLP DOI BibTeX RDF |
free-list, immix, mark-region, semi-space, sweep-to-free-list, sweep-to-region, locality, fragmentation, compaction, mark-sweep |
| 1 | Michael H. Dawson |
Challenges in Implementing the Real-Time Specification for Java (RTSJ) in a Commercial Real-Time Java Virtual Machine.  |
ISORC  |
2008 |
DBLP DOI BibTeX RDF |
Java, Real-time, Implementation |
| 1 | Jeremy Singer, Gavin Brown, Ian Watson, John Cavazos |
Intelligent selection of application-specific garbage collectors.  |
ISMM  |
2007 |
DBLP DOI BibTeX RDF |
application-specific garbage collection, machine learning |
| 1 | Harel Paz, Erez Petrank |
Using Prefetching to Improve Reference-Counting Garbage Collectors.  |
CC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian P. Doherty |
A real-time benchmark for Java™.  |
JTRES  |
2007 |
DBLP DOI BibTeX RDF |
SPECjbb2005, Java, real-time, benchmarks, RTSJ |
| 1 | Filip Pizlo, Antony L. Hosking, Jan Vitek |
Hierarchical real-time garbage collection.  |
LCTES  |
2007 |
DBLP DOI BibTeX RDF |
Java memory management, real time systems |
| 1 | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.  |
PLDI  |
2007 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
| 1 | Sylvain Stanchina, Matthias Meyer |
Exploiting the efficiency of generational algorithms for hardware-supported real-time garbage collection.  |
SAC  |
2007 |
DBLP DOI BibTeX RDF |
object-based processor architecture, write barrier, real-time garbage collection, generational garbage collection |
| 1 | Maayan Goldstein, Onn Shehory, Yaron Weinsberg |
Can self-healing software cope with loitering?  |
SOQUA  |
2007 |
DBLP DOI BibTeX RDF |
self-*, autonomic computing, self-healing, systems management, performance management |
| 1 | Stephen M. Blackburn, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss, Ting Yang |
Profile-based pretenuring.  |
ACM Trans. Program. Lang. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
lifetime prediction, pretenuring, profiling, Garbage collection |
| 1 | Uday P. Khedker, Amitabha Sanyal, Amey Karkare |
Heap reference analysis using access graphs.  |
ACM Trans. Program. Lang. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
heap references, data flow analysis, liveness, Aliasing |
| 1 | Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez |
Incorporating Precise Garbage Collection in an Ada Compiler.  |
Ada-Europe  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunxiao Lin, Yiyun Chen, Long Li, Bei Hua |
Garbage Collector Verification for Proof-Carrying Code.  |
J. Comput. Sci. Technol.  |
2007 |
DBLP DOI BibTeX RDF |
program safety, program verification, proof-carrying code, garbage collector |
| 1 | Dries Buytaert, Kris Venstermans, Lieven Eeckhout, Koen De Bosschere |
GCH: Hints for Triggering Garbage Collections.  |
T. HiPEAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hezi Azatchi, Erez Petrank |
Integrating generations with advanced reference counting garbage collectors.  |
Concurrency and Computation: Practice and Experience  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas, Jesper Wilhelmsson |
Mark and split.  |
ISMM  |
2006 |
DBLP DOI BibTeX RDF |
mark-and-split, mark-and-sweep, non-moving garbage collectors, java |
| 1 | Wen-ke Chen, Sanjay Bhansali, Trishul M. Chilimbi, Xiaofeng Gao, Weihaw Chuang |
Profile-guided proactive garbage collection for locality optimization.  |
PLDI  |
2006 |
DBLP DOI BibTeX RDF |
page optimization, data locality, memory optimization, cache optimization, garbage collectors |
| 1 | Melissa E. O'Neill, F. Warren Burton |
Smarter garbage collection with simplifiers.  |
Memory System Performance and Correctness  |
2006 |
DBLP DOI BibTeX RDF |
lightweight daemon, simplifier, weak pointer, finalizer |
| 1 | Andrew M. Cheadle, A. J. Field, J. W. Ayres, Neil Dunn, Richard A. Hayden, Johan Nyström-Persson |
Visualising dynamic memory allocators.  |
ISMM  |
2006 |
DBLP DOI BibTeX RDF |
visualisation of objects, garbage collection, memory management, dynamic memory allocation, language implementation |
| 1 | Chengliang Zhang, Kirk Kelsey, Xipeng Shen, Chen Ding, Matthew Hertz, Mitsunori Ogihara |
Program-level adaptive memory management.  |
ISMM  |
2006 |
DBLP DOI BibTeX RDF |
heap sizing, program-level, adaptive, garbage collection, paging |
| 1 | Gilberto Contreras, Margaret Martonosi |
Techniques for Real-System Characterization of Java Virtual Machine Energy and Power Behavior.  |
IISWC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Chang, Andy J. Wellings |
Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements.  |
RTSS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Inoue, Darko Stefanovic, Stephanie Forrest |
On the Prediction of Java Object Lifetimes.  |
IEEE Trans. Computers  |
2006 |
DBLP DOI BibTeX RDF |
Object lifetimes, pretenuring, garbage collection, workload characterization, program behavior, object-oriented programming languages |
| 1 | Rafael Dueire Lins |
New Algorithms and Applications of Cyclic Reference Counting.  |
ICGT  |
2006 |
DBLP DOI BibTeX RDF |
cyclic graphs, webpage management, process management, reference counting |
| 1 | Quan Phan |
Static Memory Management for Logic Programming Languages.  |
ICLP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Phan, Gerda Janssens |
Towards Region-Based Memory Management for Mercury Programs.  |
ICLP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart Norcross, Ronald Morrison, David S. Munro, Henry Detmold, Katrina E. Falkner |
Implementing a Family of Distributed Garbage Collectors.  |
Journal of Research and Practice in Information Technology  |
2005 |
DBLP BibTeX RDF |
|
| 1 | José Manuel Velasco, David Atienza, Katzalin Olcoz, Francky Catthoor |
Performance Evaluation of Barrier Techniques for Distributed Tracing Garbage Collectors.  |
PARCO  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tobias Mann, Morgan Deters, Rob LeGrand, Ron Cytron |
Static determination of allocation rates to support real-time garbage collection.  |
LCTES  |
2005 |
DBLP DOI BibTeX RDF |
allocation rate, static analysis, real-time garbage collection |
| 1 | Matthew Hertz, Emery D. Berger |
Quantifying the performance of garbage collection vs. explicit memory management.  |
OOPSLA  |
2005 |
DBLP DOI BibTeX RDF |
explicit memory management, oracular memory management, performance analysis, throughput, garbage collection, paging, time-space tradeoff |
| 1 | Matthew Hertz, Yi Feng, Emery D. Berger |
Garbage collection without paging.  |
PLDI  |
2005 |
DBLP DOI BibTeX RDF |
bookmarking collection, generational collection, memory pressure, garbage collection, virtual memory, paging |
| 1 | V. Krishna Nandivada, David Detlefs |
Compile-Time Concurrent Marking Write Barrier Removal.  |
CGO  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dries Buytaert, Kris Venstermans, Lieven Eeckhout, Koen De Bosschere |
Garbage Collection Hints.  |
HiPEAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Yong Cher, Antony L. Hosking, T. N. Vijaykumar |
Software prefetching for mark-sweep garbage collection: hardware analysis and software redesign.  |
ASPLOS  |
2004 |
DBLP DOI BibTeX RDF |
buffered prefetch, prefetch-on-grey, garbage collection, prefetching, cache architecture, breadth-first, mark-sweep, depth-first |
| 1 | David F. Bacon, Perry Cheng, David Grove |
Garbage collection for embedded systems.  |
EMSOFT  |
2004 |
DBLP DOI BibTeX RDF |
mark-and-sweep, tracing, fragmentation, compaction |
| 1 | Stephen M. Blackburn, Antony L. Hosking |
Barriers: friend or foe?  |
ISMM  |
2004 |
DBLP DOI BibTeX RDF |
java, garbage collection, memory management, write barriers |
| 1 | Maria Jump, Stephen M. Blackburn, Kathryn S. McKinley |
Dynamic object sampling for pretenuring.  |
ISMM  |
2004 |
DBLP DOI BibTeX RDF |
dynamic pretenuring, object sampling, garbage collection, memory management |
| 1 | Ting Yang, Matthew Hertz, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss |
Automatic heap sizing: taking real memory into account.  |
ISMM  |
2004 |
DBLP DOI BibTeX RDF |
garbage collection, virtual memory, paging |
| 1 | Samuel Z. Guyer, Kathryn S. McKinley |
Finding your cronies: static analysis for dynamic object colocation.  |
OOPSLA  |
2004 |
DBLP DOI BibTeX RDF |
compiler-assisted memory, cooperative optimization, static analysis, management |
| 1 | Xianglong Huang, Stephen M. Blackburn, Kathryn S. McKinley, J. Eliot B. Moss, Zhenlin Wang, Perry Cheng |
The garbage collection advantage: improving program locality.  |
OOPSLA  |
2004 |
DBLP DOI BibTeX RDF |
compiler-assisted, adaptive, locality, generational |
| 1 | Narendran Sachindran, J. Eliot B. Moss, Emery D. Berger |
MC2: high-performance garbage collection for memory-constrained environments.  |
OOPSLA  |
2004 |
DBLP DOI BibTeX RDF |
copying collector, generational collector, mark-compact, mark-copy, memory-constrained copying, java, mark-sweep |
| 1 | Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley |
Oil and Water? High Performance Garbage Collection in Java with MMTk.  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fridtjof Siebert |
The Impact of Realtime Garbage Collection on Realtime Java Programming.  |
ISORC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Woo Jin Kim, Kyungbaek Kim, Jaesun Han, Keuntae Park, Daeyeon Park |
Thread-Aware Garbage Collection for Server Applications.  |
SAINT  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hezi Azatchi, Erez Petrank |
Integrating Generations with Advanced Reference Counting Garbage Collectors.  |
CC  |
2003 |
DBLP DOI BibTeX RDF |
Garbage collection, Memory management, Runtime systems, Generational Garbage Collection |
| 1 | Stuart Norcross, Ronald Morrison, David S. Munro, Henry Detmold |
Implementing a Family of Distributed Garbage Collectors.  |
ACSC  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martin Hirzel, Amer Diwan, Matthew Hertz |
Connectivity-based garbage collection.  |
OOPSLA  |
2003 |
DBLP DOI BibTeX RDF |
connectivity based garbage collection |
| 1 | Narendran Sachindran, J. Eliot B. Moss |
Mark-copy: fast copying GC with less space overhead.  |
OOPSLA  |
2003 |
DBLP DOI BibTeX RDF |
copying collector, generational collector, mark-copy, Java, mark-sweep |
| 1 | Joseph Vanderwaart, Karl Crary |
A typed interface for garbage collection.  |
TLDI  |
2003 |
DBLP DOI BibTeX RDF |
typed compilation, garbage collection, type systems, certified code |
| 1 | Bruno Blanchet |
Escape analysis for JavaTM: Theory and practice.  |
ACM Trans. Program. Lang. Syst.  |
2003 |
DBLP DOI BibTeX RDF |
stack allocation, synchronization elimination, Java, optimization, static analysis |
| 1 | Witawas Srisa-an, Chia-Tien Dan Lo, J. Morris Chang |
Active Memory Processor: A Hardware Garbage Collector for Real-Time Java Embedded Devices.  |
IEEE Trans. Mob. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
active memory, real-time systems, embedded systems, Garbage collection, Java virtual machine |
| 1 | Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Kean Kuiper, Victor Leikehman |
An algorithm for parallel incremental compaction.  |
MSP/ISMM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Blackburn, Kathryn S. McKinley |
In or out?: putting write barriers in their place.  |
MSP/ISMM  |
2002 |
DBLP DOI BibTeX RDF |
copying collection, generational collection, Java, write barriers |
| 1 | Martin Hirzel, Johannes Henkel, Amer Diwan, Michael Hind |
Understanding the connectivity of heap objects.  |
MSP/ISMM  |
2002 |
DBLP DOI BibTeX RDF |
connectivity based garbage collection, object lifetimes |
| 1 | Tony Printezis, Alex Garthwaite |
Visualising the train garbage collector.  |
MSP/ISMM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Darko Stefanovic, Matthew Hertz, Stephen Blackburn, Kathryn S. McKinley, J. Eliot B. Moss |
Older-first garbage collection in practice: evaluation in Java Virtual Machine.  |
MSP/ISMM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Cierniak, Brian T. Lewis, James M. Stichnoth |
Open runtime platform: flexibility with performance using interfaces.  |
Java Grande  |
2002 |
DBLP DOI BibTeX RDF |
modular components, Java, virtual machine, interfaces, garbage collection, interface design, JVM, just-in-time compilation, dynamic compilation |
| 1 | Tony Printezis, Richard E. Jones |
GCspy: an adaptable heap visualisation framework.  |
OOPSLA  |
2002 |
DBLP DOI BibTeX RDF |
visualisation of objects, Java, garbage collection, memory management, language implementation |
| 1 | Martin Hirzel, Amer Diwan, Johannes Henkel |
On the usefulness of type and liveness accuracy for garbage collection and leak detection.  |
ACM Trans. Program. Lang. Syst.  |
2002 |
DBLP DOI BibTeX RDF |
liveness accuracy, type accuracy, program analysis, leak detection, Conservative garbage collection |
| 1 | Chia-Tien Dan Lo, Witawas Srisa-an, J. Morris Chang |
A Multithreaded Concurrent Garbage Collector Parallelizing the New Instruction in Java. (PDF / PS)  |
IPDPS  |
2002 |
DBLP DOI BibTeX RDF |
parallel garbage collector, object-oriented programming, Java Virtual Machine, multithreaded programming, dynamic memory management, concurrent garbage collection |
| 1 | Tobias Ritzau, Peter Fritzson |
Decreasing Memory Overhead in Hard Real-Time Garbage Collection.  |
EMSOFT  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste |
Copying Garbage Collection for the WAM: To Mark or Not to Mark?  |
ICLP  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshio Endo, Kenjiro Taura, Akinori Yonezawa |
Predicting Scalability of Parallel Garbage Collectors on Shared Memory Multiprocessors.  |
IPDPS  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Daniel C. Wang, Andrew W. Appel |
Type-preserving garbage collectors.  |
POPL  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Monnier, Bratin Saha, Zhong Shao |
Principled Scavenging.  |
PLDI  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen M. Blackburn, J. Eliot B. Moss, Richard L. Hudson, Ronald Morrison, David S. Munro, John N. Zigman |
Starting with Termination: A Methodology for Building Distributed Garbage Collection Algorithms.  |
ACSC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hirzel, Amer Diwan, Antony L. Hosking |
On the Usefulness of Liveness for Garbage Collection and Leak Detection.  |
ECOOP  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Koji Kagawa |
Monadic Encapsulation with Stack of Regions.  |
FLOPS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Fernando Castro, Vítor Santos Costa |
Understanding Memory Management in Prolog Systems.  |
ICLP  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Richard Attanasio, David F. Bacon, Anthony Cocchi, Stephen E. Smith |
A Comparative Evaluation of Parallel Garbage Collector Implementations.  |
LCPC  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Philippsen |
Cooperating distributed garbage collectors for clusters and beyond.  |
Concurrency - Practice and Experience  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonor Prensa Nieto, Javier Esparza |
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL.  |
MFCS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Fitzgerald, David Tarditi |
The Case for Profile-Directed Selection of Garbage Collectors.  |
ISMM  |
2000 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Bart Demoen |
Prolog and abduction 4 writing garbage collectors.  |
LOPSTR  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Dickman |
Diffusion Tree Restructuring for Indirect Reference Counting.  |
ISMM  |
2000 |
DBLP DOI BibTeX RDF |
|