# Vijay K. Garg

According to our database

^{1}, Vijay K. Garg## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2017

Efficient abstraction algorithms for predicate detection.

Theor. Comput. Sci., 2017

Preface.

Inf. Comput., 2017

Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.

CoRR, 2017

Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem.

Proceedings of the 31st International Symposium on Distributed Computing, 2017

Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.

Proceedings of the Runtime Verification - 17th International Conference, 2017

Fast Detection of Stable and Count Predicates in Parallel Computations.

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

Automatic-Signal Monitors with Multi-object Synchronization.

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

2016

Predicate Detection for Parallel Computations with Locking Constraints.

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

2015

Multidimensional agreement in Byzantine systems.

Distributed Computing, 2015

A parallel algorithm for global states enumeration in concurrent systems.

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization.

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations.

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations.

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

2014

Modeling, analyzing and slicing periodic distributed computations.

Inf. Comput., 2014

Fault tolerance in distributed systems using fused state machines.

Distributed Computing, 2014

ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism.

CoRR, 2014

Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations.

CoRR, 2014

Non-blocking Monitor Executions for Increased Parallelism.

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Online Algorithms to Generate Slices for Regular Temporal Logic Predicates.

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013

Fault Tolerance in Distributed Systems Using Fused Data Structures.

IEEE Trans. Parallel Distrib. Syst., 2013

Distributed Abstraction Algorithm for Online Predicate Detection

CoRR, 2013

Fault Tolerance in Distributed Systems using Fused State Machines

CoRR, 2013

AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging

CoRR, 2013

Byzantine Vector Consensus in Complete Graphs

CoRR, 2013

A Distributed Abstraction Algorithm for Online Predicate Detection.

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Byzantine vector consensus in complete graphs.

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

AutoSynch: an automatic-signal monitor based on predicate tagging.

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Maximal Antichain Lattice Algorithms for Distributed Computations.

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

Democratic Elections in Faulty Distributed Systems.

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

2012

Efficient Decentralized Algorithms for the Distributed Trigger Counting Problem.

Theory Comput. Syst., 2012

All-to-All Gradecast Using Coding with Byzantine Failures.

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Brief announcement: all-to-all gradecast using coding with byzantine failures.

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Lattice Completion Algorithms for Distributed Computations.

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

2011

Accurate byzantine agreement with feedback.

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Accurate Byzantine Agreement with Feedback.

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Fused State Machines for Fault Tolerance in Distributed Systems.

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

The Weighted Byzantine Agreement Problem.

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Fused Data Structures for Handling Multiple Faults in Distributed Systems.

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem.

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

2010

Efficient Algorithms for Global Snapshots in Large Distributed Systems.

IEEE Trans. Parallel Distrib. Syst., 2010

Implementing Fault-Tolerant Services Using State Machines: Beyond Replication.

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting.

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Modeling and Analyzing Periodic Distributed Computations.

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

2009

A fusion-based approach for tolerating faults in finite state machines.

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Highly scalable algorithm for distributed real-time text indexing.

Proceedings of the 16th International Conference on High Performance Computing, 2009

2008

Time and State in Asynchronous Distributed Systems.

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Prognostic and Warning System for Power-Electronic Modules in Electric, Hybrid Electric, and Fuel-Cell Vehicles.

IEEE Trans. Industrial Electronics, 2008

Fault Tolerance in Finite State Machines Using Fusion.

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

Optimization of BLAS on the Cell Processor.

Proceedings of the High Performance Computing, 2008

Producing Short Counterexamples Using "Crucial Events".

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Solving Computation Slicing Using Predicate Detection.

IEEE Trans. Parallel Distrib. Syst., 2007

Formal Verification of Simulation Traces Using Computation Slicing.

IEEE Trans. Computers, 2007

Efficient detection of a locally stable predicate in a distributed system.

J. Parallel Distrib. Comput., 2007

Timestamping messages and events in a distributed system using synchronous communication.

