5 citations · 5 across the 4 of their papers we have counts for
4 papers
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
Himanshu Chauhan, Vijay Garg
Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debug- ging, testing and runtime verification of parallel…
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations
Himanshu Chauhan, Vijay K. Garg
Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and i…
ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism
Weil-Lun Hung, Himanshu Chauhan, Vijay K. Garg
We present a set of novel ideas on design and implementation of monitor objects for multi-threaded programs. Our approach has two main goals: (a) increase parallelism in monitor ob…
Distributed Abstraction Algorithm for Online Predicate Detection
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan +1
Analyzing a distributed computation is a hard problem in general due to the combinatorial explosion in the size of the state-space with the number of processes in the system. By ab…