Careers | Phone Book | A - Z Index


upcxx blue converted

UPC++ is a C++ library that supports Partitioned Global Address Space (PGAS) programming, and is designed to interoperate smoothly and efficiently with MPI, OpenMP, CUDA and AMTs. It leverages GASNet-EX to deliver low-overhead, fine-grained communication, including Remote Memory Access (RMA) and Remote Procedure Call (RPC). » Read More


gasnet ex black square

GASNet is a language-independent, networking middleware layer that provides network-independent, high-performance communication primitives including Remote Memory Access (RMA) and Active Messages (AM). It has been used to implement parallel programming models such as UPC, UPC++, Co-Array Fortran, Legion, Chapel, and many others. GASNet-EX is the next generation of the GASNet-1 communication system, redesigned to accommodate the emerging needs of Exascale supercomputing. » Read More

Unified Parallel C (UPC)


Unified Parallel C (UPC) is an extension of the C programming language designed for high performance computing on large-scale parallel machines.The language provides a uniform programming model for both shared and distributed memory hardware. » Read More

Pagoda Project

330px Horyu ji09s3200

The Pagoda Project researches and develops cutting-edge software for implementing high-performance applications and software infrastructure under the Partitioned Global Address Space (PGAS) model. » Read More


The Pagoda Project

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

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…


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…


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…

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.

More from Research »