next up previous
Next: About this document ...

VIJAY KUMAR GARG
Cullen Trust for Higher Education Endowed Professor
Electrical and Computer Engineering Department
The University of Texas at Austin.
Phone:(512) 471-9424, email: garg@ece.utexas.edu, url: www.ece.utexas.edu/garg

Citizenship: U.S.

Areas of Interest: Distributed Systems, Discrete Event Systems, Software Engineering

Education:
Ph.D. in Electrical Engineering and Computer Science, University of California at Berkeley, December 1988.
M.S. in Electrical Engineering and Computer Science, University of California at Berkeley, December 1985.
B.Tech. in Computer Engineering, Indian Institute of Technology (IIT) at Kanpur, India, May 1984.

Academic Positions:
Cullen Trust for Higher Education Endowed Professor, The University of Texas at Austin, beginning September 2006.
Engineering Foundation Endowed Professor, The University of Texas at Austin, 9/98 - 8/06.
Associate Professor, The University of Texas at Austin, 9/94 - 8/98.
General Motors Foundation Centennial Teaching Fellow in Electrical Engineering, effective September 1993.
Assistant Professor, The University of Texas at Austin, January 1989 - August 1994.
Post Graduate Researcher, Electronics Research Laboratory, University of California at Berkeley, 9/86 - 10/88.
Research Assistant, Electronics Research Laboratory, University of California at Berkeley, 8/84 - 9/86.
Teaching Assistant, Electrical Engineering and Computer Science Department, University of California at Berkeley, 8/84-12/84.

Other Professional Experience:
Visiting Member of Research Staff, IBM India Research Lab, Delhi, India, 6/05 - 7/05.
N. Rama Rao Distinguished Visiting Chair Professor, IIT Kanpur, India, 7/02 - 12/02.
Software Engineer, Patni Computer Systems, Bombay, India, 5/84 - 7/84.

Publications:
A0. Books/Research Monographs

  1. V.K. Garg, Lattice Theory with Applications to Computer Science, under preparation.
  2. V.K. Garg, Concurrent and Distributed Computing in Java, John Wiley and Sons, 2004 ISBN 0-471-43230-X.
  3. V.K. Garg, Elements of Distributed Computing, John Wiley and Sons, 2002, 424 pp. ISBN 0-471-03600-5.
  4. V.K. Garg, Principles of Distributed Systems, research monograph, Kluwer Academic Publishers, Norwell Massachusetts, 1996. 254 pp. ISBN 0-7923-9668-5.
  5. R. Kumar, V.K. Garg, Modeling and Control of Logical Discrete Event Systems, research monograph, Kluwer Academic Publishers, Norwell Massachusetts, 1995, 160 pp. ISBN 0-7923-9538-7.
