Vijay K. Garg

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 40

Top Venues

Publications

Vijay K. Garg, Robert P. Streit
Parallel Algorithms for Equilevel Predicates. ICDCN (2024)
Vijay K. Garg, Changyong Hu
Improved Paths to Stability for the Stable Marriage Problem. SSS (2023)
Vijay K. Garg, Robert P. Streit
Parallel Algorithms for Equilevel Predicates. CoRR (2023)
David R. Alves, Vijay K. Garg
Parallel Minimum Spanning Tree Algorithms via Lattice Linear Predicate Detection. IPDPS Workshops (2022)
Vijay K. Garg
Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties. CoRR (2022)
Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng
Fault-tolerant Snapshot Objects in Message Passing Systems. IPDPS (2022)
Changyong Hu, Vijay K. Garg
Minimal Envy Matchings in the Hospitals/Residents Problem with Lower Quotas. CoRR (2021)
Vijay K. Garg
A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems. CoRR (2021)
Vijay K. Garg
A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem. SSS (2021)
Changyong Hu, Vijay K. Garg
Characterization of Super-stable Matchings. CoRR (2021)
Changyong Hu, Vijay K. Garg
Characterization of Super-Stable Matchings. WADS (2021)
Changyong Hu, Vijay K. Garg
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems. IPDPS (2020)
Xiong Zheng, Vijay K. Garg
Byzantine Lattice Agreement in Asynchronous Systems. CoRR (2020)
David R. Alves, Madan S. Krishnakumar, Vijay K. Garg
Efficient Parallel Shortest Path Algorithms. ISPDC (2020)
Vijay K. Garg
Predicate Detection to Solve Combinatorial Optimization Problems. SPAA (2020)
Xiong Zheng, Vijay K. Garg
Byzantine Lattice Agreement in Asynchronous Systems. OPODIS (2020)
Vijay K. Garg
A Generalization of Teo and Sethuraman's Median Stable Marriage Theorem. CoRR (2020)
Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng
Amortized Constant Round Atomic Snapshot in Message-Passing Systems. CoRR (2020)
Xiong Zheng, Vijay K. Garg
Byzantine Lattice Agreement in Synchronous Message Passing Systems. DISC (2020)
Xiong Zheng, Vijay K. Garg, John Kaippallimalil
Linearizable Replicated State Machines With Lattice Agreement. OPODIS (2019)
Xiong Zheng, Vijay K. Garg
Parallel and Distributed Algorithms for the housing allocation Problem. CoRR (2019)
Xiong Zheng, Vijay K. Garg
An Optimal Vector Clock Algorithm for Multithreaded Systems. ICDCS (2019)
Vijay K. Garg, Rohan Garg
Parallel algorithms for predicate detection. ICDCN (2019)
Xiong Zheng, Vijay K. Garg
An Optimal Vector Clock Algorithm for Multithreaded Systems. CoRR (2019)
Xiong Zheng, Vijay K. Garg
Parallel and Distributed Algorithms for the Housing Allocation Problem. OPODIS (2019)
Changyong Hu, Vijay K. Garg
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems. CoRR (2019)
Xiong Zheng, Vijay K. Garg
Byzantine Lattice Agreement in Synchronous Systems. CoRR (2019)
Xiong Zheng, Changyong Hu, Vijay K. Garg
Lattice Agreement in Message Passing Systems. DISC (2018)
Vijay K. Garg
Applying Predicate Detection to the Constrained Optimization Problems. CoRR (2018)
Vijay K. Garg
Removing Sequential Bottleneck of Dijkstra's Algorithm for the Shortest Path Problem. CoRR (2018)
Xiong Zheng, Changyong Hu, Vijay K. Garg
Lattice Agreement in Message Passing Systems. CoRR (2018)
Xiong Zheng, Vijay K. Garg, John Kaippallimalil
Linearizable Replicated State Machines with Lattice Agreement. CoRR (2018)
Himanshu Chauhan, Vijay K. Garg
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. CoRR (2017)
Wei-Lun Hung, Vijay K. Garg
Automatic-Signal Monitors with Multi-object Synchronization. IPDPS (2017)
Himanshu Chauhan, Vijay K. Garg
Fast Detection of Stable and Count Predicates in Parallel Computations. OPODIS (2017)
Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal, Vijay K. Garg
Efficient abstraction algorithms for predicate detection. Theor. Comput. Sci. 688 (2017)
Pascal Felber, Vijay K. Garg
Preface. Inf. Comput. 254 (2017)
Vijay K. Garg
Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem. DISC (2017)
Himanshu Chauhan, Vijay K. Garg
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. RV (2017)
Yen-Jung Chang, Vijay K. Garg
Predicate Detection for Parallel Computations with Locking Constraints. OPODIS (2016)
Yen-Jung Chang, Vijay K. Garg
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations. OPODIS (2015)
Yen-Jung Chang, Vijay K. Garg
A parallel algorithm for global states enumeration in concurrent systems. PPOPP (2015)
Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg
ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. OPODIS (2015)
Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg
Multidimensional agreement in Byzantine systems. Distributed Comput. 28 (6) (2015)
Himanshu Chauhan, Vijay K. Garg
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. ICDCN (2015)
Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg
ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism. CoRR (2014)
Bharath Balasubramanian, Vijay K. Garg
Fault tolerance in distributed systems using fused state machines. Distributed Comput. 27 (4) (2014)
Aravind Natarajan, Neeraj Mittal, Vijay K. Garg
Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. ICDCN (2014)
Vijay K. Garg, Anurag Agarwal, Vinit A. Ogale
Modeling, analyzing and slicing periodic distributed computations. Inf. Comput. 234 (2014)
Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg
Non-blocking Monitor Executions for Increased Parallelism. DISC (2014)
Himanshu Chauhan, Vijay K. Garg
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. CoRR (2014)
Nitin H. Vaidya, Vijay K. Garg
Byzantine vector consensus in complete graphs. PODC (2013)
Bharath Balasubramanian, Vijay K. Garg
Fault Tolerance in Distributed Systems using Fused State Machines CoRR (2013)
Nitin H. Vaidya, Vijay K. Garg
Byzantine Vector Consensus in Complete Graphs CoRR (2013)
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal
Distributed Abstraction Algorithm for Online Predicate Detection CoRR (2013)
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal
A Distributed Abstraction Algorithm for Online Predicate Detection. SRDS (2013)
Wei-Lun Hung, Vijay K. Garg
AutoSynch: an automatic-signal monitor based on predicate tagging. PLDI (2013)
Bharath Balasubramanian, Vijay K. Garg
Fault Tolerance in Distributed Systems Using Fused Data Structures. IEEE Trans. Parallel Distributed Syst. 24 (4) (2013)
Himanshu Chauhan, Vijay K. Garg
Democratic Elections in Faulty Distributed Systems. ICDCN (2013)
Wei-Lun Hung, Vijay K. Garg
AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging CoRR (2013)
Vijay K. Garg
Maximal Antichain Lattice Algorithms for Distributed Computations. ICDCN (2013)
John Bridgman, Vijay K. Garg
All-to-All Gradecast Using Coding with Byzantine Failures. SSS (2012)
Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal
Efficient Decentralized Algorithms for the Distributed Trigger Counting Problem. Theory Comput. Syst. 51 (4) (2012)
John Bridgman, Vijay K. Garg
Brief announcement: all-to-all gradecast using coding with byzantine failures. PODC (2012)
Vijay K. Garg
Lattice Completion Algorithms for Distributed Computations. OPODIS (2012)
Bharath Balasubramanian, Vijay K. Garg
Fused Data Structures for Handling Multiple Faults in Distributed Systems. ICDCS (2011)
Vijay K. Garg, John Bridgman
The Weighted Byzantine Agreement Problem. IPDPS (2011)
Bharath Balasubramanian, Vijay K. Garg
Fused State Machines for Fault Tolerance in Distributed Systems. OPODIS (2011)
Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal
An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem. ICDCN (2011)
Vijay K. Garg, John Bridgman, Bharath Balasubramanian
Accurate byzantine agreement with feedback. PODC (2011)
Vijay K. Garg, John Bridgman, Bharath Balasubramanian
Accurate Byzantine Agreement with Feedback. OPODIS (2011)
Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal
Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. DISC (2010)
Rahul Garg, Vijay K. Garg, Yogish Sabharwal
Efficient Algorithms for Global Snapshots in Large Distributed Systems. IEEE Trans. Parallel Distributed Syst. 21 (5) (2010)
Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale
Modeling and Analyzing Periodic Distributed Computations. SSS (2010)
Vijay K. Garg
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. DISC (2010)
Vinit A. Ogale, Bharath Balasubramanian, Vijay K. Garg
A fusion-based approach for tolerating faults in finite state machines. IPDPS (2009)
Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg
Highly scalable algorithm for distributed real-time text indexing. HiPC (2009)
Yali Xiong, Xu Cheng, Zheng John Shen, Chunting Mi, Hongjie Wu, Vijay K. Garg
Prognostic and Warning System for Power-Electronic Modules in Electric, Hybrid Electric, and Fuel-Cell Vehicles. IEEE Trans. Ind. Electron. 55 (6) (2008)
Sujatha Kashyap, Vijay K. Garg
Producing Short Counterexamples Using "Crucial Events". CAV (2008)
Vaibhav Saxena, Prashant Agrawal, Yogish Sabharwal, Vijay K. Garg, Vimitha A. Kuruvilla, John A. Gunnels
Optimization of BLAS on the Cell Processor. HiPC (2008)
Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg
Fault Tolerance in Finite State Machines Using Fusion. ICDCN (2008)
Neeraj Mittal, Alper Sen, Vijay K. Garg
Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distributed Syst. 18 (12) (2007)
Vinit A. Ogale, Vijay K. Garg
Detecting Temporal Logic Predicates on Distributed Computations. DISC (2007)
Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg, Mukesh Singhal
Efficient detection of a locally stable predicate in a distributed system. J. Parallel Distributed Comput. 67 (4) (2007)
Anurag Agarwal, Vijay K. Garg
Efficient dependency tracking for relevant events in concurrent systems. Distributed Comput. 19 (3) (2007)
Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal
Timestamping messages and events in a distributed system using synchronous communication. Distributed Comput. 19 (5-6) (2007)
Alper Sen, Vijay K. Garg
Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56 (4) (2007)
Vijay K. Garg, Vinit A. Ogale
Fusible Data Structures for Fault-Tolerance. ICDCS (2007)
Vijay K. Garg
Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359 (1-3) (2006)
R. K. Ghosh, Vijay K. Garg, M. Shangkar Meitei, Shree Raman, Abhijeet Kumar, Nishit Tewari
Dense cluster gateway based routing protocol for multi-hop mobile ad hoc networks. Ad Hoc Networks 4 (2) (2006)
Shailesh Patil, Vijay K. Garg
Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98 (3) (2006)
Vinit A. Ogale, Vijay K. Garg
Brief Announcement: Many Slices Are Better Than One. DISC (2006)
Jae-Sik Lee, Byoung-Il Kim, Jae-Pil Moon, Tae-Gyu Chang, Vijay K. Garg
Power saving in a mobile multimedia terminal. WCNC (2006)
Rahul Garg, Vijay K. Garg, Yogish Sabharwal
Scalable algorithms for global snapshots in distributed systems. ICS (2006)
Selma Ikiz, Vijay K. Garg
Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS (2006)
Sujatha Kashyap, Vijay K. Garg
Exploiting predicate structure for efficient reachability detection. ASE (2005)
Ratnesh Kumar, Vijay K. Garg
On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Trans Autom. Sci. Eng. 2 (1) (2005)
Neeraj Mittal, Vijay K. Garg
Techniques and applications of computation slicing. Distributed Comput. 17 (3) (2005)
Vijay K. Garg, Neeraj Mittal
A Critique of Java for Concurrent Programming. IEEE Distributed Syst. Online 6 (9) (2005)
Jae-Sik Lee, Tae-Gyu Chang, Vijay K. Garg
SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver. Systems Communications (2005)

Vijay K. Garg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vijay K. Garg