Selected Publications in Distributed Systems

Contents

• Recent Publications
• Global States, Distributed Debugging
• Fault Tolerance, Distributed Recovery
• Distributed Simulation
• Control of Distributed Computations
• Consistency Conditions
• Global Functions
• Distributed Algorithms
• Specification and Analysis of Distributed Systems
• Mobile Computing
• Vector Clocks

Recent Publications

• Alper Sen and Vijay K. Garg, Partial Order Trace Analyzer (POTA) for Distributed Programs, Proc. Workshop on Runtime Verification, Boulder, Colorado, 2003. .............. Postscript

• Neeraj Mittal and Vijay K. Garg, Software Fault Tolerance of Distributed Programs using Computation Slicing, Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), Providence, Rhode Island, pages 105-113, May 2003. Abstract .............. Postscript

• Vijay K. Garg, Neeraj Mittal and Alper Sen, Applications of Lattice Theory to Distributed Computing, ACM SIGACT Notes .............. Postscript

• Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets, Proc. 22nd Conference on the Foundations of Software Technology & Theoretical Computer Science (FSTTCS), Kanpur, India, December 2002. Abstract .............. Postscript .............. Technical Report

• 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 .............. Postscript

• Neeraj Mittal, Vijay K. Garg, Debugging Distributed Programs Using Controlled Re-execution, PODC'00, Portland, Oregon, July 2000, pp. 239 -- 248. Postscript
• 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 .............. Postscript
• 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. Postscript
• A. Tarafdar, V. K. Garg, ``Predicate Control in Distributed Systems,'' Proceedings of the IEEE 9th Symposium on Parallel and Distributed Processing (SPDP), pages 763 - 769, Orlando, USA, April 1998. Abstract .............. Postscript
• V. V. Murty, V. K. Garg ``Characterization of Message Ordering Specifications and Protocols,'' (Proc. IEEE International Conference on Distributed Computing Systems 1997,) Technical Report, TR-PDS-1996-04, Electrical and Computer Engineering Department, University of Texas at Austin. Abstract .............. Postscript

• V. K. Garg, M. Raynal ``Normality: A Consistency Condition for Concurrent Objects '' Parallel Processing Letters, Abstract .............. Postscript
• N. Mittal and V. K. Garg, Consistency Conditions for Multi-Object Distributed Operations, {\em Proc. IEEE International Conference on Distributed Computing Systems}, Amsterdam, Netherlands, 1998. Abstract .............. Postscript .............. Technical Report