A1. Refereed Archival Journal Publications:
  1. Neeraj Mittal, Alper Sen and Vijay K. Garg, Solving Computation Slicing Using Predicate Detection, IEEE Transactions on Parallel and Distributed Systems accepted, Jan 2007
  2. 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, 2007.
  3. V.K. Garg, C. Skawratananond, N. Mittal, Timestamping Messages and Events in a Distributed System using Synchronous Communication, Distributed Computing accepted, 2006.
  4. Alper Sen and Vijay K. Garg, Formal Verfication of Simulation Traces using Computation Slicing , IEEE Transactions on Computers, accepted, Sept 2006
  5. Anurag Agarwal, Vijay K. Garg, Efficient Dependency Tracking for Relevant Events in Concurrent Systems, Distributed Computing accepted, 2006.
  6. Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets , Theoretical Computer Science, Vol. 359, August 2006, pp. 200 - 213.
  7. Shailesh Patil, Vijay K. Garg, Adaptive Algorithms for Perfectly Periodic Schedules, Information Processing Letters Vol. 98, No. 3, May 2006, pp. 107 - 114.
  8. Sujatha Kashyap, Vijay K. Garg, Intractability Results in Predicate Detection, Information Processing Letters, Vol. 94, No. 6, pp. 277 - 282, June 2005.
  9. Neeraj Mittal and Vijay K. Garg, ``Techniques and Applications of Computation Slicing,'' Distributed Computing 17(3): 251-277 (2005).
  10. R. Kumar, V. K. Garg, ``Computation of State Avoidance Control for Infinite State Systems in Assignment Program Framework,'' IEEE Transactions on Robotics and Automation, Volume 2, No. 1, January 2005, pp. 87 - 91.
  11. Neeraj Mittal and Vijay K. Garg, ``Finding missing synchronization in a distributed computation using controlled re-execution,'' Distributed Computing Vol. 17, 2004, pp. 107-130.
  12. A. Tarafdar, V. K. Garg, ``Predicate Control: Synchronization in Distributed Computations with Look-Ahead,'' Journal of Parallel and Distributed Computing, Vol. 64, No. 2, 2004, pp. 219 - 237.
  13. O. Damani, Yi-Min Wang and V. K. Garg, ``K-Optmistic Message Logging,'' Journal on Parallel and Distributed Computing, Volume 63, Issue 12, December 2003, Pages 1193-1218.
  14. R. Kumar, 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.
  15. V. K. Garg, M. Raynal, ``Normality: A Consistency Condition for Concurrent Objects,'' Parallel Processing Letters, Vol. 9, No. 1, March 1999, pp. 123 - 134.
  16. V. K. Garg, R. Kumar, S. I. Marcus, ``A Probabilistic Language Formalism for Stochastic Discrete Event Systems,'' IEEE Transactions on Automatic Control, Vol. 44, No. 2, February 1999, pp. 280 - 293.
  17. 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.
  18. V. K. Garg, C. M. Chase, R. Kilgore and J. R. Mitchell, ``Efficient Detection of Channel Predicates in a Distributed System,'' Journal of Parallel and Distributed Computing, Vol. 45, No. 2, September 1997, pp. 134 - 147.
  19. V. K. Garg, ``Methods for Observing Global Properties in Distributed Systems,'' IEEE Concurrency, Vol. 5, No. 4, October 1997, pp. 69 - 77.
  20. V. K. Garg, J. R. Mitchell, ``Efficient Detection of Conjunctions of Global Predicates in a Distributed System,'' Information Processing Letters 63, 1997, pp. 295 - 302.
  21. V. K. Garg, A. I. Tomlinson, ``Using the Causal Domain to Specify and Verify Distributed Programs,'' Acta Informatica, Vol. 34, 1997, pp. 667 - 686.
  22. A. I. Tomlinson, V. K. Garg, ``Monitoring Functions on Global States in Distributed Programs,'' Journal of Parallel and Distributed Computing, Vol. 41, No. 2, March 1997, pp. 173 - 189.
  23. V. K. Garg, B. Waldecker, ``Detection of Strong Unstable Predicates in Distributed Programs,'' IEEE Transactions on Parallel and Distributed Systems, Vol. 7, No. 12, Dec. 1996, pp. 1323 - 1333.
  24. D. D. Cofer, 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.
  25. R. Kumar and V. K. Garg, ``Extremal Solutions of Inequations over Lattices,'' Theoretical Computer Science, 148, August 1995, pp. 67 - 92.
  26. R. Kumar, V. K. Garg, S. I. Marcus, ``Finite Buffer Realization of Input-Output Discrete Event Systems,'' IEEE Transactions on Automatic Control, Vol. 40, No. 6, June 1995, pp. 1042 - 1053.
  27. S. Young, V. K. Garg, ``Model Uncertainty in Discrete Event Systems,'' SIAM Journal on Control and Optimization, Vol. 33, No. 1, January 1995, pp. 208 - 226.
  28. R. Kumar, V. K. Garg, ``Optimal Supervisory Control of Discrete Event Dynamical Systems,'' SIAM Journal on Control and Optimization Vol. 33, No. 2, March 1995, pp. 419 - 439.
  29. V. K. Garg, 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.
  30. 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.
  31. R. Kumar, V. K. Garg, S. I. Marcus, ``Language Stability and Stabilizability of Discrete Event Dynamic Systems,'' SIAM Journal on Control and Optimization, Vol. 31, No. 5, September 1993, pp. 1294-1320.
  32. 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.
  33. 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.
  34. V. K. Garg, ``Some Optimal Algorithms for Decomposed Partially Ordered Sets,'' Information Processing Letters, 44, November 1992, pp. 39-43.
  35. V. K. Garg, M. T. Raghunath, ``Concurrent Regular Expressions and their Relationship to Petri Net Languages,'' Theoretical Computer Science, 96 (1992), pp. 285-304.
  36. V. K. Garg, C. V. Ramamoorthy, ``ConC: A Language for Concurrent Programming,'' Computer Languages Journal, Vol. 16, No. 1, January 1991, pp. 5-18.
  37. R. Kumar, V. K. Garg, S. I. Marcus, ``On Controllability and Observability of Discrete Event Dynamic Systems,'' System & Control Letters, Vol. 17, No. 3, 1991, pp. 157-168.
  38. R. D. Brandt, V. K. Garg, R. Kumar, F. Lin, S. I. Marcus, W. M. Wonham, ``Formulas for Calculating Supremal Controllable and Normal Sublanguages,'' System and Control Letters, Vol. 15, No. 8, August 1990, pp. 111-117.
  39. C. V. Ramamoorthy, V. K. Garg, A. Prakash, ``Reusability Support in GENESIS,'' IEEE Transactions on Software Engineering, Vol. 14, No. 8, August 1988, pp. 1145-1154.
  40. C. V. Ramamoorthy, A. Prakash, V. K. Garg, T. Yamaura, A. Bhide, ``Issues in the Development of Large, Distributed, and Reliable Software,'' Advances in Computers, Vol. 26, 1987, pp. 396-443.
  41. C. V. Ramamoorthy, S. Shekhar, V. K. Garg, ``Software Development Support for AI Programs,'' IEEE Computer, January 1987, pp. 30-40.
  42. C. V. Ramamoorthy, V. K. Garg, A. Prakash, ``Programming in the Large,'' IEEE Transactions on Software Engineering, Vol. 12, No. 7, July 1986, pp. 769-783.