Distributed Computing, 2007

Efficient dependency tracking for relevant events in concurrent systems.

Distributed Computing, 2007

Detecting Temporal Logic Predicates on Distributed Computations.

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Fusible Data Structures for Fault-Tolerance.

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

2006

Algorithmic combinatorics based on slicing posets.

Theor. Comput. Sci., 2006

Adaptive general perfectly periodic scheduling.

Inf. Process. Lett., 2006

Dense cluster gateway based routing protocol for multi-hop mobile ad hoc networks.

Ad Hoc Networks, 2006

Brief Announcement: Many Slices Are Better Than One.

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Power saving in a mobile multimedia terminal.

Proceedings of the IEEE Wireless Communications and Networking Conference, 2006

Scalable algorithms for global snapshots in distributed systems.

Proceedings of the 20th Annual International Conference on Supercomputing, 2006

Efficient Incremental Optimal Chain Partition of Distributed Program Traces.

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

2005

On computation of state avoidance control for infinite state systems in assignment program framework.

IEEE Trans. Automation Science and Engineering, 2005

Intractability results in predicate detection.

Inf. Process. Lett., 2005

A Critique of Java for Concurrent Programming.

IEEE Distributed Systems Online, 2005

Techniques and applications of computation slicing.

Distributed Computing, 2005

Efficient dependency tracking for relevant events in shared-memory systems.

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Coordinated Energy Conservation in Ad Hoc Networks.

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

Exploiting predicate structure for efficient reachability detection.

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver.

Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding.

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004

Predicate control: synchronization in distributed computations with look-ahead.

J. Parallel Distrib. Comput., 2004

Finding missing synchronization in a distributed computation using controlled re-execution.

Distributed Computing, 2004

Effect of Data Encryption on Wireless Ad Hoc Network Performance.

Proceedings of the Distributed Computing, 2004

Formal Verification of a System-on-Chip Using Computation Slicing.

Proceedings of the Proceedings 2004 International Test Conference (ITC 2004), 2004

Finding Satisfying Global States: All for One and One for All.

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Concurrent and distributed computing in Java.

Wiley, ISBN: 978-0-471-43230-2, 2004

2003

Distributed recovery with

*K*-optimistic logging.
J. Parallel Distrib. Comput., 2003

Partial Order Trace Analyzer (POTA) for Distributed Programs.

Electr. Notes Theor. Comput. Sci., 2003

Techniques and Applications of Computation Slicing

CoRR, 2003

Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Detecting Locally Stable Predicates Without Modifying Application Messages.

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Software Fault Tolerance of Distributed Programs Using Computation Slicing.

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

On Checking Whether a Predicate Definitely Holds.

Proceedings of the Formal Approaches to Software Testing, 2003

2002

Video Communication with QoS Guarantees over HIPERLAN/2.

Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

Detecting Temporal Logic Predicates on the Happened-Before Model.

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Timestamping Messages in Synchronous Computations.

ICDCS, 2002

Algorithmic Combinatorics Based on Slicing Posets.

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Elements of distributed computing.

Wiley, ISBN: 978-0-471-03600-5, 2002

2001

Control of stochastic discrete event systems modeled by probabilistic languages.

IEEE Trans. Automat. Contr., 2001

Computation Slicing: Techniques and Theory.

Proceedings of the Distributed Computing, 15th International Conference, 2001

String realizers of posets with applications to distributed computing.

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

On Detecting Global Predicates in Distributed Computations.

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

On Slicing a Distributed Computation.

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Integrated QoS support in 3G UMTS networks.

Proceedings of the 2000 IEEE Wireless Communications and Networking Conference, 2000

Debugging distributed programs using controlled re-execution.

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

1999

Normality: A Consistency Condition for Concurrent Objects.

Parallel Processing Letters, 1999

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution.

Proceedings of the Distributed Computing, 1999

Optimistic Recovery in Multi-threaded Distributed Systems.

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

1998

