Vijay K. Garg

Orcid: 0000-0002-5797-4389

Affiliations:
  • University of Texas at Austin, USA


According to our database1, Vijay K. Garg authored at least 187 papers between 1984 and 2024.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1995, "For contributions to the analysis of eddy current, thermal transient, and coupled magneto-thermal problems in electric machines.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Reducing Matroid Optimization to Basis Search.
CoRR, 2024

Parallel Algorithms for Equilevel Predicates.
Proceedings of the 25th International Conference on Distributed Computing and Networking, 2024

2023
Improved Paths to Stability for the Stable Marriage Problem.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Keynote Talk: Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties✱.
Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

2022
An Analysis of Adaptable Intelligent Models for Pulmonary Tuberculosis Detection and Classification.
SN Comput. Sci., 2022

Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties.
CoRR, 2022

Fault-tolerant Snapshot Objects in Message Passing Systems.
Proceedings of the 2022 IEEE International Parallel and Distributed Processing Symposium, 2022

Parallel Minimum Spanning Tree Algorithms via Lattice Linear Predicate Detection.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems.
Proceedings of the ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4, 2022

2021
Minimal Envy Matchings in the Hospitals/Residents Problem with Lower Quotas.
CoRR, 2021

Characterization of Super-Stable Matchings.
Proceedings of the Algorithms and Data Structures - 17th International Symposium, 2021

A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

2020
EMG Signal Feature Extraction, Normalization and Classification for Pain and Normal Muscles Using Genetic Algorithm and Support Vector Machine.
Rev. d'Intelligence Artif., 2020

Amortized Constant Round Atomic Snapshot in Message-Passing Systems.
CoRR, 2020

A Generalization of Teo and Sethuraman's Median Stable Marriage Theorem.
CoRR, 2020

Byzantine Lattice Agreement in Synchronous Message Passing Systems.
Proceedings of the 34th International Symposium on Distributed Computing, 2020

Predicate Detection to Solve Combinatorial Optimization Problems.
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Byzantine Lattice Agreement in Asynchronous Systems.
Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

Efficient Parallel Shortest Path Algorithms.
Proceedings of the 19th International Symposium on Parallel and Distributed Computing, 2020

NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

2019
Byzantine Lattice Agreement in Synchronous Systems.
CoRR, 2019

Linearizable Replicated State Machines With Lattice Agreement.
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

Parallel and Distributed Algorithms for the Housing Allocation Problem.
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

An Optimal Vector Clock Algorithm for Multithreaded Systems.
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Parallel algorithms for predicate detection.
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018
Removing Sequential Bottleneck of Dijkstra's Algorithm for the Shortest Path Problem.
CoRR, 2018

Applying Predicate Detection to the Constrained Optimization Problems.
CoRR, 2018

Lattice Agreement in Message Passing Systems.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018

2017
Efficient abstraction algorithms for predicate detection.
Theor. Comput. Sci., 2017

Preface.
Inf. Comput., 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 Comput., 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 Comput., 2014

ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism.
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 Distributed Syst., 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

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 Distributed 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. Ind. Electron., 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 Distributed 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 Distributed Comput., 2007

Timestamping messages and events in a distributed system using synchronous communication.
Distributed Comput., 2007

Efficient dependency tracking for relevant events in concurrent systems.
Distributed Comput., 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 Autom. Sci. Eng., 2005

Intractability results in predicate detection.
Inf. Process. Lett., 2005

A Critique of Java for Concurrent Programming.
IEEE Distributed Syst. Online, 2005

Techniques and applications of computation slicing.
Distributed Comput., 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 Distributed Comput., 2004

Finding missing synchronization in a distributed computation using controlled re-execution.
Distributed Comput., 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 <i>K</i>-optimistic logging.
J. Parallel Distributed Comput., 2003

Partial Order Trace Analyzer (POTA) for Distributed Programs.
Proceedings of the Third Workshop on Run-time Verification, 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.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 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. Autom. Control., 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
A probabilistic language formalism for stochastic discrete-event systems.
IEEE Trans. Autom. Control., 1999

Normality: A Consistency Condition for Concurrent Objects.
Parallel Process. Lett., 1999

Trunk management in cellular/PCS networks.
Bell Labs Tech. J., 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 Comput., 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.
Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 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
Subscriber data management in personal communications services networks.
IEEE Wirel. Commun., 1997

Monitoring Functions on Global States of Distributed Programs.
J. Parallel Distributed Comput., 1997

Efficient Detection of Channel Predicates in Distributed Systems.
J. Parallel Distributed Comput., 1997

Detecting Conjunctions of Global Predicates.
Inf. Process. Lett., 1997

Methods for observing global properties in distributed systems.
IEEE Concurrency, 1997

Application of adaptive array antenna to a TDMA cellular/PCS system.
IEEE Commun. Mag., 1997

TDMA for North American PCS systems.
Bell Labs Tech. J., 1997

Using the Causal Domain to Specify and verify Distributed Programs.
Acta Informatica, 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.
Proceedings of the Third International Workshop on Automated Debugging, 1997

1996
Detection of Strong Unstable Predicates in Distributed Programs.
IEEE Trans. Parallel Distributed Syst., 1996

Corrections to "Finite buffer realization of input-output discrete event systems".
IEEE Trans. Autom. Control., 1996

Supervisory control of real-time discrete-event systems using lattice theory.
IEEE Trans. Autom. Control., 1996

Interworking and interoperability issues for North American PCS.
IEEE Commun. Mag., 1996

Digital wireless local loop system.
IEEE Commun. Mag., 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

Finite buffer realization of input-output discrete-event systems.
IEEE Trans. Autom. Control., 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 Distributed Syst., 1994

Repeated Computation of Global Functions in a Distributed Environment.
IEEE Trans. Parallel Distributed 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
Predicates and predicate transformers for supervisory control of discrete event dynamical systems.
IEEE Trans. Autom. Control., 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

An algorithm for minimally latent global virtual time.
Proceedings of the Seventh Workshop on Parallel and Distributed Simulation, 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.
Computer, 1987

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

1986
Programming in the Large.
IEEE Trans. Software Eng., 1986

1985
Functional composition: a mechanism to compose programs.
ACM SIGSOFT Softw. Eng. Notes, 1985

1984
Screen-oriented highlevel debugger(SHD) for PASCAL.
ACM SIGSOFT Softw. Eng. Notes, 1984

Dimensional analysis in Pascal.
ACM SIGPLAN Notices, 1984


  Loading...