Numerous systems have been designed which use virtualization to subdivide the ample
resources of a modern computer. Some require specialized hardware, or cannot support …

Writing concurrent programs is notoriously difficult, and is of increasing practical importance.
A particular source of concern is that even correctly-implemented concurrency abstractions …

Commodity computer systems contain more and more processor cores and exhibit increasingly
diverse architectural tradeoffs, including memory hierarchies, interconnects, instruction …

Concurrent programming is notoriously difficult. Current abstractions are intricate and make
it hard to design computer systems that are reliable and scalable. We argue that these …

Protein interactions form a network whose structure drives cellular function and whose
organization informs biological inquiry. Using high-throughput affinity-purification mass …

We describe a set of implementations of the NAS Parallel Benchmarks based on Fortran 77
and the MPI message passing standard. These implementations, which are intended to be …

Amyotrophic lateral sclerosis (ALS) is a devastating neurological disease with no effective
treatment. We report the results of a moderate-scale sequencing study aimed at increasing the …

Collagen fibres form the stable architecture of connective tissues and their breakdown is a
key irreversible step in many pathological conditions 1,2 . The destruction of collagen is …

We present a new non-blocking implementation of concurrent linked-lists supporting linearizable
insertion and deletion operations. The new algorithm provides substantial benefits over …

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 …