Detection of Global Predicates: Techniques and Their Limitations.

Distributed Computing, 1998

A Non-Blocking Recovery Algorithm for Causal Message Logging.

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra.

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Fault-Tolerant Distributed Simulation.

Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998

Predicate Control for Active Debugging of Distributed Programs.

IPPS/SPDP, 1998

Addressing False Causality while Detecting Predicates in Distributed Programs.

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Consistency Conditions for Multi-Object Distributed Operations.

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Distributed Predicate Detection in a Faulty Environment.

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Implementable Failure Detectors in Asynchronous Systems.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997

Monitoring Functions on Global States of Distributed Programs.

J. Parallel Distrib. Comput., 1997

Efficient Detection of Channel Predicates in Distributed Systems.

J. Parallel Distrib. Comput., 1997

Detecting Conjunctions of Global Predicates.

Inf. Process. Lett., 1997

Methods for observing global properties in distributed systems.

IEEE Concurrency, 1997

Using the Causal Domain to Specify and verify Distributed Programs.

Acta Inf., 1997

Optimistic agreement in distributed systems.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Optimistic Distributed Simulation Based on Transitive Dependency Tracking.

Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Distributed Recovery with K-Optimistic Logging.

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Characterization of Message Ordering Specifications and Protocols.

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Observation and Control for Debugging Distributed Computations.

AADEBUG, 1997

1996

Detection of Strong Unstable Predicates in Distributed Programs.

IEEE Trans. Parallel Distrib. Syst., 1996

Observation of Global Properties in Distributed Systems.

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Characterization of Message Ordering Specifications and Protocols (Abstract).

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

How to Recover Efficiently and Asynchronously when Optimism Fails.

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Principles of distributed systems.

Kluwer, ISBN: 978-0-7923-9668-0, 1996

1995

Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control.

Theor. Comput. Sci., 1995

Efficient Detection of Restricted Classes of Global Predicates.

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

Expressing and detecting control flow properties of distributed computations.

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

An algorithm for guaranteeing synchronous ordering of messages.

Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Distributed Algorithms for Detecting Conjunctive Predicates.

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

On Controlling Timed Discrete Event Systems.

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Detecting conjunctive channel predicates in a distributed programming environment.

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Observation of Software for Distributed Systems with RCL.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Deriving distributed algorithms from a general predicate detector.

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

Detection of Weak Unstable Predicates in Distributed Programs.

IEEE Trans. Parallel Distrib. Syst., 1994

Repeated Computation of Global Functions in a Distributed Environment.

IEEE Trans. Parallel Distrib. Syst., 1994

Causality versus time: how to specify and verify distributed algorithms.

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

On the Fly Testing of Regular Patterns in Distributed Computations.

Proceedings of the 1994 International Conference on Parallel Processing, 1994

1993

Using Induction to Prove Properties of Distributed Programs.

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Detecting Relational Global Predicates in Distributed Systems.

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

1992

Concurrent Regular Expressions and Their Relationship to Petri Nets.

Theor. Comput. Sci., 1992

Some Optimal Algorithms for Decomposed Partially Ordered Sets.

Inf. Process. Lett., 1992

Detection of Unstable Predicates in Distributed Programs.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991

ConC: A Language for Concurrent Programming.

Comput. Lang., 1991

Detection of strong predicates in distributed programs.

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

1990

Symmetry in Spite of Hierarchy.

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

Modeling of Distributed Systems by Concurrent Regular Expressions.

Proceedings of the Formal Description Techniques, 1989

1988

Support for Reusability in Genesis.

IEEE Trans. Software Eng., 1988

Analysis of Distributed Systems With Many Identical Processes.

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

High level communication primitives for concurrent systems.

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1987

Software Development Support for AI Programs.

IEEE Computer, 1987

Issues in the Development of Large, Distributed, and Reliable Software.

Advances in Computers, 1987

1986

Programming in the Large.

IEEE Trans. Software Eng., 1986