Careers | Phone Book | A - Z Index


The Pagoda Project

Pagoda consists of an implementation layer, GASNet, and two productivity layers: UPC++ and UPC. Read More »

Berkeley Lab Checkpoint/Restart (BLCR) for LINUX

This work focuses on checkpointing parallel applications that communicate through MPI, and on compatibility with the software suite produced by the SciDAC Scalable Systems Software ISIC. Read More »


Dynamic Exascale Global Address Space Programming Environments The Dynamic, Exascale Global Address Space programming environment (DEGAS) project will develop the next generation of programming models, runtime systems and tools to meet the challenges of Exascale systems.  We will develop a new set of programming concepts based on a hierarchical model of parallelism and data locality, hierarchical fault containment/recovery for resilience, introspective dynamic resource management, demonstrate… Read More »


Overview Chip multiprocessors containing hundreds or even thousands of cores will challenge current operating systems (OS) practices. Many of the fundamental assumptions that underlie current OS technology are based on design assumptions that are no longer valid for a chip multiprocessor (CMP) containing thousands of cores. In the context of handheld devices, the OS must manage quality-of-service and resource contention for a complex multi-programmed environment. In the context of high… Read More »

CORVETTE: Correctness Verification and Testing of Parallel Programs

Research Topics The goal of this project is to provide tools to assess the correctness of parallel programs written using hybrid parallelism. There is a dire lack of both theoretical and engineering know-how in the area of finding bugs in hybrid or large scale parallel programs, which our research aims to change. As intranode programming is likely to be the most disrupted by the transition to Exascale, we will emphasize support for a large spectrum of programming and execution models such as… Read More »