Tentative Schedule
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/

typing-attacker2.ps
 

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/

upgrades-fse2003-abstract.html

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

http://www.jxta.org/project/www/docs/
mdejxta-paper.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

/http:zSzzSzwww.eecs.wsu.eduzSz~hillolzSzpubs

zSzcpcad.pdf/kargupta01distributed.pdf