• Om P. Damani and Ashis Tarafdar and Vijay K. Garg,, Optimistic Recovery in Multi-threaded Distributed Systems, Symposium on Reliable Distributed Systems (SRDS'99), pp. 234 -- 243. Abstract .............. Postscript
• O. P. Damani, V. K. Garg, ``How to Recover Efficiently and Asynchronously when Optimism Fails,'' Technical Report, TR-PDS-1995-014, Electrical and Computer Engineering Department, University of Texas at Austin, August 1995. (also in Proc. IEEE International Conference on Distributed Computing Systems 1996,) Abstract .............. Postscript
• Y. M. Wang, O. Damani and V. K. Garg ``Distributed Recovery with K-Optimistic Logging,'' Proc. {\em IEEE International Conference on Distributed Computing Systems}, 1997. Abstract .............. Postscript
• V. K. Garg, J. R. Mitchell, ``Distributed predicate detection in a faulty environment,'' {\em Proc. IEEE International Conference on Distributed Computing Systems}, Amsterdam, Netherlands, 1998. Abstract .............. Postscript
• V. K. Garg, J. R. Mitchell, ``Implementable Failure Detectors in Asynchronous Systems,'' {\em Proc. Foundations of Software Technology and Theoretical Computer Science}, Chennai, India, 1998. Abstract .............. Postscript .............. Technical Report
• J. R. Mitchell and V.K. Garg, ``A Non-Blocking Recovery Algorithm for Causal Message Logging,'' {\em Symposium on Reliable Distributed Systems (SRDS)}, October 1998. Postscript

• Neeraj Mittal and Vijay K. Garg, Computation Slicing: Techniques and Theory, 5th International Symposium on DIStributed Computing (DISC'01), Lisbon, Portugal. Postscript
• Neeraj Mittal and Vijay K. Garg, On Detecting Global Predicates in Distributed Computations, {\em Proc. IEEE International Conference on Distributed Computing Systems}, Phoenix, May 2001, pp. 3 - 10. Postscript
• Vijay K. Garg and Neeraj Mittal, On Slicing a Distributed Computation, {\em Proc. IEEE International Conference on Distributed Computing Systems}, Phoenix, May 2001, pp. 322 - 329. Postscript
• V. K. Garg, ``Observation of global properties in distributed systems,'' IEEE International Conference on Software and Knowledge Engineering, (Invited as a distinguished speaker :-)), Lake Tahoe, Nevada, June 1996, pp. 418-425. Abstract .............. Postscript
• A. Tarafdar, V. K. Garg, ``Addressing False Causality while Detecting Predicates in Distributed Programs,'' {\em Proc. IEEE International Conference on Distributed Computing Systems}, Amsterdam, Netherlands, 1998, pp. 94 - 101. Abstract .............. Postscript .............. Slides
• 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 .............. Postscript

• 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 .............. Postscript

• 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. a revised version of "Detecting Relational Global Predicates in Distributed Systems", "Proceedings of ACM/ONR Workshop on Parallel and Distributed Debugging" San Diego, California, May 1993, pp. 21--31". Abstract .............. Postscript .............. Tech Report

• Eddy Fromentin, Michel Raynal, Vijay K Garg, Alex Tomlinson, ``On The Fly Testing of Regular Patterns in distributed computations'', Proc. of the 23rd International Conference on Parallel Processing, St. Charles, IL, Aug 1994. Abstract .............. Postscript .............. Tech Report

• V. K. Garg, ``Some Optimal Algorithms for Decomposed Partially Ordered Sets,'' Information Processing Letters, 44, November 1992, pp. 39-43. Abstract .............. Postscript

• V. K. Garg, C. Chase, J. R. Mitchell, R. Kilgore, ``Detecting conjunctive Channel Predicates in a Distributed Programming Environment,'' 28th Hawaii International Conference on System Sciences, January 1995, pp. 232-241. Abstract .............. Postscript Journal of Parallel and Distributed Computing , Vol. 45, No. 2, September 1997, pp. 134 -- 147. journal publication (includes distributed algorithm).

• V. K. Garg, C. Chase, ``Distributed Algorithms for Detecting conjunctive Predicates,'' Proc. IEEE International Conference on Distributed Computing Systems, June 1995, pp. 423-430. Vancouver, Canada. Abstract .............. Postscript

• C. Chase, V. K. Garg, ``Techniques and Limitations of detection of global predicates in distributed programs,'' to appear in Workshop on Distributed Algorithms, France, September 1995. Abstract .............. Postscript
• A. I. Tomlinson, V. K. Garg, ``Observation of Software for Distributed Systems with RCL'' Proc. 15th Conference on the Foundations of Software Technology & Theoretical Computer Science, Bangalore, India, December 1995. Abstract .............. Postscript

• 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 .............. Postscript

• A. I. Tomlinson, V. K. Garg, ``Maintenance of Global Assertions in Distributed Systems,'' Proc. International Conference on Computer Science and Education, Bangalore, India, June 1994, Tata McGraw-Hill Publishing Company Limited, pp. 257 -- 272. Abstract .............. Postscript .............. Tech Report

• 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 .............. Postscript .............. Tech Report

• V. K. Garg, ``An Efficient Algorithm for Multi-Process Shared Events'', Electrical and Computer Engineering Department, University of Texas at Austin, 1990. Abstract .............. Postscript

• J. Roger Mitchell, V. K. Garg, ``Deriving distributed algorithms from a general predicate detector,'' Proc. {\em The Nineteenth Intl. Computer Software and Applications Conference}, Dallas, Texas, August 1995, pp. 268 -- 273. Abstract .............. Postscript

• V. V. Murty, V. K. Garg, ``Synchronous Message Passing'', Proc. International Symposium on Autonomous Decentralized Systems}, Phoenix, Arizona, April 95, pp. 208 -- 214. Abstract .............. Postscript .............. Tech Report

• A. Tarafdar, V. K. Garg, ``Happened Before is the Wrong Model for Potential Causality'', Technical Report ECE-PDS-1998-006, Parallel and Distributed Systems Laboratory, ECE Dept, University of Texas at Austin, July 1998. Abstract .............. Postscript

• V. K. Garg, A. I. Tomlinson, ``Causality for Time: How to Specify and Verify Distributed Algorithms'', IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, October 1994. Abstract .............. Postscript .............. Tech Report

• 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 .............. Postscript .............. Tech Report

• 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 .............. Postscript

• 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 .............. Postscript

• V.K. Garg, ``Analysis of Distributed Systems with Many Identical Processes'', 8th IEEE International Conference on Distributed Computing Systems, pp 358-365, San Jose, California, June 1988. Abstract .............. Postscript

• 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 .............. Postscript .............. Tech Report

• O. Damani, Y. M. Wang and V. K. Garg ``Optimistic Distributed Simulation Based on Transitive Dependancy Tracking,'' Proc. {\em ACM Workshop on Parallel and Distributed Simulation (PADS)}, 1997. Abstract .............. Postscript .............. Tech Report

• O. Damani, V. K. Garg, ``Fault-tolerant Optimistic Distributed Simulation '' {\em Proc. ACM Workshop on Parallel and Distributed Simulation (PADS)}, Canada, 1998 . PDF

• Chakarat Skawratananond, Neeraj Mittal and Vijay K. Garg, A Lightweight Algorithm for Causal Message Ordering in Mobile Computing Systems, Proceedings of 12th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS), pages 245-250, Florida, USA, 1999. Abstract .............. Postscript

• Vijay K. Garg, C. Skawratananond, On Timestamping Synchronous Computations, Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), Vienna, July 2002. Abstract .............. Postscript
• 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. Postscript