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 |