Date Presenter Paper Link
4/11 David Maiman Piccola - A Small Composition Language
Achermann, Lumpe, Schneider, and Nierstrasz
Formal Methods for Distributed Processing --A Survey of Object-Oriented Approaches, Cambridge University Press, 2001.  pp 403-426
http://www.cs.rpi.edu/courses/spring03/dci/Ache01bPASCL.pdf
Paul Lalli A type system for dynamic Web documents
Sandholm and Schwartzbach
POPL, 2000
http://portal.acm.org/citation.cfm?id=325733
4/15 Kaoutar ElMaghraoui Peer to peer data trading to preserve information
Cooper and Garcia-Molina
TOIS, 2002
http://www-db.stanford.edu/~cooperb/pubs/trading.ps
Jeevan Pathuri On-the-fly Reference Counting Garbage Collection
Levanoni and Petrank 
OOPSLA 2001
http://www.rpi.edu/~pathuj/papers/referencecounting.pdf
4/18 Rodney Powers Untrusted hosts and confidentiality: secure program partitioning
Zdancewic, Zheng, Nystrom, and Myers
Symposium on Operating Systems Principles, 2001
http://doi.acm.org/10.1145/502034.502036
Matthew Freedman Portable resource control in Java
Binder, Hulaas, and Villazón 
OOPSLA 2001
http://doi.acm.org/10.1145/504282.504293
4/22 Marcin Zalewski Efficient Java RMI for parallel programming
Maasen, Van Nieuwpoort, Veldema, Bal, Kielmann, Jacobs, and Hofman
TOPLAS, November 2001
http://doi.acm.org/10.1145/506315.506317
Shailesh Kelkar Transparent Distributed Threads
Haumacher, Moschny, Reuter, and Tichy
5th Intl. Workshop on Java for Parallel and Distributed Computing (IPDPS), April 2003
http://www.rpi.edu/~kelkas/DistributedThreads.pdf
4/25 Justin LaPre Transactional Lock-Free Execution of Lock-Based Programs
Rajwar and Goodman
ASPLOS 2002
http://www.cs.rpi.edu/courses/spring03/dci/asplos2002.pdf