Vijay K. Garg

Complete List of Publications

    2022

  1. Vijay K. Garg, ICDCN'23, Keynote.
  2. Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng, Amortized Constant Round Atomic Snapshot in Message-Passing Systems, IPDPS 22 arxiv-version
  3. 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
  4. Vijay K. Garg, A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems ICDCN'22, arxiv-version
  5. Vijay K. Garg, Changyong Hu, Improved Path to Stability for the Stable Marriage Problem arxiv-version Submitted for publication
  6. Vijay K. Garg, Book: A Systematic Approach to Parallel Algorithms under preparation description
  7. 2021

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

    2020

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

    2019

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

    2018

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

    2017

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

    2016

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

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

    2014

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

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

  65. 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)
  66. 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

  67. 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
  68. 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
  69. 2009

  70. 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
  71. 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
  72. 2008

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

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

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

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

  104. 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
  105. 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
  106. V. K. Garg, Concurrent and Distributed Computing in Java , John Wiley & Sons, 2004. For description click here
  107. 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
  108. 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
  109. 2003

  110. 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
  111. 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
  112. 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
  113. Alper Sen and Vijay K. Garg, Partial Order Trace Analyzer (POTA) for Distributed Programs , Proc. Workshop on Runtime Verification, Boulder, Colorado, 2003............pdf
  114. 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
  115. 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
  116. 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
  117. 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 ),
  118. 2002

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

  124. 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
  125. 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
  126. 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)
  127. 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
  128. 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
  129. 2000

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

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

  134. 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
  135. 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
  136. 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
  137. 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
  138. C. Skawratananond, V. K. Garg, A Quorum-Based Distributed Channel Allocation Algorithm for Mobile SystemsProc. PIMRC , Japan, 1999.Abstract ...........pdf
  139. 1998

  140. 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
  141. 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
  142. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: SynthesisProc. Conference on Decision and Control (CDC), December 1998.pdf
  143. G. Brat, V. K. Garg,Analyzing non-deterministic real-time systems with (max,+) algebra,Proc. Real-Time Systems Symposium (RTSS'98), December 1998.pdf
  144. 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
  145. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: ExistenceWorkshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 24-29.pdf
  146. 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
  147. 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
  148. 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
  149. 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
  150. 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
  151. 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
  152. 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
  153. 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
  154. 1997

  155. 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
  156. V. K. Garg,Methods for Observing Global Properties in Distributed Systems, IEEE Concurrency, Vol. 5, No. 4, October 1997, pp. 69 -- 77.pdf
  157. 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
  158. 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
  159. 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
  160. 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
  161. 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
  162. 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.
  163. 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
  164. 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
  165. 1996

  166. 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
  167. 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
  168. 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.
  169. 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
  170. 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
  171. V. Murty, V. K. Garg,Characterization of Message Ordering Specifications and Protocols,Proc. ACM Principles of Distributed Computing,Philadelphia, 1996, pp. 88.
  172. 1995

  173. R. Kumar, and V. K. Garg, Modeling and Control of Logical Discrete Event Systems, ,Kluwer Academic Publishers, 1995. ISBN 0-7923-9538-7
  174. 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
  175. R. Kumar, V. K. Garg, Optimal Controlof Discrete Event Dynamic Systems Using Network Flow Techniques, SIAM Journal on Control and Optimization 1995.pdf
  176. 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
  177. R. Kumar, and V.K. Garg, `Extremal Solutions of Inequations over lattices, Theoretical Computer Science, Novemeber 1995 pdf
  178. 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
  179. 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
  180. 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
  181. 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
  182. 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
  183. 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
  184. 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
  185. 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
  186. D. D. Cofer, V. K. Garg, Idempotent Structures in the Supervisory Control of Discrete EventSystems, in Idempotency, J. Gunawardena, Ed.,Cambridge University Press, 1995.
  187. 1994

  188. 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.
  189. 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
  190. 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
  191. 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)
  192. 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.
  193. 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
  194. 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
  195. 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
  196. 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
  197. 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.

  198. 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).
  199. 1993

  200. 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
  201. 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
  202. 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
  203. 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
  204. 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.
  205. R. Kumar, V. K. Garg, Logical Design of a Dispatching Unit,Proc. American Control Conference, San Francisco, California, June 1993, pp. 1198-1202.
  206. 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
  207. 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
  208. 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
  209. 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.
  210. 1992

  211. 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
  212. 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
  213. V. K. Garg, Some Optimal Algorithms for Decomposed Partially Ordered Sets, Information Processing Letters, 44, November 1992, pp. 39-43. Abstract ...........pdf
  214. 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
  215. 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
  216. 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.
  217. 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
  218. 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
  219. 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
  220. 1991

  221. 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
  222. 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
  223. 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
  224. 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.
  225. 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.
  226. V. K. Garg, Timed Probabilistic Languages,extended abstract in Current System Development, IEEE Symposium on Real-time Systems, San Antonio, Texas, Aug. 1991.
  227. 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.
  228. S. Young, V. K. Garg, Uncertainty in Discrete Event Systems,Proc. IEEE International Symposium on Intelligent Control,Arlington, Virginia, Aug. 1991, pp. 245-250.
  229. 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.
  230. 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.
  231. 1990

  232. 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
  233. 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
  234. 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
  235. 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.
  236. 1989

  237. 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.
  238. 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
  239. 1988

  240. 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)
  241. 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
  242. 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
  243. 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
  244. 1987

  245. 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.
  246. 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
  247. 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.
  248. 1986

  249. 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.
  250. 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.
  251. 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.
  252. Vijay Kumar Garg, Functional composition: a mechanism to compose programs July 1985 ACM SIGPLAN Notices, Volume 10 Issue 3, acm-portal
  253. 1985

  254. 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
  255. 1984

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