Tentative Schedule of Class Meetings

Global Computing
(CIS 700/2, Spring 2001)


date topic reading leader
Jan 23 logistics,lambda-calc. Foundational Calculi for Programming Languages (Pierce) Pierce
Jan 25 pi-calculus Foundational Calculi for Programming Languages Pierce
Jan 30 pi-calculus Foundational Calculi for Programming Languages Pierce
Feb 1 ambients Mobile Ambients (Cardelli and Gordon) Pierce
Feb 6 ambients Abstractions for Mobile Computation (Cardelli) Pierce
Feb 8 join calculus A calculus of mobile agents (Fournet et al) McDougall
Feb 13 seal calculus A Framework for Secure Mobile Computation (Vitek and Castagna) Goodloe
Feb 15 agent economies Markets and computation: Agoric open systems (Miller and Drexler) Ungar (guest)
Feb 20 agent economies Mojo Nation May
Feb 22 agent economies Mariposa: A Wide-Area Distributed Database System (Stonebraker et al) Cotton
Feb 27 basics of authentication Authentication in Distributed Systems (Lampson) Zheng
Mar 1 basics of authentication Authentication in Distributed Systems Chadha
Mar 6 trust in active networks S&SofPNI (Alexander et al.) + A Secure Plan (Hicks and Keromytis) Smith (guest)
Mar 8 trust management (QCM) Policy-directed certificate retrieval (Gunter and Jim) Karthik
Mar 20 freenet Freenet paper             project proposals due Marcus
Mar 22 agreement Fault-tolerant broadcasts (Hadzilacos and Toueg) [except 5.9] Zima
Mar 27 agreement Non-blocking atomic committment (Babaoglu and Toueg) Moffit
Mar 29 agreement Guerraoui papers (2) Gapeyev
Apr 3 transactions Bernstein, Hadzilacos and Goodman, Chapter 1 Davidson (guest)
Apr 5 transactions Transaction Processing Techniques (Weihl) Sran
Apr 10 transactions Distributed Programming in Argus (Liskov)      project status reports due McDougall
Apr 12 transactions Advanced Transaction Models (Elmagarmid)  
Apr 17 transactions Linearizability (Herlihy and Wing)  
Apr 19 no class    
Apr 24 project presentations    
Apr 26 project presentations                                      final projects due May 3  




Global Computing Seminar (CIS 700/2, Spring 2001), Benjamin C. Pierce.