Date | Presenter | Paper | Link |
---|---|---|---|
4/5 (Pi-calculus extension) |
Mayuresh Kulkarni | Parametric polymorphism in concurrent programming (by B. PIERCE and D. SANGIORGI) |
http://doi.acm.org/10.1145/337244.337261 |
Markus Peters | Secrecy Types for Asymmetric Communication [Abadi and Blanchet] Theoretical Computer Science 298, 3 (2003), 387-415 |
http://www.cse.ucsc.edu/~abadi/Papers/ | |
4/8 (Programming Environment I) |
Wei-Jen Wang | Language Support for Lightweight Transactions, OOPSLA 2003 p.388 (by T. Harris and K. Fraser) | http://pag.lcs.mit.edu/reading-group/harris03transact.pdf |
Terrell Holmes | Predicting problems caused by component upgrades (by S. McCamant and M. Ernst) | http://pag.lcs.mit.edu/~mernst/pubs/ | |
4/12 (Programming Environment II) |
Bryan Kate | Phantom overview (by Antony Courtney) |
http://www.apocalypse.org/pub/u/antony/phantom/ overview.ps http://www.apocalypse.org/pub/u/antony/phantom/ coots.ps |
Randy Yung | Transparent distributed Java (by D. De Couto, B. Porter and M. Taylor) | http://cag.lcs.mit.edu/~mtaylor/6.853-project.pdf | |
4/15 (Spam) |
Charles Mathis | Fighting the spam wars: A remailer approach with restrictive aliasing
(by P. Gburzynski and J. Maitan) Source: ACM Transactions on Internet Technology (TOIT) Volume 4 , Issue 1 (February 2004) |
http://doi.acm.org/10.1145/967030.967031 |
Brandeis Hill | Rank Aggrregation Methods for the Web (by C. Dwork, R. Kumar M. Naor and D. Sivakumar) |
http://www10.org/cdrom/papers/pdf/p577.pdf |
|
4/19 (P2P) |
Owen F. Kellett | JXTA: A Network Programming Environment (by Li Gong) |
http://www.jxta.org/project/www/docs/ JXTAnetworkProgEnv.pdf |
Jonathan Koop | JXTA Search: Distributed Search for Distributed Networks (by S. Waterhouse) | http://search.jxta.org/JXTAsearch.pdf | |
4/22 (Verification and Distributed algorithms) |
Christopher Werner | Temporal logic properties of Java objects (by R. Iosif and R. Sisto) | http://www-verimag.imag.fr/~iosif/papers/JSS.pdf |
Dan Tracy | Distributed Clustering Using Collective Principal Component Analysis (by H. Kargupta, W. Huang, K. Sivakumar, and E. Johnson) |
http://citeseer.ist.psu.edu/cache/papers/cs/14457 |