8 citations · 24 across the 10 of their papers we have counts for
10 papers
Computing Least Fixed Points with Overwrite Semantics in Parallel and Distributed Systems
Vijay K. Garg, Rohan Garg
We present methods to compute least fixed points of multiple monotone inflationary functions in parallel and distributed settings. While the classic Knaster-Tarski theorem addresse…
Efficient enumeration of quadratic lattices
Eran Assaf, Victor Chen, Rohan Garg +1
We present an algorithm to enumerate isometry classes of integral quadratic lattices of a given rank and determinant, and analyze its running time by giving bounds on the number of…
MANA-2.0: A Future-Proof Design for Transparent Checkpointing of MPI at Scale
Yao Xu, Zhengji Zhao, Rohan Garg +3
MANA-2.0 is a scalable, future-proof design for transparent checkpointing of MPI-based computations. Its network transparency ("network-agnostic") feature ensures that MANA-2.0 wil…
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…
MANA for MPI: MPI-Agnostic Network-Agnostic Transparent Checkpointing
Rohan Garg, Gregory Price, Gene Cooperman
Transparently checkpointing MPI for fault tolerance and load balancing is a long-standing problem in HPC. The problem has been complicated by the need to provide checkpoint-restart…
CRUM: Checkpoint-Restart Support for CUDA's Unified Memory
Rohan Garg, Apoore Mohan, Michael Sullivan +1
Unified Virtual Memory (UVM) was recently introduced on recent NVIDIA GPUs. Through software and hardware support, UVM provides a coherent shared memory across the entire heterogen…