Partial List of Papers for EE 382N in addition to the Text
Note: Lamport's papers are available here
clocks: [Lamp79], [AG05]
- L. Lamport.
Time, clocks, and the ordering of events in a distributed system.
Communications of the ACM 21(7):95-114, July 1978.
- 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
cameras: [CL85], [GG 06]
- K. M. Chandy and L. Lamport.
Distributed snapshots: Determining global states of distributed systems.
ACM Transactions on Computer Systems 3(1): 63-75, February 1985.
- Rahul Garg, Vijay K. Garg, Yogish Sabharwal, Scalable Algorithms for Global Snapshots in Distributed Systems ACM International Conference on Supercomputing 2006 pdf .... slides
trees: [GHS84],
- R.G. Gallagar, P.A. Humblet, P.M. Spira,
``A Distributed Algorithm for Minimum Weight Spanning
Trees,''
{\em ACM Trans. on Programming Languages and Systems}, Vol. 5,
No. 1, Jan 1983, pp 66-77.
sensors: [GW94], [IG06]
- 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
- 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. pdf .... slides
slicers: [MG01]
- Vijay K. Garg and Neeraj Mittal, On Slicing a Distributed Computation ,Proc. IEEE International Conference on Distributed Computing Systems, Phoenix, May 2001, pp. 322 - 329 .Abstract ...........Postscript
trace analysis: [SG04] [OG07]
- Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing , 7th International Conference on Principles of Distributed Systems La Martinique, France,December 10-13 2003, ........... Postscript ........... pdf
- Vinit Ogale and Vijay K. Garg, Detecting Temporal Logic Predicates in Polynomial Time , ECE Technical Report pdf
Fusible Data: [GO 07]
- Vijay K. Garg and Vinit Ogale Fusible Data Structures , ECE Technical Report pdf
Self-stabilization:[Dijk 74]
E.W. Dijkstra, ``Self-stabilizing systems in spite of distributed control,''
{\em Communications of the ACM}, vol. 17, no. 11, pp. 643-644,
Nov. 1974.
Consensus: [FLP]
- M. J. Fischer, N. A. Lynch, and M. S. Paterson,
``Impossibility of distributed consensus with one faulty
process,'' {\em J. ACM}, Vol. 32, 1985, pp. 374 - 382.
P2P: [Chord]
I. Stoica, R. Morris, D. Liben-Nowell, D. R. Karger, M. F. Kaashoek, F. Dabek and H. Balakrishnan. Chord: A Scalable Peer-to-peer Lookup Protocol for Internet Applications. IEEE/ACM Transactions on Networking (TON), Volume 11, Issue 1, pages 17--32, February 2003.