research
∙
12/12/2022
Collective Vector Clocks: Low-Overhead Transparent Checkpointing for MPI
MPI is the de facto standard for parallel computation on a cluster of co...
share
research
∙
12/11/2022
McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs
Model checking has become a key tool for gaining confidence in correctne...
research
∙
12/19/2021
An Architecture for Exploiting Native User-Land Checkpoint-Restart to Improve Fuzzing
Fuzzing is one of the most popular and widely used techniques to find vu...
research
∙
12/10/2021
MANA-2.0: A Future-Proof Design for Transparent Checkpointing of MPI at Scale
MANA-2.0 is a scalable, future-proof design for transparent checkpointin...
research
∙
03/15/2021
Improving scalability and reliability of MPI-agnostic transparent checkpointing for production workloads at NERSC
Checkpoint/restart (C/R) provides fault-tolerant computing capability, e...
research
∙
08/24/2020
CRAC: Checkpoint-Restart Architecture for CUDA with Streams and UVM
The share of the top 500 supercomputers with NVIDIA GPUs is now over 25 ...
research
∙
02/14/2020
Sthread: In-Vivo Model Checking of Multithreaded Programs
This work strives to make formal verification of POSIX multithreaded pro...
research
∙
07/13/2019
A Secure Cloud with Minimal Provider Trust
Bolted is a new architecture for a bare metal cloud with the goal of pro...
research
∙
07/13/2019
Supporting Security Sensitive Tenants in a Bare-Metal Cloud
Bolted is a new architecture for bare-metal clouds that enables tenants ...
research
∙
04/20/2019
MANA for MPI: MPI-Agnostic Network-Agnostic Transparent Checkpointing
Transparently checkpointing MPI for fault tolerance and load balancing i...
research
∙
08/01/2018
CRUM: Checkpoint-Restart Support for CUDA's Unified Memory
Unified Virtual Memory (UVM) was recently introduced on recent NVIDIA GP...
research
∙
01/02/2018
M2: Malleable Metal as a Service
Existing bare-metal cloud services that provide users with physical node...
research
∙
03/02/2017
Adapting the DMTCP Plugin Model for Checkpointing of Hardware Emulation
Checkpoint-restart is now a mature technology. It allows a user to save ...
research
∙
07/27/2016
System-level Scalable Checkpoint-Restart for Petascale Computing
Fault tolerance for the upcoming exascale generation has long been an ar...
research
∙
12/23/2013
Transparent Checkpoint-Restart for Hardware-Accelerated 3D Graphics
Providing fault-tolerance for long-running GPU-intensive jobs requires a...
research
∙
12/13/2013
Transparent Checkpoint-Restart over InfiniBand
InfiniBand is widely used for low-latency, high-throughput cluster compu...
research
∙
12/08/2012
A Generic Checkpoint-Restart Mechanism for Virtual Machines
It is common today to deploy complex software inside a virtual machine (...
research
∙
10/27/2009
