| 2025 | RV | Monitoring Distributed Systems Based on Partial Order Executions with Global States. | Moran Omer, Doron Peled, Ely Porat, Vijay K. Garg |
| 2024 | ICDCN | Parallel Algorithms for Equilevel Predicates. | Vijay K. Garg, Robert P. Streit |
| 2023 | SSS | Improved Paths to Stability for the Stable Marriage Problem. | Vijay K. Garg, Changyong Hu |
| 2022 | ICDCN | A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems. | Vijay K. Garg |
| 2021 | SSS | A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem. | Vijay K. Garg |
| 2021 | WADS | Characterization of Super-Stable Matchings. | Changyong Hu, Vijay K. Garg |
| 2020 | ISPDC | Efficient Parallel Shortest Path Algorithms. | David R. Alves, Madan S. Krishnakumar, Vijay K. Garg |
| 2020 | OPODIS | Byzantine Lattice Agreement in Asynchronous Systems. | Xiong Zheng, Vijay K. Garg |
| 2020 | SPAA | Predicate Detection to Solve Combinatorial Optimization Problems. | Vijay K. Garg |
| 2019 | ICDCN | Parallel algorithms for predicate detection. | Vijay K. Garg, Rohan Garg |
| 2019 | ICDCS | An Optimal Vector Clock Algorithm for Multithreaded Systems. | Xiong Zheng, Vijay K. Garg |
| 2019 | OPODIS | Parallel and Distributed Algorithms for the Housing Allocation Problem. | Xiong Zheng, Vijay K. Garg |
| 2019 | OPODIS | Linearizable Replicated State Machines With Lattice Agreement. | Xiong Zheng, Vijay K. Garg, John Kaippallimalil |
| 2017 | OPODIS | Fast Detection of Stable and Count Predicates in Parallel Computations. | Himanshu Chauhan, Vijay K. Garg |
| 2017 | RV | Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. | Himanshu Chauhan, Vijay K. Garg |
| 2016 | OPODIS | Predicate Detection for Parallel Computations with Locking Constraints. | Yen-Jung Chang, Vijay K. Garg |
| 2015 | ICDCN | Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. | Himanshu Chauhan, Vijay K. Garg |
| 2015 | OPODIS | QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations. | Yen-Jung Chang, Vijay K. Garg |
| 2015 | OPODIS | ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. | Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg |
| 2015 | PPoPP | A parallel algorithm for global states enumeration in concurrent systems. | Yen-Jung Chang, Vijay K. Garg |
| 2014 | ICDCN | Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. | Aravind Natarajan, Neeraj Mittal, Vijay K. Garg |
| 2013 | ICDCN | Democratic Elections in Faulty Distributed Systems. | Himanshu Chauhan, Vijay K. Garg |
| 2013 | ICDCN | Maximal Antichain Lattice Algorithms for Distributed Computations. | Vijay K. Garg |
| 2013 | PLDI | AutoSynch: an automatic-signal monitor based on predicate tagging. | Wei-Lun Hung, Vijay K. Garg |
| 2013 | PODC | Byzantine vector consensus in complete graphs. | Nitin H. Vaidya, Vijay K. Garg |
| 2013 | SRDS | A Distributed Abstraction Algorithm for Online Predicate Detection. | Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal |
| 2012 | OPODIS | Lattice Completion Algorithms for Distributed Computations. | Vijay K. Garg |
| 2012 | PODC | Brief announcement: all-to-all gradecast using coding with byzantine failures. | John Bridgman, Vijay K. Garg |
| 2012 | SSS | All-to-All Gradecast Using Coding with Byzantine Failures. | John Bridgman, Vijay K. Garg |
| 2011 | ICDCN | An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem. | Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal |
| 2011 | ICDCS | Fused Data Structures for Handling Multiple Faults in Distributed Systems. | Bharath Balasubramanian, Vijay K. Garg |
| 2011 | OPODIS | Fused State Machines for Fault Tolerance in Distributed Systems. | Bharath Balasubramanian, Vijay K. Garg |
| 2011 | OPODIS | Accurate Byzantine Agreement with Feedback. | Vijay K. Garg, John Bridgman, Bharath Balasubramanian |
| 2011 | PODC | Accurate byzantine agreement with feedback. | Vijay K. Garg, John Bridgman, Bharath Balasubramanian |
| 2010 | SSS | Modeling and Analyzing Periodic Distributed Computations. | Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale |
| 2009 | HiPC | Highly scalable algorithm for distributed real-time text indexing. | Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg |
| 2008 | CAV | Producing Short Counterexamples Using "Crucial Events". | Sujatha Kashyap, Vijay K. Garg |
| 2008 | HiPC | Optimization of BLAS on the Cell Processor. | Vaibhav Saxena, Prashant Agrawal, Yogish Sabharwal, Vijay K. Garg, Vimitha A. Kuruvilla, John A. Gunnels |
| 2008 | ICDCN | Fault Tolerance in Finite State Machines Using Fusion. | Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg |
| 2007 | ICDCS | Fusible Data Structures for Fault-Tolerance. | Vijay K. Garg, Vinit A. Ogale |
| 2006 | ICDCS | Efficient Incremental Optimal Chain Partition of Distributed Program Traces. | Selma Ikiz, Vijay K. Garg |
| 2006 | ICS | Scalable algorithms for global snapshots in distributed systems. | Rahul Garg, Vijay K. Garg, Yogish Sabharwal |
| 2006 | WCNC | Power saving in a mobile multimedia terminal. | Jae-Sik Lee, Byoung-Il Kim, Jae-Pil Moon, Tae-Gyu Chang, Vijay K. Garg |
| 2005 | EuroPar | Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. | Vijay K. Garg, Anurag Agarwal |
| 2005 | PODC | Efficient dependency tracking for relevant events in shared-memory systems. | Anurag Agarwal, Vijay K. Garg |
| 2004 | ITC | Formal Verification of a System-on-Chip Using Computation Slicing. | Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra |
| 2003 | ICDCS | Software Fault Tolerance of Distributed Programs Using Computation Slicing. | Neeraj Mittal, Vijay K. Garg |
| 2003 | OPODIS | Detecting Locally Stable Predicates Without Modifying Application Messages. | Ranganath Atreya, Neeraj Mittal, Vijay K. Garg |
| 2003 | OPODIS | Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. | Alper Sen, Vijay K. Garg |
| 2002 | ICDCS | Timestamping Messages in Synchronous Computations. | Vijay K. Garg, Chakarat Skawratananond |
| 2001 | ICDCS | On Slicing a Distributed Computation. | Vijay K. Garg, Neeraj Mittal |
| 2001 | ICDCS | On Detecting Global Predicates in Distributed Computations. | Neeraj Mittal, Vijay K. Garg |
| 2001 | PODC | String realizers of posets with applications to distributed computing. | Vijay K. Garg, Chakarat Skawratananond |
| 2000 | PODC | Debugging distributed programs using controlled re-execution. | Neeraj Mittal, Vijay K. Garg |
| 2000 | WCNC | Integrated QoS support in 3G UMTS networks. | Vijay K. Garg, Oliver T. W. Yu |
| 1999 | SRDS | Optimistic Recovery in Multi-threaded Distributed Systems. | Om P. Damani, Ashis Tarafdar, Vijay K. Garg |
| 1998 | ICDCS | Distributed Predicate Detection in a Faulty Environment. | Vijay K. Garg, J. Roger Mitchell |
| 1998 | ICDCS | Consistency Conditions for Multi-Object Distributed Operations. | Neeraj Mittal, Vijay K. Garg |
| 1998 | ICDCS | Addressing False Causality while Detecting Predicates in Distributed Programs. | Ashis Tarafdar, Vijay K. Garg |
| 1998 | PADS | Fault-Tolerant Distributed Simulation. | Om P. Damani, Vijay K. Garg |
| 1998 | RTSS | Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. | Guillaume P. Brat, Vijay K. Garg |
| 1998 | SRDS | A Non-Blocking Recovery Algorithm for Causal Message Logging. | J. Roger Mitchell, Vijay K. Garg |
| 1997 | ICDCS | Characterization of Message Ordering Specifications and Protocols. | Venkatesh V. Murty, Vijay K. Garg |
| 1997 | ICDCS | Distributed Recovery with K-Optimistic Logging. | Yi-Min Wang, Om P. Damani, Vijay K. Garg |
| 1997 | PADS | Optimistic Distributed Simulation Based on Transitive Dependency Tracking. | Om P. Damani, Yi-Min Wang, Vijay K. Garg |
| 1997 | PDPTA | Optimistic agreement in distributed systems. | J. Roger Mitchell, Vijay K. Garg |
| 1996 | ICDCS | How to Recover Efficiently and Asynchronously when Optimism Fails. | Om P. Damani, Vijay K. Garg |
| 1996 | PODC | Characterization of Message Ordering Specifications and Protocols (Abstract). | Venkatesh V. Murty, Vijay K. Garg |
| 1996 | SEKE | Observation of Global Properties in Distributed Systems. | Vijay K. Garg |
| 1995 | COMPSAC | Deriving distributed algorithms from a general predicate detector. | J. Roger Mitchell, Vijay K. Garg |
| 1995 | ICDCS | Distributed Algorithms for Detecting Conjunctive Predicates. | Vijay K. Garg, Craig M. Chase |
| 1995 | ISADS | An algorithm for guaranteeing synchronous ordering of messages. | Venkatesh V. Murty, Vijay K. Garg |
| 1994 | ICPP | On the Fly Testing of Regular Patterns in Distributed Computations. | Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson |
| 1993 | PADS | An algorithm for minimally latent global virtual time. | Alexander I. Tomlinson, Vijay K. Garg |
| 1990 | ICDCS | Symmetry in Spite of Hierarchy. | Vijay K. Garg, Joydeep Ghosh |
| 1989 | FORTE | Modeling of Distributed Systems by Concurrent Regular Expressions. | Vijay K. Garg |
| 1988 | ICDCS | Analysis of Distributed Systems With Many Identical Processes. | Vijay K. Garg |