Addressing False Causality while Detecting Predicates in Distributed Programs. - Ashis Tarafdar; Vijay K. Garg (ICDCS, 1998)

Predicate Control for Active Debugging of Distributed Programs. - Ashis Tarafdar; Vijay K. Garg (IPPS/SPDP, 1998)

Optimistic Recovery in Multi-threaded Distributed Systems. - Om P. Damani; Ashis Tarafdar; Vijay K. Garg (SRDS, 1999)

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. - Ashis Tarafdar; Vijay K. Garg (DISC, 1999)

Guava: a dialect of Java without data races. - David F. Bacon; Robert E. Strom; Ashis Tarafdar (OOPSLA, 2000)

Predicate control: synchronization in distributed computations with look-ahead. - Ashis Tarafdar; Vijay K. Garg (J. Parallel Distributed Comput., 2004)