B1. Refereed Conference Proceedings (Published/Accepted)
  1. 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.
  2. Rahul Garg, Vijay K. Garg, Yogish Sabharwal, Scalable Algorithms for Global Snapshots in Distributed Systems, ACM International Conference on Supercomputing 2006
  3. 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, November 2005, pp. 4 - 13.
  4. 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
  5. Vijay K. Garg, Anurag Agarwal, Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding, Euro'Par September 2005, pp. 606 - 616.
  6. Selma Ikiz, Vinit Ogale, V. K. Garg, Coordinated Energy Conservation in Ad Hoc Networks, International Workshop on Distributed Algorithms and Applications for Wireless and Mobile Systems (DAAWMS), Phoenix, Arizona, September 2005.
  7. Alper Sen, Jayanta Bhadra, Vijay K. Garg, and Jacob Abraham, Formal Verification of a System-on-Chip Using Computation Slicing, International Test Conference, October 2004.
  8. 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.
  9. 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.
  10. 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.
  11. Alper Sen and Vijay K. Garg, On Checking Whether a Predicate Definitely Holds, 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003) Montreal, Quebec, Canada, October 2003.
  12. V. K. Garg, "Enumerating Global States of a Distributed Computation in Lexicographic and Breadth-First Manner," Intl Conference on Parallel and Distributed Computing and Systems (PDCS 2003) (nominated for the best paper award).
  13. Alper Sen and Vijay K .Garg, Partial Order Trace Analyzer (POTA) for Distributed Programs, Proc. Workshop on Runtime Verification, Boulder, Colorado, 2003, pp. 22 - 43.
  14. Neeraj Mittal and Vijay K. Garg, Software Fault Tolerance of Distributed Programs using Computation Slicing, Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), Baltimore, Maryland, 2003, pp. 105 - 113.
  15. 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, pp. 169 - 181.
  16. Vijay K. Garg, C. Skawratananond, On Timestamping Synchronous COmputations, Proc. IEEE International Conference on Distributed Computing Systems (ICDCS'02), Vienna, July 2002, pp. 552-560.
  17. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in the Happened Before Model, International Parallel and Distributed Processing Symposium (IPDPS'02). April, Florida, pp. 76.
  18. Neeraj Mittal and Vijay K. Garg, Computation Slicing: Techniques and Theory, 5th International Symposium on DIStributed Computing (DISC'01), Lisbon, Portugal, pp. 78 - 92.
  19. 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.
  20. Neeraj Mittal and Vijay K. Garg, Efficient Algorithms for Detecting Global Properties in Distributed Computations, Proc. IEEE International Conference on Distributed Computing Systems (ICDCS'01), Phoenix, May 2001, pp. 3 - 10.
  21. Vijay K. Garg and Neeraj Mittal, On Slicing a Distributed Computation, Proc. IEEE International Conference on Distributed Computing Systems (ICDCS'01), Phoenix, May 2001 (nominated for the best paper award), pp. 322 - 329 .
  22. 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.
  23. A. Tarafdar, V. K. Garg, "Software fault-tolerance of concurrent programs using controlled reexecution", 3rd International Symposium on DIStributed Computing (DISC'99), Bratislava, Slovakia, September 27-29, 1999, pp. 210 - 224.
  24. 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'99), Lausanne, Switzerland, October 1999, pages 234 - 243.
  25. 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 Distributed Computing Systems(ICPDCS), Fort Lauderdale, Florida, August 1999, pp. 245 - 250.
  26. C. Skawratananond, V. K. Garg, A Quorum-Based Distributed Channel Allocation Algorithm for Mobile Systems Proc. PIMRC, Japan, 1999.
  27. V. K. Garg, J. R. Mitchell, ``Implementable Failure Detectors for Asynchronous Systems,'' Proc. 18th Conference on the Foundations of Software Technology & Theoretical Computer Science (FSTTCS'98), Chennai, India, December 1998, pp. 158 - 169.
  28. R. Kumar, V. K. Garg, ``Control of stochastic discrete event systems: Synthesis'' Proc. Conference on Decision and Control (CDC'98), December 1998.
  29. G. Brat, V. K. Garg, ``Analyzing non-deterministic real-time systems with (max,+) algebra,'' Proc. Real-Time Systems Symposium (RTSS'98), December 1998.
  30. J. R. Mitchell and V.K. Garg, ``A Non-Blocking Recovery Algorithm for Causal Message Logging,'' Symposium on Reliable Distributed Systems (SRDS'98), October 1998.
  31. R. Kumar, V. K. Garg, ``Control of stochastic discrete event systems: Existence'' Workshop on Discrete Event Systems (WODES'98), Caligari, Italy, August 1998, pp. 24-29.
  32. G. Brat, V. K. Garg, ``A (max,+) algebra for periodic timed discrete event systems.'' Workshop on Discrete Event Systems (WODES'98), Caligari, Italy, August 1998, pp. 237-242.
  33. 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.
  34. A. Tarafdar, V. K. Garg, ``Addressing False Causality while Detecting Predicates in Distributed Programs,'' Proc. IEEE International Conference on Distributed Computing Systems (ICDCS'98), Amsterdam, Netherlands, May 1998, pp. 94 - 101.
  35. V. K. Garg and J. R. Mitchell, ``Distributed Predicate Detection in a Faulty Environment,'' Proc. IEEE International Conference on Distributed Computing Systems (ICDCS'98), Amsterdam, Netherlands, May 1998, pp. 416 - 423.
  36. N. Mittal and V. K. Garg, Consistency Conditions for Multi-Object Distributed Operations, Proc. IEEE International Conference on Distributed Computing Systems (ICDCS'98), Amsterdam, Netherlands, May 1998, pp. 582 - 589.
  37. O. Damani, V. K. Garg, ``Fault-tolerant Optimistic Distributed Simulation '' Proc. ACM Workshop on Parallel and Distributed Simulation (PADS'98), Canada, May 1998, pp. 38 - 45.
  38. 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).
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. V. K. Garg, R. Kumar, S. I. Marcus, ``Modeling Stochastic Discrete Event Systems Using Probabilistic Languages,'' in Mathematical Theory of Networks and Systems, St. Louis, MO, June 1996.
  45. 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.
  46. V. Murty, V. K. Garg, ``Characterization of Message Ordering Specifications and Protocols,'' Proc. ACM Principles of Distributed Computing, Philadelphia, 1996, pp. 88.
  47. 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, Lecture Notes in Computer Science 1026, Springer-Verlag, Dec. 1995, pp. 195 - 209.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. V. V. Murty, V. K. Garg, ``Synchronous Message Ordering,'' Proc. International Symposium on Autonomous Decentralized Systems, Phoenix, Arizona, April 95, pp. 208 - 214.
  54. 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.
  55. D. D. Cofer, V. K. Garg, ``Supervisory Control of Real-time Discrete Event Systems using Lattice Theory,'' Proc. 33rd Conference on Decision and Control, Lake Buena Vista, Florida, December 1994, pp. 978 - 983.
  56. 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.
  57. V. K. Garg, A. I. Tomlinson, ``Causality versus Time: How to Specify and Verify Distributed Algorithms'', Proc. The Sixth IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, October 1994, pp. 249 - 256.
  58. E. Fromentin, M. Raynal, V. K. Garg, A. I. Tomlinson, ``On the fly testing of Regular Patterns in distributed computations,'' Proc. $23^{rd}$ International Conference on Parallel Processing, St. Charles, Illinois, August 1994, pp. 2:73-76.
  59. 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.
  60. D. Cofer, V. K. Garg, ``A Max-Algebra Solution to the Supervisory Control Problem for Real-Time Discrete Event Systems, '' Proc. 11th International Conference on Analysis and Optimization of Systems, Rocquencourt, France, June 1994, pp. 283 - 289.
  61. 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.
  62. 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.
  63. 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.
  64. R. Kumar, V. K. Garg, ``Logical Design of a Dispatching Unit,'' Proc. American Control Conference, San Francisco, California, June 1993, pp. 1198-1202.
  65. 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.
  66. 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.
  67. V. K. Garg, B. Waldecker, ``Detection of Unstable Predicate in Distributed Programs,'' Proc. 12th Conference on the Foundations of Software Technology & Theoretical Computer Science, New Delhi, India, Lecture Notes in Computer Science 652, Springer-Verlag, Dec. 1992, pp. 253-264.
  68. 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.
  69. 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.
  70. 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.
  71. 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.
  72. 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.
  73. 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.
  74. 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.
  75. 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.
  76. V. K. Garg, ``Timed Probabilistic Languages,'' extended abstract in Current System Development, IEEE Symposium on Real-time Systems, San Antonio, Texas, Aug. 1991.
  77. 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.
  78. S. Young, V. K. Garg, ``Uncertainty in Discrete Event Systems,'' Proc. IEEE International Symposium on Intelligent Control, Arlington, Virginia, Aug. 1991, pp. 245-250.
  79. R. Kumar, V. K. Garg, S. I. Marcus, ``On $\omega-$Controllability and $\omega-$Normality of DEDS,'' Proc. American Control Conference, Vol. 3, Boston, Massachusetts, June 1991, pp. 2905-2910.
  80. B. Waldecker, V. K. Garg, ``Unstable Predicate Detection in Distributed Programs,'' Proc. 2nd ACM/ONR Workshop on Parallel and Distributed Debugging, Extended Abstract, Santa Cruz, California, May 1991.
  81. V. K. Garg, S. Ajmani, ``A Distributed Algorithm for N-process Synchronization,'' Proc. 2nd IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, Dec. 1990.
  82. 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.
  83. V. K. Garg, ``Modeling of Distributed Systems by Concurrent Regular Expressions,'' Proc. 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, Vancouver, Canada, Dec. 1989. Published by North-Holland, 1990, pp. 313-327.
  84. R. Kumar, V. K. Garg, S. I. Marcus, ``Language Stability of DEDS,'' Proc. International Conference on Mathematical Theory of Control, published as Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, Vol. 142, edited by M. C. Joshi and A. V. Balakrishnan, Bombay, India, 1990, pp. 185-203.
  85. R. Kumar, V. K. Garg, S. I. Marcus, ``Control of Discrete Event Dynamic Systems: Supremal Controllable and Observable Languages,'' Proc. 27th Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Sept. 1989, pp. 501-510.
  86. 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.
  87. 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.
  88. V. K. Garg, ``Specification and Analysis of Concurrent Systems using the STOCS Model,'' Proc. 1988 Computer Networking Symposium, Washington, D.C., April 1988, pp. 192-200.
  89. V. K. Garg, C. V. Ramamoorthy, ``Effect of Locality in Large Networks,'' Proc. 7th IEEE International Conference on Distributed Computing Systems, Berlin, Germany, Sept. 1987, pp. 544-550.
  90. C. V. Ramamoorthy, V. K. Garg, A. Prakash, ``Reusability Support in GENESIS,'' Proc. 10th IEEE International Conference on Computer Software and Applications, Chicago, Illinois, Oct. 1986, pp. 299-305.
  91. 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.
  92. 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.
C. Invited Papers
  1. Vijay K. Garg, Runtime Verification, Dagstuhl School, (invited), 2007.
  2. Vijay K. Garg, Neeraj Mittal and Alper Sen, Using Order in Distributed Computing, American Mathematical Society National Meeting (invited), San Antonio, Texas, Jan. 2006.
  3. V. K. Garg, Neeraj Mittal, A Critique of Java for Concurrent Programming, IEEE Distributed Systems online, September 2005.
  4. V. K. Garg, Neeraj Mittal, Global Time and State in Distributed Systems, Wiley Encyclopedia on Parallel and Distributed Computing, (edited by B. Wah), 2004.
  5. Vijay K. Garg, Neeraj Mittal and Alper Sen, Applications of Lattice Theory to Distributed Computing, ACM SIGACT Notes (invited paper), September 2003, Vol. 34, No. 3, pp. 40-61.
  6. V. K. Garg, ``Observation and Control for Debugging Distributed Computations,'' Proc. Third International Workshop on Automated Debugging (AADEBUG'97), Linkoping, Sweden, May 97, pp. 1 - 12.
  7. R. Kumar, V. K. Garg, ``Assignment Program Model for Control of Infinite State Systems,'' Proc. 32nd Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Oct. 1995, pp. 166 - 175.
  8. V. K. Garg, ``Observation of Global Properties in Distributed Systems,'' Proc. Eighth IEEE International Conference on Software and Knowledge Engineering, Lake Tahoe, Nevada, June 1996, pp. 418 - 425.
  9. D. D. Cofer, V. K. Garg, ``On Controlling Timed Discrete Event Systems,'' DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, New Jersey, Oct. 1995, Lecture Notes in Computer Science 1066, Springer-Verlag, pp. 340-349.
  10. D. D. Cofer, V. K. Garg, ``Idempotent Structures in the Supervisory Control of Discrete Event Systems,'' in Idempotency, J. Gunawardena, Ed., Cambridge University Press, 1995.
  11. R. Kumar, V. K. Garg, ``Computation and Formula for Supremal $\omega-$controllable sublanguage, Proc. 32nd Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Sept. 1994, pp. 900 - 901.
  12. D. D. Cofer, V. K. Garg, ``Supervisory Control of Timed Event Graphs,'' IEEE Conference on System, Man and Cybernetics, San Antonio, TX, Oct. 1994, pp 994-999.
  13. 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.
  14. S. Young, V. K. Garg, ``Optimal Sensor and Actuator Choices for Discrete Event Systems,'' Proc. 31st Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Oct. 1993.
  15. V. K. Garg, ``Probabilistic Languages for Modeling of DEDS'' Proc. Conference on Information Sciences and Systems, Princeton, New Jersey, March 1992, pp. 198-203.
  16. R. Kumar, V. K. Garg, ``On Optimal Control of Discrete Event Systems,'' SIAM Conference on Control and Its Applications, Abstracts and Author Index, Minneapolis, Minnesota, Sept. 1992, pp. A42.
  17. S. Young, V. K. Garg, ``Transition Uncertainty in Discrete Event Systems,'' Abstracts of the NSF Workshop on Discrete Event Systems, Amherst, Massachusetts, June 1991.
D. Papers Reprinted in Books
  1. V. K. Garg, C. M. Chase, R. Kilgore and J. Mitchell, ``Efficient Detection of Unstable Global Conditions Based on Monotonic Channel Predicates,'' in Tools and Environments for Parallel and Distributed Systems, Edited by Amr Zaky, Kluwer Academic Press, 1996, pp. 195-226.

  2. V. K. Garg, B. Waldecker, ``Detection of Weak Unstable Predicates in Distributed Programs,'' in IEEE Transactions on Parallel and Distributed Systems, March 1994, reprinted in the book, Global States and Time in Distributed Systems, edited by Z. Yang and T. Marsland, IEEE Computer Society Press, 1994, pp. 44-52.
  3. C. V. Ramamoorthy, S. Shekhar, V. K. Garg, ``Software Development Support for AI Programs,'' IEEE Computer, January 1987, pp. 30-40, reprinted in Computer Architectures for Artificial Intelligence, edited by Wah and Ramamoorthy, John Wiley & Sons, 1990, pp. 513-531.

Awards and Honors:

Grants and Contracts:

  1. Sponsoring Agency: Semiconductor Research Corporation (SRC)
    Title: ``System Level Runtime Verification,''
    Principal Investigator: V. K. Garg,
    Amount: $180,000,
    Duration: July 1, 2006 - June 2009.
  2. Sponsoring Agency: Texas Higher Education Corrdinating Board
    Title: ``Distributed Computing Environment for the Rational Design of Catalysts from First Principles,''
    co-Principal Investigator: V. K. Garg,
    co-Principal Investigator: Graeme Henkelman, Professor, Department of Chemistry
    Amount: $66,000,
    Duration: July 2006 - June 2008.
  3. Sponsoring Agency: National Science Foundation (NSF)
    Title: ``Monitoring and Controlling Multi-threaded Distributed Software,''
    Principal Investigator: V. K. Garg,
    Amount: $315,000,
    Duration: August 2005 - July 2008.
  4. Sponsoring Agency: College of Engineering, The University of Texas at Austin
    Title: ``Curriculum Development for Software Engineering,''
    Principal Investigator: V. K. Garg,
    Amount: $30,000,
    Duration: July 2003.
  5. Sponsoring Agency: National Science Foundation (NSF), CCR Division,
    Title: ``Software Fault-Tolerance based on Observation and Control of Distributed Programs,''
    Principal Investigator: V. K. Garg,
    Amount: $190,000,
    Duration: September 2000 - August 2003.
  6. Sponsoring Agency: National Science Foundation (NSF), ECS Division,
    Title: ``Distributed Supervisory Control: Theory and Applications,'' Principal Investigator: V. K. Garg,
    Amount: $224,051,
    Duration: October 1999 - September 2002.
  7. Sponsoring Agency: Faculty Research Award, The University of Texas at Austin.
    Title: ``Automatically avoiding faults in Concurrent Programs,''
    Amount: Salary for Spring 2000.
    Duration: January 2000 - May 2000.
  8. Sponsoring Agency: Compaq,
    Title: ``Application of Technology for Instruction of Distributed Algorithms,''
    Principal Investigator: V. K. Garg,
    Amount: Compaq DeskPro 4000 (with Pentium II) and a P50 color monitor
    Date: March 1998.
  9. Sponsoring Agency: Center for INstructional Technology,
    Title: ``A Tool to Teach Distributed Algorithms via Java Applets,''
    Principal Investigator: V. K. Garg,
    Amount: Student support
    Duration: January 1998 - May 1998.
  10. Sponsoring Agency: International Business Machines (IBM),
    Title: ``Research in Distributed Debugging,''
    Principal Investigator: V. K. Garg,
    Amount: RS/6000 system, Tape Drive, CD-ROM Drive
    Date: January 1998.
  11. Sponsoring Agency: Texas Higher Education Coordinating Board, Texas Advanced Research Program,
    Title: ``Nereus: Registration and Verification of Secure Sessions on the Internet ,''
    Co-Principal Investigator: V. K. Garg,
    Other co-PI: Mohamed Gouda,
    Amount: $154,110, (my share $77,055),
    Duration: January 98 - December 99.
  12. Sponsoring Agency: National Science Foundation (NSF), CCR Division,
    Title: ``Detection of Global Properties in Distributed Systems,''
    Principal Investigator: V. K. Garg,
    Amount: $153,983,
    Duration: September 95 - September 98.
  13. Sponsoring Agency: National Science Foundation (NSF), ECS Division,
    Title: ``Control and Analysis of Real-Time DES using Max-Algebra,''
    Principal Investigator: V. K. Garg,
    Amount: $105,983,
    Duration: September 95 - September 98.
  14. Sponsoring Agency: International Business Machines (IBM),
    Title: ``Unrestricted Research in Distributed Debugging,''
    Principal Investigator: V. K. Garg,
    Amount: $70,000,
    Duration: January 95 - August 97.
  15. Sponsoring Agency: IBM,
    Title: ``Equipment Award,''
    Recipient: V. K. Garg,
    Amount: Power PC based IBM Workstation,
    Date: February 1994.
  16. Sponsoring Agency: International Business Machines (IBM),
    Title: ``Unrestricted Research in Distributed Debugging,''
    Principal Investigator: V. K. Garg,
    Amount: $70,000,
    Duration: September 93 - August 94.
  17. Sponsoring Agency: Army Research Office, through Applied Research Laboratories (ARL),
    Principal Investigator: V. K. Garg,
    Title: ``Distributed Simulation,''
    Amount: $56,172,
    Duration: May 92 - May 94.
  18. Sponsoring Agency: National Science Foundation (NSF) Research Initiation Program,
    Title: ``A Debugging System for Distributed Programs,''
    Principal Investigator: V. K. Garg,
    Amount: $59,095,
    Duration: August 91 - July 93.
  19. Sponsoring Agency: International Business Machines (IBM), as a member of the Computer and Vision Research Center under Prof. J.K. Aggarwal,
    Title: ``Research in Distributed Computing,''
    Faculty Investigator: V. K. Garg,
    Amount: $11,496,
    Duration: August 91 - August 92.
  20. Sponsoring Agency: TRW,
    Title: ``Faculty Assistantship Award from TRW Foundation,''
    Co-Recipient: V. K. Garg,
    Other Recipient: Joydeep Ghosh,
    Amount: $45,000 (Garg's share: $22,500),
    Duration: March 92 - March 95.
  21. Sponsoring Agency: University Research Institute (URI), The University of Texas at Austin,
    Title: ``Decentralized Control of Discrete Event Systems,''
    Principal Investigator: V. K. Garg,
    Amount: $15,000,
    Duration: May 90 - August 90.
  22. Sponsoring Agency: University Research Institute, The University of Texas at Austin,
    Title: ``High Level Communication Abstraction Mechanisms,''
    Principal Investigator: V. K. Garg,
    Amount: $4,000,
    Duration: April 89 - August 89.
  23. Sponsoring Agency: Bureau of Engineering Research (BER), The University of Texas at Austin,
    Title: ``Algebraic Characterization of Petri Nets,''
    Principal Investigator: V. K. Garg,
    Amount: $5,000,
    Duration: January 89 - August 90.
  24. Sponsoring Agency: College of Engineering, The University of Texas at Austin,
    Title: ``Hardware Equipment Support,''
    Principal Investigator: V. K. Garg,
    Amount: $50,000,
    Duration: January 89 - January 91.

Patents:

  1. ``Distributed recovery with K-optimistic logging,'' (with Om Damani and Yi-Min Wang, AT&T) U.S. Patent Number 5,938,775. Awarded August 99.

  2. ``Optimistic Distributed Simulation based on transitive dependency tracking,'' (with Om Damani and Yi-Min Wang, AT&T) U.S. Patent Number 6,031,987. Awarded 02/29/2000.

  3. ``Software fault tolerance of concurrent programs using controlled re-execution,'' (with A. Tarafdar), U.S. Patent Number 6,772,367. Awarded 08/03/2004.

  4. ``An Infrastructure for Secure Collaborative Internet Applications'' (with Anupam Kunwar and Jerome Froment-Curtil), filed by the University of Texas at Austin, August 2000 (UTA A-054).

Professional Activities:

Courses Taught:

  1. Distributed Systems: EE 382N, a new graduate-level course.
  2. Distributed Systems II: EE 382N, a new advanced graduate-level course.
  3. Discrete Event Systems: EE 382N, a new graduate-level course.
  4. Concurrent and Real-time Systems: EE 382N, a new graduate-level course.
  5. Randomized Algorithms: EE 382N, a new graduate-level course.
  6. Lattice Theory with Applications: EE 382N, a new graduate-level course.
  7. Data Structures: EE 322C, an undergraduate course - introduced a new text.
  8. Algorithms: EE 360C, an undergraduate course - introduced a new text.
  9. Concurrent and Distributed Computing: EE 360P, a new undergraduate course.

Ph.D. Degrees :

  1. Brian Waldecker (co-supervised with Mario Gonzalez): Detection of Unstable Predicates in Debugging Distributed Programs, May 91, MCD Fellow, Currently employed at IBM, Austin, Texas.
  2. Ratnesh Kumar (co-supervised with Steve Marcus): Supervisory Control of Discrete Event Systems, Aug. 1991, MCD Fellow, Currently Full Professor at the ECE Department, University of Iowa at Ames.
  3. Stanley Young: Control of Systems that Exhibit Faults, December 93, Du Pont Fellow, Currently employed at UT Applied Research Laboratories, Austin, Texas.
  4. Darren Cofer: Control of Real-Time Discrete Event Dynamical Systems, MCD Fellow, May 95. Currently employed at Honeywell, Minneapolis, Minnesota.
  5. Alex Tomlinson: Observation and Verification of Distributed Software, MCD Fellow, August 95. Currently employed at Open Microsystems, Austin, Texas.
  6. Venkat Murty: Providing Guarantees on Ordering of Messages, May 97. Currently employed at I2 systems, Dallas, Texas.
  7. James Roger Mitchell: Fault-tolerance in Distributed Programs, December 97, MCD Fellow. Currently employed at Tandem, Austin, Texas.
  8. Guillaume Brat: An Algebraic approach for periodic real-time systems. December 98. Currently employed at NASA Ames Research Center, California.
  9. Om Damani: Recovery in Distributed Systems.
    MCD Fellow, August 99, Currently employed at IBM Research Lab, Hawthorne.
  10. Ashis Tarafdar: Predicate Control in Distributed Systems.
    MCD Fellow, August 2000, Currently employed at Akamai, Boston, Massachusetts.
  11. Chakarat Swataratonand: A Framework for Distributed Applications on Systems with Mobile Hosts.
    May 2002, Currently employed at IBM, Austin.
  12. Neeraj Mittal: Techniques for Analyzing Distributed Computations.
    MCD Fellow. August 2002, Currently Assistant professor, CS Department, University of Texas at Dallas.
  13. Alper Sen: Techniques for Formal Verification of Concurrent and Distributed Program Traces.
    May 2004, Currently employed at Freescale Research lab, Austin.

Ph.D. in Progress:

  1. Selma Ikiz
  2. Vinit Ogale
  3. Sujatha Kashyap
  4. Bharath Balasubramanian
  5. Zhengting He (co-supervised with Al Mok)


next up previous
Next: About this document ...
Vijay K. Garg 2007-01-27