Many of the challenges in building shared-memory data structures stem from needing to
update several memory locations at once—eg, updating four pointers to insert an item into a …

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 …

This paper presents ABS, an abstract behavioral specification language for designing
executable models of distributed object-oriented systems. The language combines …

Today's shared-memory parallel programming models are complex and error-prone. While
many parallel programs are intended to be deterministic, unanticipated thread interleavings …

The Task Parallel Library (TPL) is a library for. NET that makes it easy to take advantage of
potential parallelism in a program. The library relies heavily on generics and delegate …

The shift from single to multiple core architectures means that programmers must write
concurrent, multithreaded programs in order to increase application performance …

In today's widely used parallel programming models, subtle programming errors can lead to
unintended nondeterministic behavior and hard to catch bugs. In contrast, we argue for a …

We present the semantics and proof system for an object-oriented language with active
objects, asynchronous method calls, and futures. The language, based on Creol …

Many sequential applications are difficult to parallelize because of unpredictable control
flow, indirect data access, and input-dependent parallelism. These difficulties led us to build …

This monograph grows out of nearly 40 years of experience in synchronization and
concurrent data structures. Though written primarily from the perspective of systems …