Published in 1996, Richard Jones's Garbage Collection was a milestone book in the area of
automatic memory management. Its widely acclaimed successor, The Garbage Collection …

The virtual-to-physical address translation overhead, a major performance bottleneck for
modern workloads, can be effectively alleviated with huge pages. However, since huge …

Programmers are increasingly choosing managed languages for modern applications,
which tend to allocate many short-to-medium lived small objects. The garbage collector …

In practice, any database management system sometimes needs reorganization, that is, a
change in some aspect of the logical and/or physical arrangement of a database. In …

Concurrent garbage collection is highly attractive for real-time systems, because offloading
the collection effort from the executing threads allows faster response, allowing for extremely …

We present a parallel generational-copying garbage collector implemented for the Glasgow
Haskell Compiler. We use a block-structured memory allocator, which provides a natural …

Verifying program transformations usually requires proving that the resulting program (the
target) refines or is equivalent to the original one (the source). However, the refinement …

We present Stopless: a concurrent real-time garbage collector suitable for modern
multiprocessors running parallel multithreaded applications. Creating a garbage-collected …

An important feature of functional programs is that they are parallel by default. Implementing
an efficient parallel functional language, however, is a major challenge, in part because the …

Static data flow analysis is an integral building block for many applications, ranging from
compile-time code optimization to security and privacy analysis. When assessing whether a …