10 citations · 92 across the 29 of their papers we have counts for
31 papers
Collective Vector Clocks: Low-Overhead Transparent Checkpointing for MPI
Yao Xu, Gene Cooperman
Taking snapshots of the state of a distributed computation is useful for off-line analysis of the computational state, for later restarting from the saved snapshot, for cloning a c…
McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
Maxwell Pirtle, Luka Jovanovic, Gene Cooperman
Context: Model checking has become a key tool for gaining confidence in correctness of multi-threaded programs. Unit tests and functional tests do not suffice because of race condi…
An Architecture for Exploiting Native User-Land Checkpoint-Restart to Improve Fuzzing
Prashant Singh Chouhan, Gregory Price, Gene Cooperman
Fuzzing is one of the most popular and widely used techniques to find vulnerabilities in any application. Fuzzers are fast enough, but they still spend a good portion of time to re…
Improving scalability and reliability of MPI-agnostic transparent checkpointing for production workloads at NERSC
Prashant Singh Chouhan, Harsh Khetawat, Neil Resnik +5
Checkpoint/restart (C/R) provides fault-tolerant computing capability, enables long running applications, and provides scheduling flexibility for computing centers to support diver…
CRAC: Checkpoint-Restart Architecture for CUDA with Streams and UVM
Twinkle Jain, Gene Cooperman
The share of the top 500 supercomputers with NVIDIA GPUs is now over 25% and continues to grow. While fault tolerance is a critical issue for supercomputing, there does not current…
Sthread: In-Vivo Model Checking of Multithreaded Programs
Gene Cooperman, Martin Quinson
This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, w…