Vijay K. Garg

Complete List of Publications

    2024

  1. Robert Streit, Vijay K. Garg, The Polymatroid Representation of a Greedoid, and Associated Galois Connections pdf submitted
  2. Robert Streit, Vijay K. Garg, Reducing Matroid Optimization to Basis Search pdf submitted
  3. Vijay K. Garg, Robert Streit, Parallel Algorithms for Equilevel Predicates pdf ICDCN'24
  4. Vijay K. Garg, Book: A Systematic Approach to Parallel Algorithms under preparation description

    5. 2023

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

    2022

  7. Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng, Amortized Constant Round Atomic Snapshot in Message-Passing Systems, IPDPS 22 arxiv-version
  8. 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
  9. Vijay K. Garg, A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems ICDCN'22, arxiv-version

    2021

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

    2020

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

    2019

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

    2018

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

    2017

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

    2016

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

    34. 2015

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

    2014

  41. Vijay K. Garg, Neeraj Mittal Invited Tutorial: Lattice-Theoretic Approach to Runtime Verification of Distributed Systems RV 2014 Slides I .. Slides II .. Video
  42. Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg Brief Announcement: Non-blocking Monitor Executions for Increased Parallelism DISC 2014 brief-announcement
  43. Vijay K. Garg, Anurag Agarwal, Vinit Ogale Modeling, Analyzing and Slicing Periodic Distributed Computations Information and Computation 2014 pp. 26-43 paper
  44. 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)
  45. Bharath Balasubramanian, Vijay K. Garg Fault Tolerance in Distributed Systems using Fused State Machines Distributed Computing 27(4): 287-311, 2014.

    46. 2013

  46. Nitin Vaidya, Vijay K. Garg Byzantine Vector Consensus in Complete Graphs PODC 2013 arXiv ... slides ... (invited for publication in a journal)
  47. 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)
  48. Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal Distributed Abstraction Algorithm for Online Predicate Detection SRDS 2013 arXiv ... slides
  49. Himanshu Chauhan, Vijay K. Garg Democratic Elections in Faulty Distributed Systems Proc. of Distributed Computing and Networking - 14th International Conference, ICDCN 2013 pdf ... slides
  50. Vijay K. Garg Maximal Antichain Lattice Algorithms for Distributed Computations "Proc. of Distributed Computing and Networking - 14th International Conference, ICDCN 2013" pdf ... slides
  51. Bharath Balasubramanian, Vijay K. Garg Fault Tolerance in Distributed Systems using Fused Data Structures IEEE Transactions on Parallel and Distributed Systems pdf

    52. 2012

  52. John Bridgman, Vijay K. Garg All-to-All Gradecast Using Coding with Byzantine Failures SSS 2012, Toronto, Canada, pdf ... slides
  53. Vijay K. Garg Lattice Completion Algorithms for Distributed Computations In Proc. of Principles of Distributed Systems - 16th International Conference, OPODIS 2012 Paper ... slides
  54. John Bridgman, Vijay K. Garg Brief Announcement: All-to-All Gradecast Using Coding with Byzantine Failures PODC 2012, Madeira, Portugal, pp. 95-96.
  55. 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

    56. 2011

  56. Vijay K. Garg, John Bridgman, Bharath Balasubramanian Accurate Byzantine with Feedback OPODIS 2011, paper
  57. Bharath Balasubramanian, Vijay K. Garg Fusion-based DFSMs for Fault Tolerance in Distributed Systems ,Proc. OPODIS 2011 paper
  58. Vijay K. Garg, John Bridgman, Bharath Balasubramanian Brief Announcement: Accurate Byzantine with Feedback PODC 2011, announcement paper slides
  59. 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
  60. 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
  61. 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)

    62. 2010

  62. 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)
  63. 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

  64. 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
  65. 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

    66. 2009

  66. 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
  67. 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

    68. 2008

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

    72. 2007

  72. Vinit Ogale and Vijay K. Garg, Detetcing Temporal Logic Predicates on Distributed Computations , DISC 2007, pp. 420-434. paper ... slides
  73. Vijay K. Garg and Vinit Ogale,Fusible Data Structures for Fault-Tolerance ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS) paper 2007, .
  74. Neeraj Mittal, Alper Sen and Vijay K. Garg, Solving Computation Slicing Using Predicate Detection , IEEE Transactions on Parallel and Distributed Systems accepted, Jan 2007
  75. 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
  76. 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
  77. Anurag Agarwal, Vijay K. Garg, Predicate Detection on Infinite Computations Tech Report pdf for the tech. report
  78. Alper Sen and Vijay K. Garg, Formal Verfication of Simulation Traces using Computation Slicing , IEEE Transactions on Computers Jan 2007, pp. 511-527

    79. 2006

  79. Rahul Garg, Vijay K. Garg, Yogish Sabharwal, Scalable Algorithms for Global Snapshots in Distributed Systems ACM International Conference on Supercomputing 2006 paper .... slides
  80. 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
  81. Anurag Agarwal, Vijay K. Garg, Efficient Dependency Tracking for Relevant Events in Concurrent Systems, Distributed Computing (DC) accepted paper ... springer
  82. Vijay K. Garg, Hints for Building Self-* Systems panel talk, SSS'06 ... slides
  83. 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
  84. Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets , Theoretical Computer Science , Vol. 359, August 2006, pp. 200 - 213, ...pdf .
  85. Vijay K. Garg, Neeraj Mittal and Alper Sen, Using Order in Distributed Computing , American Mathematical Society National Meeting invited , Jan. 2006 pdf .... pdf-slides
  86. 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

    87. 2005

  87. 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
  88. Sujatha Kashyap, Vijay K. Garg, Intractability Results in Predicate Detection, Information Processing Letters Vol. 94, No. 6, pp. 277 - 282, June 2005. pdf
  89. 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
  90. Neeraj Mittal and Vijay K. Garg, Techniques and Applications of Computation Slicing Distributed Computing 17(3):251-277, 2005 link to Springer ... pdf
  91. V. K. Garg, Neeraj Mittal, A Critique of Java for Concurrent Programming, IEEE Distributed Systems online 6(9), 2005........... link
  92. Selma Ikiz, Vinit Ogale, V. K. Garg, Coordinated Energy Conservation in Ad Hoc Networks, pdf ..... abstract
  93. 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 .
  94. 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

    95. 2004

  95. 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
  96. 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
  97. V. K. Garg, Concurrent and Distributed Computing in Java , John Wiley & Sons, 2004. For description click here
  98. 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
  99. 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

    100. 2003

  100. 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
  101. 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
  102. 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
  103. Alper Sen and Vijay K. Garg, Partial Order Trace Analyzer (POTA) for Distributed Programs , Proc. Workshop on Runtime Verification, Boulder, Colorado, 2003............pdf
  104. 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
  105. 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
  106. 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
  107. 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 ),

    108. 2002

  108. 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
  109. V. K. Garg, Elements of Distributed Computing ,John Wiley & Sons, 2002. For description click here
  110. Vijay K. Garg, C. Skawratananond, On Timestamping Synchronous Computations ,Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), Vienna, July 2002.Abstract ...........pdf ..... slides
  111. 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 ...........

    112. 2001

  112. 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
  113. 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
  114. 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)
  115. 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
  116. 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

    117. 2000

  117. 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
  118. Vijay Garg, Adnan Aziz, An Efficient Deterministic Algorithm for the Resource Discovery Problem ,ECE Technical Report TR-PDS-2000-003.pspdf

    119. 1999

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

  120. 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
  121. 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
  122. 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
  123. 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
  124. C. Skawratananond, V. K. Garg, A Quorum-Based Distributed Channel Allocation Algorithm for Mobile SystemsProc. PIMRC , Japan, 1999.Abstract ...........pdf

    125. 1998

  125. 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
  126. 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
  127. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: SynthesisProc. Conference on Decision and Control (CDC), December 1998.pdf
  128. G. Brat, V. K. Garg,Analyzing non-deterministic real-time systems with (max,+) algebra,Proc. Real-Time Systems Symposium (RTSS'98), December 1998.pdf
  129. 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
  130. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: ExistenceWorkshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 24-29.pdf
  131. 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
  132. 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
  133. 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
  134. 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
  135. 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
  136. 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
  137. 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
  138. 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

    139. 1997

  139. 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
  140. V. K. Garg,Methods for Observing Global Properties in Distributed Systems, IEEE Concurrency, Vol. 5, No. 4, October 1997, pp. 69 -- 77.pdf
  141. 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
  142. 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
  143. 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
  144. 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
  145. 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
  146. 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.
  147. 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
  148. 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

    149. 1996

  149. 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
  150. 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
  151. 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.
  152. 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
  153. 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
  154. V. Murty, V. K. Garg,Characterization of Message Ordering Specifications and Protocols,Proc. ACM Principles of Distributed Computing,Philadelphia, 1996, pp. 88.

    155. 1995

  155. R. Kumar, and V. K. Garg, Modeling and Control of Logical Discrete Event Systems, ,Kluwer Academic Publishers, 1995. ISBN 0-7923-9538-7
  156. 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
  157. R. Kumar, V. K. Garg, Optimal Controlof Discrete Event Dynamic Systems Using Network Flow Techniques, SIAM Journal on Control and Optimization 1995.pdf
  158. 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
  159. R. Kumar, and V.K. Garg, `Extremal Solutions of Inequations over lattices, Theoretical Computer Science, Novemeber 1995 pdf
  160. 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
  161. 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
  162. 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
  163. 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
  164. 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
  165. 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
  166. 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
  167. 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
  168. D. D. Cofer, V. K. Garg, Idempotent Structures in the Supervisory Control of Discrete EventSystems, in Idempotency, J. Gunawardena, Ed.,Cambridge University Press, 1995.

    169. 1994

  169. 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.
  170. 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
  171. 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
  172. 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)
  173. 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.
  174. 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
  175. 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
  176. 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
  177. 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
  178. 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.

  179. 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).

    180. 1993

  180. 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
  181. 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
  182. 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
  183. 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
  184. 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.
  185. R. Kumar, V. K. Garg, Logical Design of a Dispatching Unit,Proc. American Control Conference, San Francisco, California, June 1993, pp. 1198-1202.
  186. 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
  187. 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
  188. 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
  189. 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.

    190. 1992

  190. 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
  191. 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
  192. V. K. Garg, Some Optimal Algorithms for Decomposed Partially Ordered Sets, Information Processing Letters, 44, November 1992, pp. 39-43. Abstract ...........pdf
  193. 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
  194. 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
  195. 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.
  196. 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
  197. 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
  198. 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

    199. 1991

  199. 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
  200. 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
  201. 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
  202. 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.
  203. 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.
  204. V. K. Garg, Timed Probabilistic Languages,extended abstract in Current System Development, IEEE Symposium on Real-time Systems, San Antonio, Texas, Aug. 1991.
  205. 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.
  206. S. Young, V. K. Garg, Uncertainty in Discrete Event Systems,Proc. IEEE International Symposium on Intelligent Control,Arlington, Virginia, Aug. 1991, pp. 245-250.
  207. 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.
  208. 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.

    209. 1990

  209. 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
  210. 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
  211. 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
  212. 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.

    213. 1989

  213. 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.
  214. 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

    215. 1988

  215. 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)
  216. 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
  217. 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
  218. 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

    219. 1987

  219. 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.
  220. 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
  221. 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.

    222. 1986

  222. 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.
  223. 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.
  224. 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.
  225. Vijay Kumar Garg, Functional composition: a mechanism to compose programs July 1985 ACM SIGPLAN Notices, Volume 10 Issue 3, acm-portal

    226. 1985

  226. 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

    227. 1984

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