- Himanshu Chauhan, Vijay K. Garg
**Space Efficient Detection and Enumeration of Predicates in Parallel Computations**submitted. - Xiong Zheng, Vijay K. Garg, John Kaippallimalil,
**Linearlizable Replicated State Machines,**pdf - Xiong Zheng, Changyong Hu, Vijay K. Garg,
**Lattice Agreement in Message Passing Systems,***International Symposium on DIStributed Computing (DISC)} 2018.*arxiv-version - Vijay K. Garg and R. Garg
**Parallel Algorithms for Predicate Detection***ICDCN'19*## 2017

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

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

- Vijay K. Garg, Neeraj Mittal
**Invited Tutorial: Lattice-Theoretic Approach to Runtime Verification of Distributed Systems***RV 2014*Slides I .. Slides II .. Video - Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg
**Brief Announcement: Non-blocking Monitor Executions for Increased Parallelism***DISC 2014*brief-announcement - Vijay K. Garg, Anurag Agarwal, Vinit Ogale
**Modeling, Analyzing and Slicing Periodic Distributed Computations***Information and Computation 2014*pp. 26-43 paper - 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)** - Bharath Balasubramanian, Vijay K. Garg
**Fault Tolerance in Distributed Systems using Fused State Machines***Distributed Computing*27(4): 287-311, 2014. - Nitin Vaidya, Vijay K. Garg
**Byzantine Vector Consensus in Complete Graphs***PODC 2013*arXiv ... slides ...**(invited for publication in a journal)** - 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)** - Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal
**Distributed Abstraction Algorithm for Online Predicate Detection***SRDS 2013*arXiv ... slides - Himanshu Chauhan, Vijay K. Garg
**Democratic Elections in Faulty Distributed Systems***Proc. of Distributed Computing and Networking - 14th International Conference, ICDCN 2013*pdf ... slides - Vijay K. Garg
**Maximal Antichain Lattice Algorithms for Distributed Computations***"Proc. of Distributed Computing and Networking - 14th International Conference, ICDCN 2013"*pdf ... slides - Bharath Balasubramanian, Vijay K. Garg
**Fault Tolerance in Distributed Systems using Fused Data Structures***IEEE Transactions on Parallel and Distributed Systems*pdf - John Bridgman, Vijay K. Garg
**All-to-All Gradecast Using Coding with Byzantine Failures***SSS 2012, Toronto, Canada,*pdf ... slides - Vijay K. Garg
**Lattice Completion Algorithms for Distributed Computations***In Proc. of Principles of Distributed Systems - 16th International Conference, OPODIS 2012*Paper ... slides - John Bridgman, Vijay K. Garg
**Brief Announcement: All-to-All Gradecast Using Coding with Byzantine Failures***PODC 2012, Madeira, Portugal,*pp. 95-96. - 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 - Vijay K. Garg, John Bridgman, Bharath Balasubramanian
**Accurate Byzantine with Feedback***OPODIS 2011,*paper - Bharath Balasubramanian, Vijay K. Garg
**Fusion-based DFSMs for Fault Tolerance in Distributed Systems**,*Proc. OPODIS*2011 paper - Vijay K. Garg, John Bridgman, Bharath Balasubramanian
**Brief Announcement: Accurate Byzantine with Feedback***PODC 2011,*announcement paper slides - 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 - 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 - 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)** - 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)** - 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** - 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 - 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 - 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 - 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 - Sujatha Kashyap, Vijay K. Garg
**Generating Small Counter-Examples Using Crucial Events**,*Proc. Computer Aided Verification (CAV)*July 2008, paper ... slides - Bharath Balasubramanian, Vinit Ogale, Vijay K. Garg
**Fusible State Machines**,*Proc. International Conference on Distributed Computing and Networking (ICDCN)*paper Jan 2008, . - 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 - V. K. Garg, Neeraj Mittal,
**Global Time and State in Distributed Systems,**Wiley Encyclopedia on Parallel and Distributed Computing, . ........... paper - Vinit Ogale and Vijay K. Garg,
**Detetcing Temporal Logic Predicates on Distributed Computations**, DISC 2007, pp. 420-434. paper ... slides - Vijay K. Garg and Vinit Ogale,
**Fusible Data Structures for Fault-Tolerance**,*Proc. IEEE International Conference on Distributed Computing Systems (ICDCS)*paper 2007, . - Neeraj Mittal, Alper Sen and Vijay K. Garg,
**Solving Computation Slicing Using Predicate Detection**,*IEEE Transactions on Parallel and Distributed Systems*accepted, Jan 2007 - 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 - 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 - Anurag Agarwal, Vijay K. Garg,
**Predicate Detection on Infinite Computations***Tech Report*pdf for the tech. report - Alper Sen and Vijay K. Garg,
**Formal Verfication of Simulation Traces using Computation Slicing**,*IEEE Transactions on Computers*Jan 2007, pp. 511-527 - Rahul Garg, Vijay K. Garg, Yogish Sabharwal,
**Scalable Algorithms for Global Snapshots in Distributed Systems***ACM International Conference on Supercomputing*2006 paper .... slides - 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 - Anurag Agarwal, Vijay K. Garg,
**Efficient Dependency Tracking for Relevant Events in Concurrent Systems,***Distributed Computing (DC)*accepted paper ... springer - Vijay K. Garg,
**Hints for Building Self-* Systems**panel talk, SSS'06 ... slides - 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 - Vijay K. Garg,
**Algorithmic Combinatorics based on Slicing Posets**,*Theoretical Computer Science*, Vol. 359, August 2006, pp. 200 - 213, ...pdf . - Vijay K. Garg, Neeraj Mittal and Alper Sen,
**Using Order in Distributed Computing**,*American Mathematical Society National Meeting***invited**, Jan. 2006 pdf .... pdf-slides - 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 - 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 - Sujatha Kashyap, Vijay K. Garg,
**Intractability Results in Predicate Detection,***Information Processing Letters*Vol. 94, No. 6, pp. 277 - 282, June 2005. pdf - 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 - Neeraj Mittal and Vijay K. Garg,
**Techniques and Applications of Computation Slicing***Distributed Computing*17(3):251-277, 2005 link to Springer ... pdf - V. K. Garg, Neeraj Mittal,
**A Critique of Java for Concurrent Programming,***IEEE Distributed Systems online*6(9), 2005........... link - Selma Ikiz, Vinit Ogale, V. K. Garg,
**Coordinated Energy Conservation in Ad Hoc Networks,**pdf ..... abstract - 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 . - 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 - 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 - 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 - V. K. Garg,
**Concurrent and Distributed Computing in Java**, John Wiley & Sons, 2004. For description click here - 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 - 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 - 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 - 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 - 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 - Alper Sen and Vijay K. Garg,
**Partial Order Trace Analyzer (POTA) for Distributed Programs**,*Proc. Workshop on Runtime Verification,*Boulder, Colorado, 2003............pdf - 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 - 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 - 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 - 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**), - 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 - V. K. Garg,
**Elements of Distributed Computing**,John Wiley & Sons, 2002. For description click here - Vijay K. Garg, C. Skawratananond,
**On Timestamping Synchronous Computations**,*Proc. IEEE International Conference on Distributed Computing Systems (ICDCS)*, Vienna, July 2002.Abstract ...........pdf ..... slides - 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 ........... - R. Kumar and V. K. Garg,
**Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages**,*IEEE Transactions on Automatic Control*Volume 46, No. 1, April 2001, pp. 593 -- 606.ps - 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 - 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)** - 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 - 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 - 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 - Vijay Garg, Adnan Aziz,
**An Efficient Deterministic Algorithm for the Resource Discovery Problem**,ECE Technical Report TR-PDS-2000-003.pspdf - V. K. Garg, M. Raynal
**Normality: A Consistency Condition for Concurrent Objects**Parallel Processing Letters, 9(1): 123-134 (1999) Abstract ...........pdf - 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 - 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 - 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 - 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 - C. Skawratananond, V. K. Garg,
**A Quorum-Based Distributed Channel Allocation Algorithm for Mobile SystemsProc. PIMRC**, Japan, 1999.Abstract ...........pdf - 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 - 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 - R. Kumar, V. K. Garg,
**Control of stochastic discrete event systems: Synthesis***Proc. Conference on Decision and Control (CDC)*, December 1998.pdf - G. Brat, V. K. Garg,
**Analyzing non-deterministic real-time systems with (max,+) algebra,***Proc. Real-Time Systems Symposium (RTSS'98)*, December 1998.pdf - 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 - R. Kumar, V. K. Garg,
**Control of stochastic discrete event systems: Existence**Workshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 24-29.pdf - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - V. K. Garg,
**Methods for Observing Global Properties in Distributed Systems,***IEEE Concurrency,*Vol. 5, No. 4, October 1997, pp. 69 -- 77.pdf - 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 - 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 - 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 - 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 - 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 - 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. - 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 - 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 - 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 - 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 - 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. - 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 - 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 - V. Murty, V. K. Garg,
**Characterization of Message Ordering Specifications and Protocols,***Proc. ACM Principles of Distributed Computing*,Philadelphia, 1996, pp. 88. - 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 - R. Kumar, V. K. Garg,
**Optimal Controlof Discrete Event Dynamic Systems Using Network Flow Techniques,***SIAM Journal on Control and Optimization*1995.pdf - 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 - R. Kumar, and V.K. Garg,
**`Extremal Solutions of Inequations over lattices,***Theoretical Computer Science, Novemeber 1995*pdf - 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 Science*1026, Springer-Verlag, Dec. 1995, pp. 195 - 209.Abstract ...........pdf - 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 - 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 - 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 - 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 - 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 - 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 - 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 - D. D. Cofer, V. K. Garg,
**Idempotent Structures in the Supervisory Control of Discrete EventSystems,**in*Idempotency*, J. Gunawardena, Ed.,Cambridge University Press, 1995. - 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. - 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 - 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 - 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) - 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. - 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 - 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 - 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 - 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 - 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. - 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). - 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 - 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 - 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 - 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* - 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. - R. Kumar, V. K. Garg,
**Logical Design of a Dispatching Unit,***Proc. American Control Conference*, San Francisco, California, June 1993, pp. 1198-1202. - 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 - 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 - 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 - 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. - V. K. Garg, M.T. Raghunath
**Concurrent Regular Expressions and their Relationship to Petri Net Languages,**Theoretical Computer Science } 96 (1992) pp 285-304.Abstract ...........pdf - 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 - V. K. Garg,
**Some Optimal Algorithms for Decomposed Partially Ordered Sets,***Information Processing Letters,*44, November 1992, pp. 39-43. Abstract ...........pdf - 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 Science*652, Springer-Verlag, Dec. 1992, pp. 253-264.Abstract ...........pdf - 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 - 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. - 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 - 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 - 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 - 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 - 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 - 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 - 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. - 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. - V. K. Garg,
**Timed Probabilistic Languages,**extended abstract in Current System Development,*IEEE Symposium on Real-time Systems*, San Antonio, Texas, Aug. 1991. - R. Kumar, V. K. Garg, S. I. Marcus,
**Stability of Discrete Event System Behavior***Proc. IFAC International Symposium on Distributed Intelligence Systems*, Arlington, Virginia, Aug. 1991, pp. 13-18. - S. Young, V. K. Garg,
**Uncertainty in Discrete Event Systems,***Proc. IEEE International Symposium on Intelligent Control*,Arlington, Virginia, Aug. 1991, pp. 245-250. - 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. - 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. - 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 - 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 - 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 - 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. - 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. - 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 - 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)** - 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 - 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 - 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 - 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. - 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. - 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. - 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. - 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 - 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. - Vijay Kumar Garg,
**Functional composition: a mechanism to compose programs**July 1985 ACM SIGPLAN Notices, Volume 10 Issue 3, acm-portal - 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 - Vijay Kumar Garg, Screen-oriented highlevel debugger (SHD) for Pascal, March 1984 ACM SIGPLAN Notices, Volume 19 Issue 3, PDF
- V.K. Garg, M.B. Agrawal,
**Dimensional Analysis in Pascal**, ACM*SIGPLAN Notices,*March 1984.PDF

## 2018

## 2015

## 2013

## 2012

** 2011 **

** 2010 **

** 2009 **

** 2008 **

** 2007 **

** 2006 **

** 2005 **

** 2004 **

** 2003 **

** 2002 **

** 2001 **

** 2000 **

** 1999 **

** 1998 **

** 1997 **

** 1996 **

** 1995 **

** 1994 **

** 1993 **

** 1992 **

** 1991 **

** 1990 **

** 1989 **

** 1988 **

** 1987 and before **