Vijay K. Garg

Complete List of Publications

    2025

  1. Vijay K. Garg, Book: A Systematic Approach to Parallel Algorithms under preparation description
  2. Moran Omer, Doron Peled, Ely Porat, and Vijay K. Garg, Monitoring Distributed Systems based on Partial Order Executions with Global States
  3. Robert Streit, Vijay K. Garg, Join-irreducible Mincuts
  4. Robert Streit, Vijay K. Garg, The Polymatroid Representation of a Greedoid, and Associated Galois Connections submitted

    2024

  5. Robert Streit, Vijay K. Garg, Reducing Matroid Optimization to Basis Search pdf submitted
  6. Vijay K. Garg, Robert Streit, Parallel Algorithms for Equilevel Predicates pdf ICDCN'24

    2023

  7. Vijay K. Garg, ICDCN'23, Keynote Presentation Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties arxiv-version
  8. Vijay K. Garg, Changyong Hu, Improved Path to Stability for the Stable Marriage Problem arxiv-version SSS'23

    2022

  9. Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng, Amortized Constant Round Atomic Snapshot in Message-Passing Systems, IPDPS 22 arxiv-version
  10. David R. Alves, Vijay K. Garg, Parallel Minimum Spanning Tree Algorithms via Lattice Linear Predicate Detection Proc. Workshop on Parallel/Distributed Combinatorics and Optimization (PDCO), with IPDPS 22 pdf
  11. Vijay K. Garg, A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems ICDCN'22, arxiv-version

    2021

  12. Changyong Hu, Vijay K. Garg, Characterization of Super-stable Matchings WADS 2021. pdf
  13. Yanni Georghiades, Robert Streit, Vijay K. Garg, Who Needs Consensus? A Distributed Monetary System Between Rational Agents via Hearsay arxiv-version
  14. Vijay K. Garg, Invited Paper: A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem Proc. SSS 2021. (invited) pdf
  15. Changyong Hu, Vijay K. Garg, Minimal Envy Matchings in the Hospital/Residents Problem with Lower Quotas arxiv-version

    2020

  16. Xiong Zheng, Vijay K. Garg, Byzantine Lattice Agreement in Synchronous Message Passing Systems, DISC 2020 arxiv-version
  17. David R. Alves, Madan S. Krishnakumar, Vijay K. Garg, Fast Deterministic Shortest Path Algorithms ISPDC 2020 pdf
  18. Vijay K. Garg, Predicate Detection to Solve Combinatorial Optimization Problems SPAA 2020 pdf ... slides ... video
  19. Changyong Hu, Vijay K. Garg, NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems IPDPS 2020 arxiv-version ... slides
  20. Xiong Zheng, Vijay K. Garg, Byzantine Lattice Agreement in Asynchronous Systems, arxiv-version OPODIS 2020
  21. Vijay K. Garg, A Generalization of Teo and Sethuraman's Median Stable Marriage Theorem arxiv-version

    2019

  22. Xiong Zheng, Vijay K. Garg, Parallel and Distributed Algorithms for the housing allocation Problem, OPODIS'19 arxiv-version
  23. Xiong Zheng, Vijay K. Garg, John Kaippallimalil, Linearlizable Replicated State Machines, OPODIS'19 pdf
  24. Xiong Zheng, Vijay K. Garg: An Optimal Vector Clock Algorithm for Multithreaded Systems. ICDCS'19 Dallas, TX, arxiv-version , July 2019.
  25. Vijay K. Garg and R. Garg Parallel Algorithms for Predicate Detection ICDCN'19 pdf ... slides

    2018

  26. Vijay K. Garg, Applying Predicate Detection to the Constrained Optimization Problems arxiv-version ... slides
  27. Vijay K. Garg, Removing Sequential Bottleneck of Dijkstra's Algorithm for the Shortest Path Problem arxiv-version
  28. Himanshu Chauhan, Vijay K. Garg Space Efficient Detection and Enumeration of Predicates in Parallel Computations submitted.
  29. Xiong Zheng, Changyong Hu, Vijay K. Garg, Lattice Agreement in Message Passing Systems, International Symposium on DIStributed Computing (DISC)} 2018. arxiv-version ... slides

    2017

  30. Himanshu Chauhan, Vijay K. Garg Fast Enumeration of Counting and Stable Predicates OPODIS'17 pdf ... slides
  31. Vijay K. Garg Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem Disc 2017 pdf
  32. Himanshu Chauhan, Vijay K. Garg Space Efficient Breadth First and Level Traversal of Consistent Global States RV 2017 pdf Best Paper Award
  33. Wei-Lun Hung, Vijay K. Garg Automatic-Signal Monitors with Multi-Object Synchronization IPDPS 2017 pdf

    2016

  34. Yen-Jung Chang, Vijay K. Garg Predicate Detection for Parallel Computations with Locking Constraints OPODIS 2016 pdf
  35. Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal, Vijay K. Garg, Efficient abstraction algorithms for predicate detection Theoretical Computer Science pdf

    36. 2015

  36. Hammurabi Mendes, Maurice Herlihy, Nitin Vaidya, Vijay K. Garg Multidimensional Agreement in Distributed Systems Distributed Compuing 28(6): 423-441, 2015
  37. Yen-Jung Chang, Vijay K. Garg QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations OPODIS 2015 25:1-25:17 pdf
  38. Wei-Lun Hung; Himanshu Chauhan; Vijay K. Garg ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization OPODIS 2015: 29:1-29:17
  39. Vijay K. Garg, Book: Introduction to Lattice Theory with Computer Science Applications ,John Wiley & Sons, 2015. description
  40. Vijay K. Garg Keynote: Solved and Unsolved Problems in Monitoring Distributed Computations. FRIDA 2015 Slides .. A Longer Version
  41. Yen-Jung Chang, Vijay K. Garg A Parallel Algorithm for Global States Enumeration in Concurrent Systems PPoPP 2015 pdf
  42. Himanshu Chauhan, Vijay K. Garg Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations ICDCN 2015 34:1-34:10

    2014

  43. Vijay K. Garg, Neeraj Mittal Invited Tutorial: Lattice-Theoretic Approach to Runtime Verification of Distributed Systems RV 2014 Slides I .. Slides II .. Video
  44. Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg Brief Announcement: Non-blocking Monitor Executions for Increased Parallelism DISC 2014 brief-announcement
  45. Vijay K. Garg, Anurag Agarwal, Vinit Ogale Modeling, Analyzing and Slicing Periodic Distributed Computations Information and Computation 2014 pp. 26-43 paper
  46. Aravind Natarajan, Neeraj Mittal, Vijay K. Garg, Online Algorithms to Generate Slices for Regular Temporal Logic Predicates ICDCN 2014 ... (invited for publication in a journal)
  47. Bharath Balasubramanian, Vijay K. Garg Fault Tolerance in Distributed Systems using Fused State Machines Distributed Computing 27(4): 287-311, 2014.

    48. 2013

  48. Nitin Vaidya, Vijay K. Garg Byzantine Vector Consensus in Complete Graphs PODC 2013 arXiv ... slides ... (invited for publication in a journal)
  49. Wei-Lun Hung, Vijay K. Garg AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging PLDI 2013 , pp. 253-262, arXiv ... poster ... slides ... Software ... (invited for publication in a journal)
  50. Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal Distributed Abstraction Algorithm for Online Predicate Detection SRDS 2013 arXiv ... slides
  51. Himanshu Chauhan, Vijay K. Garg Democratic Elections in Faulty Distributed Systems Proc. of Distributed Computing and Networking - 14th International Conference, ICDCN 2013 pdf ... slides
  52. Vijay K. Garg Maximal Antichain Lattice Algorithms for Distributed Computations "Proc. of Distributed Computing and Networking - 14th International Conference, ICDCN 2013" pdf ... slides
  53. Bharath Balasubramanian, Vijay K. Garg Fault Tolerance in Distributed Systems using Fused Data Structures IEEE Transactions on Parallel and Distributed Systems pdf

    54. 2012

  54. John Bridgman, Vijay K. Garg All-to-All Gradecast Using Coding with Byzantine Failures SSS 2012, Toronto, Canada, pdf ... slides
  55. Vijay K. Garg Lattice Completion Algorithms for Distributed Computations In Proc. of Principles of Distributed Systems - 16th International Conference, OPODIS 2012 Paper ... slides
  56. John Bridgman, Vijay K. Garg Brief Announcement: All-to-All Gradecast Using Coding with Byzantine Failures PODC 2012, Madeira, Portugal, pp. 95-96.
  57. Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal, Efficient Decentralized Algorithms for the Distributed Trigger Counting Problem. . Theory of Computing Systems paper

    58. 2011

  58. Vijay K. Garg, John Bridgman, Bharath Balasubramanian Accurate Byzantine with Feedback OPODIS 2011, paper
  59. Bharath Balasubramanian, Vijay K. Garg Fusion-based DFSMs for Fault Tolerance in Distributed Systems ,Proc. OPODIS 2011 paper
  60. Vijay K. Garg, John Bridgman, Bharath Balasubramanian Brief Announcement: Accurate Byzantine with Feedback PODC 2011, announcement paper slides
  61. Bharath Balasubramanian, Vijay K. Garg A Fusion-based Approach for Handling Multiple Faults in Distributed Systems ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS) 2011 preliminary paper
  62. Vijay K. Garg, John Bridgman The Weighted Byzantine Agreement Problem IPDPS'2011 paper (Note: The weight of process g in Table I should be 1/6 and not 1/16.) slides
  63. Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal, A Decentralized Algorithm for Distributed Trigger Counting. ICDCN 2011. slides ... paper ... (invited for publication in a journal)

    64. 2010

  64. Anurag Agarwal, Vijay K. Garg, Vinit Ogale Modeling and Analyzing Periodic Distributed Computations SSS'10 Sept 2010 paper ... slides .... Best Paper Award ... (invited for publication in a journal)
  65. Vijay K. Garg Implementing Fault-Tolerant Services Using State Machines: Beyond Replication DISC'2010 Sept 2010 paper

    ... slides ... another version of the slides ... Longer Version

  66. Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal, Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. DISC 2010: 398-400, slides ... Longer Version
  67. Rahul Garg, Vijay K. Garg, Yogish Sabharwal, Efficient Algorithms for Global Snapshots in Large Distributed Systems IEEE Transactions on Parallel and Distributed Systems May 2010 conference paper

    68. 2009

  68. Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg Highly Scalable Algorithms for Distributed Real-Time Text Indexing ,Proceedings of the Sixteenth IEEE International Conference on High Performance Computing (HiPC 2009) December 2009, pp. 332--341, Cochin, India. paper ... slides
  69. Vinit Ogale, Bharath Balasubramanian, Vijay K. Garg A Fusion-based Approach for Tolerating Faults in Finite State Machines ,Proc. IEEE International Parallel & Distributed Processing Symposium (IPDPS) Rome, Italy, May 2009. paper ... slides

    70. 2008

  70. Sujatha Kashyap, Vijay K. Garg Generating Small Counter-Examples Using Crucial Events ,Proc. Computer Aided Verification (CAV) July 2008, paper ... slides
  71. Bharath Balasubramanian, Vinit Ogale, Vijay K. Garg Fusible State Machines ,Proc. International Conference on Distributed Computing and Networking (ICDCN) paper Jan 2008, .
  72. Vijay K. Garg, Yogish Sabharwal Covers of Boolean Expressions Unpublished Report paper
  73. V. K. Garg, Neeraj Mittal, Global Time and State in Distributed Systems, Wiley Encyclopedia on Parallel and Distributed Computing, . ........... paper

    74. 2007

  74. Vinit Ogale and Vijay K. Garg, Detetcing Temporal Logic Predicates on Distributed Computations , DISC 2007, pp. 420-434. paper ... slides
  75. Vijay K. Garg and Vinit Ogale,Fusible Data Structures for Fault-Tolerance ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS) paper 2007, .
  76. Neeraj Mittal, Alper Sen and Vijay K. Garg, Solving Computation Slicing Using Predicate Detection , IEEE Transactions on Parallel and Distributed Systems accepted, Jan 2007
  77. Neeraj Mittal, Ranganath Atreya, Ajay Kshemkalyani, Vijay K. Garg, and Mukesh Singhal Efficient Detection of a Locally Stable Predicate in a Distributed System Journal on Parallel and Distributed Computing accepted pdf - conference version
  78. Vijay K. Garg, C. Skawratananond, N. Mittal Timestamping Messages and Events in a Distributed System using Synchronous Communication ,Distributed Computing (DC) paper pp. 163-183
  79. Anurag Agarwal, Vijay K. Garg, Predicate Detection on Infinite Computations Tech Report pdf for the tech. report
  80. Alper Sen and Vijay K. Garg, Formal Verfication of Simulation Traces using Computation Slicing , IEEE Transactions on Computers Jan 2007, pp. 511-527

    81. 2006

  81. Rahul Garg, Vijay K. Garg, Yogish Sabharwal, Scalable Algorithms for Global Snapshots in Distributed Systems ACM International Conference on Supercomputing 2006 paper .... slides
  82. Selma Ikiz and Vijay K. Garg, Efficient Incremental Optimal Chain Partition of Distributed Program Traces ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS) 2006. paper .... slides
  83. Anurag Agarwal, Vijay K. Garg, Efficient Dependency Tracking for Relevant Events in Concurrent Systems, Distributed Computing (DC) accepted paper ... springer
  84. Vijay K. Garg, Hints for Building Self-* Systems panel talk, SSS'06 ... slides
  85. Arindam Chakraborty, Vijay K. Garg, On Reducing the Global State Graph for Verification of Distributed Computations, 7th International Workshop on Microprocessor Test and Verification (MTV'06) Common Challenges and Solutions, December 2006, Austin, Texas, USA ...paper . ... slides
  86. Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets , Theoretical Computer Science , Vol. 359, August 2006, pp. 200 - 213, ...pdf .
  87. Vijay K. Garg, Neeraj Mittal and Alper Sen, Using Order in Distributed Computing , American Mathematical Society National Meeting invited , Jan. 2006 pdf .... pdf-slides
  88. Shailesh Patil, Vijay K. Garg, Adaptive Algorithms for Perfectly Periodic Schedules, Information Processing Letters Vol. 98, No. 3, May 2006, pp. 107 -- 114. pdf ---- online link

    89. 2005

  89. Anurag Agarwal, Vijay K. Garg, Chain Clock: Efficient Causality Tracking for Shared Memory Systems, ACM Symposium on Principles of Distributed Computing (PODC'2005) Las Vegas, July 2005, pp. 19-28. pdf .... slides
  90. Sujatha Kashyap, Vijay K. Garg, Intractability Results in Predicate Detection, Information Processing Letters Vol. 94, No. 6, pp. 277 - 282, June 2005. pdf
  91. Sujatha Kashyap, Vijay K. Garg, Exploiting Predicate Structure for Efficient Reachability Detection, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE) Long Beach, California, pages 4-13. ACM, November 2005.
    http ... pdf ..... slides
  92. Neeraj Mittal and Vijay K. Garg, Techniques and Applications of Computation Slicing Distributed Computing 17(3):251-277, 2005 link to Springer ... pdf
  93. V. K. Garg, Neeraj Mittal, A Critique of Java for Concurrent Programming, IEEE Distributed Systems online 6(9), 2005........... link
  94. Selma Ikiz, Vinit Ogale, V. K. Garg, Coordinated Energy Conservation in Ad Hoc Networks, pdf ..... abstract
  95. Vijay K. Garg, Anurag Agarwal, Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding, Euro'Par 2005, pp. 606 - 616. pdf .... slides ...Technical Report .
  96. R. Kumar, V. K. Garg, Computation of State Avoidance Control for Infinite State Systems in Assignment Program Framework, IEEE Transactions on Automation Science and Engineering}, Volume 2, No. 1, January 2005, pp. 87 - 91. pdf

    97. 2004

  97. Neeraj Mittal, Alper Sen, Vijay K. Garg, and Ranganath Atreya, Finding Satisfying Global States: All for One and One for All , In Proceedings of International Parallel and Distributed Processing Symposium (IPDPS), April 2004. ........... pdf
  98. Alper Sen, Jayanta Bhadra, Vijay K. Garg, and Jacob Abraham, Formal Verification of a System-on-Chip Using Computation Slicing , International Test Conference, July 12 2004............ pdf
  99. V. K. Garg, Concurrent and Distributed Computing in Java , John Wiley & Sons, 2004. For description click here
  100. Neeraj Mittal and Vijay K. Garg, Finding missing synchronization in a distributed computation using controlled re-execution , Distributed Computing, 17(2):107-130, 2004. [ bib | http
  101. A. Tarafdar, V. K. Garg, Predicate Control: Synchronization in Distributed Computations with Look-Ahead , Journal on Parallel and Distributed Computing 64(2):219-237, 2004. pdf

    102. 2003

  102. Neeraj Mittal, Ranganath Atreya and Vijay K. Garg, Detecting Locally Stable Predicates without Modifying Application Messages 7th International Conference on Principles of Distributed Systems La Martinique , France,December 10-13 2003, ........... pdf
  103. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing , 7th International Conference on Principles of Distributed Systems La Martinique, France,December 10-13 2003, ........... pdf
  104. Alper Sen and Vijay K. Garg, On Checking Whether a Predicate Definitely Holds , 3rd International Workshop onFormal Approaches to Testing of Software(FATES 2003) Montreal, Quebec, Canada,October 2003............pdf
  105. Alper Sen and Vijay K. Garg, Partial Order Trace Analyzer (POTA) for Distributed Programs , Proc. Workshop on Runtime Verification, Boulder, Colorado, 2003............pdf
  106. Neeraj Mittal and Vijay K. Garg, Software Fault Tolerance of DistributedPrograms using Computation Slicing ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), Providence, Rhode Island, pages 105-113, May 2003.Abstract ........... pdf
  107. Vijay K. Garg, Neeraj Mittal and Alper Sen, Applications of Lattice Theory to Distributed Computing , ACM SIGACT Notes September 2003, Vol. 34, No. 3, pp. 40-61............pdf
  108. O. Damani, Yi-Min Wang and V. K. Garg, K-Optimistic Message Logging, Journal on Parallel and Distributed Computing .Volume 63, Issue 12, December 2003, Pages 1193-1218.link to ScienceDirect
  109. V. K. Garg, Enumerating Global States of a Distributed Computationin Lexicographic and Breadth-First Manner , International Conference on Parallel and Distributed Computing and Systems (PDCS2003) November 2003, pp. 134-139............pdf ( nominated for the best paper award ),

    110. 2002

  110. Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets ,Proc. 22nd Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science (FSTTCS), Kanpur, India, December 2002.Abstract ...........pdf ...........Technical Report
  111. V. K. Garg, Elements of Distributed Computing ,John Wiley & Sons, 2002. For description click here
  112. Vijay K. Garg, C. Skawratananond, On Timestamping Synchronous Computations ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), Vienna, July 2002.Abstract ...........pdf ..... slides
  113. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in the Happened Before Model ,International Parallel and Distributed Processing Symposium (IPDPS).April, Florida.Abstract ...........pdf ...........

    114. 2001

  114. R. Kumar and V. K. Garg, Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages ,IEEE Transactions on Automatic ControlVolume 46, No. 1, April 2001, pp. 593 -- 606.ps
  115. Neeraj Mittal and Vijay K. Garg, Computation Slicing: Techniques and Theory ,5th International Symposium on DIStributed Computing (DISC'01),Lisbon, Portugal, pp. 78 - 92.Abstract ...........pdf ...........Technical Report
  116. Vijay K. Garg, C. Skawratananond, String Realizers of Posets with Applications to Distributed Computing , ACM Symposium on Principles of Distributed Computing (PODC'01), August 26-29, 2001, Newport, Rhode Island, pp. 72 - 80.Abstract ...........pdf ...........tech report ... (invited for publication in a journal)
  117. Neeraj Mittal and Vijay K. Garg, On Detecting Global Predicates in Distributed Computations ,Proc. IEEE International Conference on Distributed Computing Systems, Phoenix, May 2001, pp. 3 - 10.Abstract ...........pdf
  118. Vijay K. Garg and Neeraj Mittal, On Slicing a Distributed Computation ,Proc. IEEE International Conference on Distributed Computing Systems, Phoenix, May 2001 ( nominated for the best paper award ), pp. 322 - 329 .Abstract ...........pdf

    119. 2000

  119. Neeraj Mittal, Vijay K. Garg, Debugging Distributed Programs Using Controlled Re-execution ,ACM Symposium on Principles of Distributed Computing (PODC'00),Portland, Oregon, July 2000, pp. 239 - 248.Abstract ...........pdf ...........Technical Report
  120. Vijay Garg, Adnan Aziz, An Efficient Deterministic Algorithm for the Resource Discovery Problem ,ECE Technical Report TR-PDS-2000-003.pspdf

    121. 1999

  121. V. K. Garg, M. RaynalNormality: A Consistency Condition for Concurrent Objects Parallel Processing Letters, 9(1): 123-134 (1999) Abstract ...........pdf

  122. V. K. Garg, R. Kumar, S. I. Marcus, Probabilistic Language Frameworkfor Stochastic Discrete Event Systems,{\em IEEE Transactions on Automatic Control}, Vol. 44, No. 2, February 1999, pp. 280 -- 293.pdf
  123. A. Tarafdar, V. K. Garg, Software fault-tolerance of concurrent programs using controlled reexecution ,DISC'99 Bratislava, Slovakia, September 27-29, 1999, pp. 210 - 224.Abstract ...........pdf slides
  124. Om P. Damani and Ashis Tarafdar and Vijay K. Garg, Optimistic Recovery in Multi-threaded Distributed Systems ,Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS),Lausanne, Switzerland, October 1999, pages 234 - 243.Abstract ...........pdf
  125. C. Skawratananond, N. Mittal, V. K. Garg, A Lightweight Algorithm for Causal Message Ordering in Mobile Computing Systems ,Proc. 12th International Conference on Parallel and DistributedComputing Systems,Fort Lauderdale, Florida, August 1999, pp. 245 - 250.Abstract ...........pdf ...........Technical Report
  126. C. Skawratananond, V. K. Garg, A Quorum-Based Distributed Channel Allocation Algorithm for Mobile SystemsProc. PIMRC , Japan, 1999.Abstract ...........pdf

    127. 1998

  127. C. M. Chase, V. K. Garg,Efficient Detection of Global Predicates in a Distributed System, Distributed Computing, Vol. 11, No. 4, 1998, pp. 169 -- 189.pdf
  128. V. K. Garg, J. R. Mitchell,Implementable Failure Detectors for Asynchronous Systems,Proc. 18th Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science (FSTTCS), Chennai, India, December 1998, pp. 158 - 169.Abstract ...........pdf ...........Technical Report ....... slides
  129. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: SynthesisProc. Conference on Decision and Control (CDC), December 1998.pdf
  130. G. Brat, V. K. Garg,Analyzing non-deterministic real-time systems with (max,+) algebra,Proc. Real-Time Systems Symposium (RTSS'98), December 1998.pdf
  131. J. R. Mitchell and V.K. Garg,A Non-Blocking Recovery Algorithm for Causal Message Logging,Symposium on Reliable Distributed Systems (SRDS), October 1998.pdf
  132. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: ExistenceWorkshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 24-29.pdf
  133. G. Brat, V. K. Garg,A (max,+) algebra for periodic timed discrete event systems.Workshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 237-242.pdf
  134. G. Brat, V. K. Garg,A max-plus algebra for periodic real-time systems,The 9th Symposium of the International Federation of Automatic Control on Information Control in Manufacturing, Nancy-Metz, France, June 24-26, 1998.pdf
  135. A. Tarafdar, V. K. Garg,Addressing False Causality while Detecting Predicates in Distributed Programs,Proc. IEEE International Conference on Distributed Computing Systems, Amsterdam, Netherlands, May 1998, pp. 94 - 101. Abstract ........... pdf slides
  136. V. K. Garg and J. R. Mitchell,Distributed Predicate Detection in a Faulty Environment,Proc. IEEE International Conference on Distributed Computing Systems, Amsterdam, Netherlands, May 1998, pp. 416 - 423. Abstract ........... pdf
  137. N. Mittal and V. K. Garg, Consistency Conditions for Multi-Object Distributed Operations ,Proc. IEEE International Conference on Distributed Computing Systems, Amsterdam, Netherlands, May 1998, pp. 582 - 589.Abstract ...........pdf ...........Technical Report
  138. O. Damani, V. K. Garg,Fault-tolerant Optimistic Distributed Simulation Proc. ACM Workshop on Parallel and Distributed Simulation (PADS), Canada, May 1998, pp. 38 - 45.PDF
  139. A. Tarafdar V. K. Garg,Debugging in a Distributed World: Observation and Control, Proc. IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), Dallas, Texas, March 98,pages 151 - 156 (invited paper).Abstract ...........pdf
  140. A. Tarafdar V. K. Garg,Predicate Control for Active Debugging of Distributed Programs,Proc. of the IEEE 9th Symposium on Parallel and Distributed Processing (SPDP),pages 763 - 769, Orlando, USA, April 1998.Abstract ...........pdf

    141. 1997

  141. V. K. Garg, C. Chase, J. R. Mitchell, R. Kilgore, Efficient Detection of Channel Predicates in a Distributed System, Journal of Parallel and Distributed Computing , Vol. 45, No. 2,September 1997, pp. 134 -- 147.pdf
  142. V. K. Garg,Methods for Observing Global Properties in Distributed Systems, IEEE Concurrency, Vol. 5, No. 4, October 1997, pp. 69 -- 77.pdf
  143. A. I. Tomlinson, V. K. Garg,Monitoring Functions on Global States of Distributed Programs Journal of Parallel and Distributed Computing Vol. 41, No. 2, March 1997, pp. 173 -- 189.Abstract ...........pdf
  144. V. K. Garg, J. R. Mitchell,Efficient Detection of Conjunctions of Global Predicates in a Distributed System,{\em Information Processing Letters 63}, 1997, pp. 295 -- 302.pdf
  145. V. K. Garg, A. I. Tomlinson, Using the Causal Domain to Specify and Verify Distributed Programs, Acta Informatica, Vol. 34, 1997, pp. 667 -- 686.Abstract ...........pdf
  146. V. K. Garg, Observation and Control for Debugging Distributed Computations,{\em Proc. Third International Workshop on Automated Debugging (AADEBUG'97)},Linkoping, Sweden, May 97, pp. 1 -- 12. Keynote presentation.pdf ...........slides
  147. O. Damani, Y. M. Wang, V. K. Garg,Optimistic Distributed Simulation Based on Transitive Dependancy Tracking,Proc. ACM Workshop on Parallel and Distributed Simulation (PADS), Lockenhaus,Austria, June 1997, pp. 90 - 97.Abstract ...........pdf ...........Tech Report
  148. J. R. Mitchell, V. K. Garg,Optimistic Agreement in Asynchronous Distributed Systems,Proc. International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, 1997, pp. 885 - 889.
  149. Y. M. Wang, O. Damani, V. K. Garg,Distributed Recovery with K-Optimistic Logging,Proc. IEEE International Conference on Distributed Computing Systems, Baltimore, Maryland, 1997, pp. 60 - 67.Abstract ...........pdf
  150. V. V. Murty, V. K. Garg, Characterization of Message Ordering Specifications and Protocols,Proc. IEEE International Conference on Distributed Computing Systems, Baltimore, Maryland, 1997, pp. 492 - 499.Abstract ...........pdf

    151. 1996

  151. V. K. Garg, B. Waldecker,Detection of Strong Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 7, No. 12, December 1996, pp. 1323 - 1333. Abstract ...........pdf
  152. D. D. Cofer, and V. K. Garg, Supervisory Control of Real-time Discrete Event Systems using Lattice Theory, IEEE Transactions on Automatic Control Vol. 41, No. 2, February 1996, pp. 199-209.pdf
  153. V. K. Garg, R. Kumar, S. I. Marcus, Modeling Stochastic Discrete Event Systems Using Probabilistic Languages, in Mathematical Theory of Networksand Systems, St. Louis, MO, June 1996.
  154. O. Damani, V. K. Garg,How to Recover Efficiently and Asynchronously when Optimism Fails,Proc. IEEE International Conference on Distributed Computing Systems,Hong Kong, May 1996, pp. 108 - 115. Abstract ........... Tech Report pdf
  155. V. K. Garg, Observation of global properties in distributed systems, IEEE International Conference on Software and KnowledgeEngineering, (Invited as a distinguished speaker :-)),Lake Tahoe, Nevada, June 1996, pp. 418-425. Abstract ........... pdf
  156. V. Murty, V. K. Garg,Characterization of Message Ordering Specifications and Protocols,Proc. ACM Principles of Distributed Computing,Philadelphia, 1996, pp. 88.

    157. 1995

  157. R. Kumar, and V. K. Garg, Modeling and Control of Logical Discrete Event Systems, ,Kluwer Academic Publishers, 1995. ISBN 0-7923-9538-7
  158. S. Young, and V. K. Garg, Model Uncertainty in Discrete Event Systems, SIAM Journal on Control and Optimization Vol. 33,No. 1, January 1995, pp. 208 -- 226.pdf
  159. R. Kumar, V. K. Garg, Optimal Controlof Discrete Event Dynamic Systems Using Network Flow Techniques, SIAM Journal on Control and Optimization 1995.pdf
  160. R. Kumar, V.K. Garg, and S. I. Marcus, Finite Buffer Realization of Input-Output Discret Event Systems, IEEE Transactions on Automatic Control, Vol. 40, No. 6, June 1995, pp. 1042 -- 1053.pdf
  161. R. Kumar, and V.K. Garg, `Extremal Solutions of Inequations over lattices, Theoretical Computer Science, Novemeber 1995 pdf
  162. A. I. Tomlinson, V. K. Garg, Observation of Software for Distributed Systems with RCL,Proc. 15th Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science, Bangalore, India, Lecture Notes in Computer Science1026, Springer-Verlag, Dec. 1995, pp. 195 - 209.Abstract ...........pdf
  163. D. D. Cofer, V. K. Garg, Control of Event Separation Times,Proc. 34th Conference on Decision and Control,New Orleans, December 1995, pp. 2005 - 2010.pdf
  164. V. K. Garg, A. I. Tomlinson, E. Fromentin, M. Raynal, Expressing Control Flow Properties of Distributed Computations,Proc. Symposium on Parallel and Distributed Processing, San Antonio, Texas,October 1995, pp. 432 - 438.pdf
  165. C. Chase, V. K. Garg, Efficient Detection of Restricted Classes of Global Predicates,Proc. 9th International Workshop on Distributed Algorithms , Le Mont-Saint-Michel, France, Lecture Notes in Computer Science, 972,September 1995, pp. 303 - 317.Abstract ...........pdf
  166. J. Roger Mitchell, V. K. Garg, Deriving distributed algorithms from a general predicate detector,Proc. The Nineteenth Intl. Computer Software and Applications Conference, Dallas, Texas, August 1995, pp. 268 - 273.Abstract ...........pdf
  167. V. K. Garg, C. Chase, Distributed Detection of Conjunctive Predicates,Proc. IEEE International Conference on Distributed Computing Systems, Vancouver,Canada, June 1995, pp. 423 - 430.Abstract ...........pdf
  168. V. V. Murty, V. K. Garg, Synchronous Message Ordering,Proc. International Symposium on Autonomous Decentralized Systems, Phoenix, Arizona, April 95, pp. 208 - 214.Abstract ...........pdf...........Tech Report
  169. V. K. Garg, C. Chase, J. R. Mitchell, R. Kilgore, Detecting conjunctive Channel Predicates in a Distributed Programming Environment, Proc. of the Twenty-Eighth Hawaii International Conference on System Sciences,January 1995, Vol. II, pp. 232 - 241.Abstract ...........pdf
  170. D. D. Cofer, V. K. Garg, Idempotent Structures in the Supervisory Control of Discrete EventSystems, in Idempotency, J. Gunawardena, Ed.,Cambridge University Press, 1995.

    171. 1994

  171. D. D. Cofer, V. K. Garg, On Controlling Timed Discrete EventSystems, DIMACS Workshop on Verification and Control ofHybrid Systems, New Brunswick, New Jersey, Oct. 1995, Lecture Notes in Computer Science 1066,Springer-Verlag, pp. 340-349.
  172. V. K. Garg, B. Waldecker,Detection of Weak Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 5, No. 3, March 1994, pp. 299-307. Abstract ........... pdf
  173. V.K. Garg, and J. Ghosh,Repeated Computation of Global Functions in a Distributed Environment,IEEE Transactions on Parallel and Distributed Systems,Vol. 5, No. 8, August 1994, pp. 823-834.Abstract ...........pdf
  174. D. D. Cofer, V. K. Garg, Supervisory Control of Real-timeDiscrete Event Systems using Lattice Theory,Proc. 33rd Conference on Decision and Control,Lake Buena Vista, Florida, December 1994, pp. 978 - 983.pdf (for figures)
  175. R. Kumar, V. K. Garg, Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control,Proc. 33rd Conference on Decision and Control,Lake Buena Vista, Florida, December 1994, pp. 3636 - 3641.
  176. A. I. Tomlinson, V. K. Garg, Maintenance of Global Assertions in Distributed Systems, Proc. International Conference on ComputerScience and Education, Bangalore, India, June 1994, Tata McGraw-HillPublishing Company Limited, pp. 257 -- 272.Abstract ...........pdf ...........Tech Report
  177. V. K. Garg, A. I. Tomlinson, Causality versus Time: How toSpecify and Verify Distributed Algorithms,Proc. The Sixth IEEE Symposium on Parallel and Distributed Processing,Dallas, Texas, October 1994, pp. 249 - 256.Abstract ...........pdf ...........Tech Report
  178. E. Fromentin, M. Raynal, V. K. Garg, A. I. Tomlinson, On the fly testing of Regular Patterns in distributed computations, Proc. 23rd International Conference on ParallelProcessing, St. Charles, Illinois, August 1994, pp. 2:73-76.Abstract ...........pdf
  179. A. I. Tomlinson, V. K. Garg, Maintenance of Global Assertions in DistributedSystems, Proc. International Conference on ComputerScience and Education, Bangalore, India, June 1994, Tata McGraw-HillPublishing Company Limited, pp. 257 - 272.Abstract ...........pdf ...........Tech Report
  180. D. Cofer, V. K. Garg, A Max-Algebra Solution to the Supervisory ControlProblem for Real-Time Discrete Event Systems, Proc. 11th International Conference on Analysisand Optimization of Systems, Rocquencourt, France, June 1994, pp. 283 - 289.

  181. R. Kumar, V. K. Garg, Assignment Program Model for Control of Infinite State Systems,Proc. 32nd Allerton Conference on Communication, Control, andComputing, Allerton, Illinois, Oct. 1995, pp. 166 - 175 (invited).

    182. 1993

  182. R.Kumar, V. K. Garg, S.I.Marcus,A Predicate Transformer Approach to Control of Discrete Event Systems, IEEE Transactions on Automatic Control Vol. 38, No. 2,February 1993, pp 232-247.pdf
  183. R.Kumar, V. K. Garg, S.I.Marcus,Stability of Discrete Event System Behavior SIAM Journal on Control and Optimization Vol. 31, No. 5, September 1993, pp. 1294-1320.pdf
  184. V. K. Garg, A. I. Tomlinson, Using Induction to Prove Properties of Distributed Programs,Proc. Symposium on Parallel and Distributed Processing, Dallas,Texas, Dec. 1993, pp. 478-485.Abstract ...........pdf ...........Tech Report
  185. S. Young, V. K. Garg, Self-Stabilizing Machines: An Approach to Design of Fault-Tolerant Systems, Proc. 32nd Conference on Decision and Control,San Antonio, Texas, Dec. 1993, pp. 1200-1205. pdf
  186. D. D. Cofer, V. K. Garg, A Generalized Model for Performance Analysis of Timed and Untimed Discrete Event Systems,Proc. American Control Conference, San Francisco, California, June 1993, pp. 2288-2292.
  187. R. Kumar, V. K. Garg, Logical Design of a Dispatching Unit,Proc. American Control Conference, San Francisco, California, June 1993, pp. 1198-1202.
  188. A. I. Tomlinson, V. K. Garg, An Algorithm for Minimally Latent Global Virtual Time,Proc. 7th Workshop on Parallel and Distributed Simulation,San Diego, California, May 1993, pp. 35-42.Abstract ...........pdf ...........Tech Report
  189. A.I. Tomlinson, V. K. Garg, Detecting Relational Global Predicates in Distributed Systems,Proc. 3rd ACM/ONR Workshop on Parallel and Distributed Debugging,San Diego, California, May 1993, pp. 21-31.Abstract ...........pdf
  190. S. Young, V. K. Garg, Optimal Sensor and Actuator Choices for Discrete Event Systems, Proc. 31st Allerton Conference on Communication, Control, andComputing, Allerton, Illinois, Oct. 1993.pdf
  191. V. K. Garg, Parallel and Distributed Algorithms for Supervisory Control of Discrete Event Systems, Proc. 32nd Conference on Decision and Control, San Antonio, Texas, Dec. 1993, 2236-2241.

    192. 1992

  192. V. K. Garg, M.T. RaghunathConcurrent Regular Expressions and their Relationship to Petri Net Languages, Theoretical Computer Science } 96 (1992) pp 285-304.Abstract ...........pdf
  193. R. Kumar, V. K. Garg, S.I. Marcus, On $\omega$-Controllability and $\omega$-Observability of Discrete Event Dynamic Systems, IEEE Transactions on Automatic Control Vol. 37, No. 12, December 1992, pp 1978-1985.pdf
  194. V. K. Garg, Some Optimal Algorithms for Decomposed Partially Ordered Sets, Information Processing Letters, 44, November 1992, pp. 39-43. Abstract ...........pdf
  195. V. K. Garg, B. Waldecker, Detection of Unstable Predicate in Distributed Programs,Proc. 12th Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science, New Delhi, India,Lecture Notes in Computer Science652, Springer-Verlag, Dec. 1992, pp. 253-264.Abstract ...........pdf
  196. V. K. Garg, An Algebraic Approach to Modeling Probabilistic Discrete Event Systems,Proc. 31st Conference on Decision and Control, Tucson, Arizona,Dec. 1992, pp. 2348-2353.pdf
  197. D. D. Cofer, V. K. Garg, A Timed Model for the Control of Discrete Event Systems Involving Decisions in the Max/Plus Algebra,Proc. 31st Conference on Decision and Control, Tucson, Arizona,Dec. 1992, pp. 3363-3368.
  198. A. I. Tomlinson, G. Hoagland, V. K. Garg, Distributed Resource Management Using Active Supervisory Predicate Control,Proc. American Control Conference, Chicago, Illinois,June 1992,pp. 2799-2803.pdf
  199. V. K. Garg, R. Kumar, A State-Variable Approach for Controlling Discrete Event Systems with Infinite States,Proc. American Control Conference, Chicago, Illinois, June 1992, pp. 2809-2813.pdf
  200. D. Spanjol, S. Young, V. K. Garg, Control of Discrete Event Systems Modeled with Infinite Languages, Proc. American Control Conference, Chicago, Illinois, June 1992, pp. 2814-2818.pdf

    201. 1991

  201. V.K. Garg and C.V. Ramamoorthy,ConC: A Language for Concurrent Programming,Computer Languages Journal,Vol. 16, No. 1, January 1991 pp 5-18. Abstract ...........pdf
  202. R. Kumar, V. K. Garg, S.I. Marcus, On Controllability and Observability of Discrete Event Dynamic Systems, System and Control Letters Vol. 17, 1991, pp 157-168. pdf
  203. B. Waldecker, V. K. Garg, Unstable Predicate Detection in Distributed Programs,Proc. 3rd IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, Dec. 1991, pp. 692-699. paper
  204. R. Kumar, V. K. Garg, S. I. Marcus,On Using Predicate Transformers for Supervisory Control,Proc. Conference on Decision and Control, Brighton,United Kingdom, Dec. 1991, pp. 98-103.
  205. R. Kumar, V. K. Garg, Optimal Control of Discrete Event Dynamic Systems Using Network Flow Techniques, Proc. 29th Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Oct. 1991, pp. 705-714.
  206. V. K. Garg, Timed Probabilistic Languages,extended abstract in Current System Development, IEEE Symposium on Real-time Systems, San Antonio, Texas, Aug. 1991.
  207. R. Kumar, V. K. Garg, S. I. Marcus,Stability of Discrete Event System BehaviorProc. IFAC International Symposium on Distributed Intelligence Systems, Arlington, Virginia, Aug. 1991, pp. 13-18.
  208. S. Young, V. K. Garg, Uncertainty in Discrete Event Systems,Proc. IEEE International Symposium on Intelligent Control,Arlington, Virginia, Aug. 1991, pp. 245-250.
  209. R. Kumar, V. K. Garg, S. I. Marcus,On w-Controllability and w-Normality of DEDS,Proc. American Control Conference, Vol. 3, Boston, Massachusetts, June 1991, pp. 2905-2910.
  210. B. Waldecker, V. K. Garg, Unstable Predicate Detection in Distributed Programs,Proc. 2nd ACM/ONR Workshop on Parallel andDistributed Debugging, Extended Abstract, Santa Cruz, California, May 1991.

    211. 1990

  211. R. D. Brandt, V. K. Garg, et al,Formulas for Calculating Supremal Controllable and NormalSublanguages, System and Control Letters Vol. 15, No. 2, Aug. 1990,pp 111-117.pdf
  212. V. K. Garg,A Distributed Algorithm for N-process Synchronization,Proc. 2nd IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, Dec. 1990.Abstract ...........pdf
  213. V. K. Garg, J. Ghosh,Symmetry In Spite of Hierarchy,Proc. 10th IEEE International Conference on Distributed Computing Systems, Paris, France, June 1990, pp. 4-11. slides
  214. R. Kumar, V. K. Garg, S. I. Marcus,Language Stability of DEDS,Proc. International Conference on Mathematical Theoryof Control, published as Lecture Notes in Pure and AppliedMathematics, Marcel Dekker, Vol. 142, edited byM. C. Joshi and A. V. Balakrishnan, Bombay, India, 1990, pp. 185-203.

    215. 1989

  215. R. Kumar, V. K. Garg, S. I. Marcus,Control of Discrete Event Dynamic Systems: SupremalControllable and Observable Languages, Proc. 27th Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Sept. 1989, pp. 501-510.
  216. V. K. Garg,Modeling of Distributed Systems by Concurrent Regular Expressions,Proc. 2nd International Conference on FormalDescription Techniques for Distributed Systems and CommunicationProtocols, Vancouver, Canada, Dec. 1989. Published by North-Holland, 1990,pp. 313-327.pdf

    217. 1988

  217. V. K. Garg, C. V. Ramamoorthy,High Level Communication Primitives in the Distributed System Specification Language,Proc. IEEE International Conference on Computer Languages, Miami Beach, Florida,Oct. 1988, pp. 92-99.Abstract ........... pdf ... (invited for publication in a journal)
  218. V. K. Garg,Analysis of Distributed Systems with Many Identical Processes,Proc. 8th IEEE International Conference on Distributed Computing Systems,San Jose, California, June 1988, pp. 358-365.Abstract ...........pdf
  219. V. K. Garg,Specification and Analysis of Concurrent Systems using the STOCS Model, Proc. 1988 Computer NetworkingSymposium, Washington, D.C., April 1988, pp. 192-200. paper
  220. C. V. Ramamoorthy, V.K. Garg, and A. Prakash, Reusability Support in GENESIS, IEEE Transactions on Software Engineering, pp. 1145-1154, August 1988. ieee-portal

    221. 1987

  221. V. K. Garg, C. V. Ramamoorthy, Effect of Locality in Large Networks, Proc. 7th IEEE InternationalConference on Distributed Computing Systems, Berlin, Germany, Sept. 1987, pp. 544-550.
  222. C. V. Ramamoorthy, A. Prakash, V. K. Garg, et al, Issues in the Development of Large, Distributed, and Reliable Software, Advances in Computers, Vol 26, 1987, pp 396-443. paper
  223. C. V. Ramamoorthy, S. Shekhar, V. K. Garg, Software Development Support for AI Programs, IEEE Computer, January 1987, pp 30-40 ieee-portal also in Computer Architectures for Artificial Intelligence, edited by Wah and Ramamoorthy, John Wiley & Sons, 1990, pp 513-531.

    224. 1986

  224. C. V. Ramamoorthy, V. K. Garg, and A. Prakash, Programming in the Large, IEEE Transactions on Software Engineering, Vol. 12, No. 7, July 1986, pp 769-783.
  225. C. V. Ramamoorthy, V. K. Garg, A. Prakash,Support for Reusability in GENESIS,Proc. 10th IEEE International Conference on Computer Software and Applications, Chicago, Illinois,Oct. 1986, pp. 299-305.
  226. C. V. Ramamoorthy, A. Bhide, V. K. Garg, T. Yamaura,Software Quality and Requirement Specification,Proc. IEEE International Conference on Computer Languages,Miami, Florida, Oct. 1986, pp. 75-83.
  227. Vijay Kumar Garg, Functional composition: a mechanism to compose programs July 1985 ACM SIGPLAN Notices, Volume 10 Issue 3, acm-portal

    228. 1985

  228. C. V. Ramamoorthy, V. K. Garg, R. Aggarwal,Environment Modeling and Activity Management in Genesis,Proc. 2nd Conference on Software Tools, Techniques and Alternatives, (SOFTFAIR II) San Francisco, California, Dec. 1985. acm-portal

    229. 1984

  229. Vijay Kumar Garg, Screen-oriented highlevel debugger (SHD) for Pascal, March 1984 ACM SIGPLAN Notices, Volume 19 Issue 3, PDF
  230. V.K. Garg, M.B. Agrawal, Dimensional Analysis in Pascal, ACM SIGPLAN Notices, March 1984.PDF