Careers | Phone Book | A - Z Index

Khaled Ibrahim Cracks Graph500 with Precisely Tuned Data-Intensive Algorithms

Khaled Ibrahim

When the latest version of the Graph 500 list was released Nov. 16 at the SC16 conference, there were two new entries in the top 10, both contributed by Khaled Ibrahim of Berkeley Lab’s Computational Research Division. » 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

Unified Parallel C

UPC-CFD-large.jpg

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

Research

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…

DEGAS

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…

FastOS

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 »