Vijay K. Garg

Complete List of Publications

    2017

  1. Himanshu Chauhan, Vijay K. Garg Fast Enumeration of Counting and Stable Predicates submitted
  2. Vijay K. Garg Applying Predicate Detection to the Constrained Stable Marriage Problem submitted
  3. Vijay K. Garg Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem Disc 2017 pdf
  4. Himanshu Chauhan, Vijay K. Garg Space Efficient Breadth First and Level Traversal of Consistent Global States RV 2017 pdf Best Paper Award
  5. Wei-Lun Hung, Vijay K. Garg Automatic-Signal Monitors with Multi-Object Synchronization IPDPS 2017 pdf

    2016

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

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

    2014

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

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

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

  34. Vijay K. Garg, John Bridgman, Bharath Balasubramanian Accurate Byzantine with Feedback OPODIS 2011, paper
  35. Bharath Balasubramanian, Vijay K. Garg Fusion-based DFSMs for Fault Tolerance in Distributed Systems ,Proc. OPODIS 2011 paper
  36. Vijay K. Garg, John Bridgman, Bharath Balasubramanian Brief Announcement: Accurate Byzantine with Feedback PODC 2011, announcement paper slides
  37. 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
  38. 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
  39. 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)
  40. 2010

  41. 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)
  42. 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

  43. 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
  44. 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
  45. 2009

  46. 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
  47. 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
  48. 2008

  49. Sujatha Kashyap, Vijay K. Garg Generating Small Counter-Examples Using Crucial Events ,Proc. Computer Aided Verification (CAV) July 2008, paper ... slides
  50. Bharath Balasubramanian, Vinit Ogale, Vijay K. Garg Fusible State Machines ,Proc. International Conference on Distributed Computing and Networking (ICDCN) paper Jan 2008, .
  51. Vaibhav Saxena, Prashant Agrawal, Yogish Sabharwal, Vijay K. Garg, Vimitha A. Kuruvilla, John A. Gunnels, Optimization of BLAS on the Cell Processor. HiPC 2008: 18-29 paper
  52. V. K. Garg, Neeraj Mittal, Global Time and State in Distributed Systems, Wiley Encyclopedia on Parallel and Distributed Computing, . ........... paper
  53. 2007

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

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

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

  80. 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. ........... Postscript ........... pdf
  81. 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............ Postscript ........... pdf
  82. V. K. Garg, Concurrent and Distributed Computing in Java , John Wiley & Sons, 2004. For description click here
  83. 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
  84. 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
  85. 2003

  86. 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, ........... Postscript
  87. 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, ........... Postscript ........... pdf
  88. 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
  89. Alper Sen and Vijay K. Garg, Partial Order Trace Analyzer (POTA) for Distributed Programs , Proc. Workshop on Runtime Verification, Boulder, Colorado, 2003............pdf
  90. 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
  91. 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
  92. 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
  93. 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 ),
  94. 2002

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

  100. 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
  101. 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
  102. 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)
  103. 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
  104. 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
  105. 2000

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

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

  110. 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
  111. 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
  112. 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
  113. 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
  114. C. Skawratananond, V. K. Garg, A Quorum-Based Distributed Channel Allocation Algorithm for Mobile SystemsProc. PIMRC , Japan, 1999.Abstract ...........pdf
  115. 1998

  116. 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
  117. 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
  118. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: SynthesisProc. Conference on Decision and Control (CDC), December 1998.pdf
  119. G. Brat, V. K. Garg,Analyzing non-deterministic real-time systems with (max,+) algebra,Proc. Real-Time Systems Symposium (RTSS'98), December 1998.pdf
  120. 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
  121. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: ExistenceWorkshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 24-29.pdf
  122. 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
  123. 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
  124. 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
  125. 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
  126. 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
  127. 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
  128. 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
  129. 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
  130. 1997

  131. 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
  132. V. K. Garg,Methods for Observing Global Properties in Distributed Systems, IEEE Concurrency, Vol. 5, No. 4, October 1997, pp. 69 -- 77.pdf
  133. 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
  134. 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
  135. 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
  136. 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
  137. 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
  138. 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.
  139. 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
  140. 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
  141. 1996

  142. 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
  143. 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
  144. 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.
  145. 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
  146. 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
  147. V. Murty, V. K. Garg,Characterization of Message Ordering Specifications and Protocols,Proc. ACM Principles of Distributed Computing,Philadelphia, 1996, pp. 88.
  148. 1995

  149. 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
  150. R. Kumar, V. K. Garg, Optimal Controlof Discrete Event Dynamic Systems Using Network Flow Techniques, SIAM Journal on Control and Optimization 1995.pdf
  151. 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
  152. R. Kumar, and V.K. Garg, `Extremal Solutions of Inequations over lattices, Theoretical Computer Science, Novemeber 1995 pdf
  153. 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
  154. 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
  155. 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
  156. 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
  157. 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
  158. 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
  159. 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
  160. 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
  161. D. D. Cofer, V. K. Garg, Idempotent Structures in the Supervisory Control of Discrete EventSystems, in Idempotency, J. Gunawardena, Ed.,Cambridge University Press, 1995.
  162. 1994

  163. 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.
  164. 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
  165. 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
  166. 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)
  167. 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.
  168. 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
  169. 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
  170. 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
  171. 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
  172. 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.

  173. 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).
  174. 1993

  175. 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
  176. 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
  177. 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
  178. 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
  179. 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.
  180. R. Kumar, V. K. Garg, Logical Design of a Dispatching Unit,Proc. American Control Conference, San Francisco, California, June 1993, pp. 1198-1202.
  181. 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
  182. 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
  183. 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
  184. 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.
  185. 1992

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

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

  207. 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
  208. 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
  209. 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
  210. 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.
  211. 1989

  212. 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.
  213. 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
  214. 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 and before

  220. 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.
  221. 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.
  222. 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.
  223. 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.
  224. 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
  225. 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.
  226. Vijay Kumar Garg, Functional composition: a mechanism to compose programs July 1985 ACM SIGPLAN Notices, Volume 10 Issue 3, acm-portal
  227. 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
  228. Vijay Kumar Garg, Screen-oriented highlevel debugger (SHD) for Pascal, March 1984 ACM SIGPLAN Notices, Volume 19 Issue 3, PDF
  229. V.K. Garg, M.B. Agrawal, Dimensional Analysis in Pascal, ACM SIGPLAN Notices, March 1984.PDF