| Date | Paper/Topic | Discussion Leader |
| Feb 1st | Organizational Meeting POPL 2006 ESOP 2006 PLDI 2006 CSFW'05 ICSE'05 FSE'05 | Everyone |
| Feb 8th | Welc, Jagannathan, Hosking, Revocation Techniques for Java Concurrency (Concurrency and Computation) | Xiaoqi |
| Feb 15th | Welc, Jagannathan, Hosking, Safe Futures for Java (OOPSLA 2005) | Xiaoqi |
| Feb 22nd | Hammer, Krinke, Snelting, Information Flow Control for Java Based on Path Conditions in Dependence Graphs (ISSSE '06) | Mark T. |
| Mar 1st |
Benton, Cardelli, Fournet, Modern Concurrency Abstractions
for C# (TOPLAS 2004, earlier in ECOOP'02) Murata, Horspool, Manning, Yokote, Tokoro, Unification of Compile-time and Run-time Metaobject Protocols, (ECOOP Workshop Meta'95) Murata, Horspool, Manning, Yokote, Tokoro, Unification of Active and Passive Objects in an Object-Oriented Operating System, (IWOOOS'95) |
Xiaoqi |
| Mar 8th | Amtoft, Bandhakavi, Banerjee, A Logic for Information Flow in Object-Oriented Programs. (POPL '06) Slides | Mark T. and Pari |
| Mar 15th | Hammer, Snelting An Improved Slicer for Java (Paste'04 ) | Pari |
| Mar 29th | Pickett, Verbrugge, Software
Thread Level Speculation for the Java Language and Virtual Machine
Environment (LCPC'05) Pickett, Verbrugge, SableSpMT: A Software Framework for Analysing Speculative Multithreading in Java (PASTE'05) |
Xiaoqi and David |
| Apr 5th | Thread Speculation Cnt'd | Xiaoqi and David |
| Apr 12th | Brumley and Song, Privtrans: Automatically Partitioning Programs for Privilege Separation. (USENIX Security Symposium, '04) | Mark T. |
| Apr 19th | Caromel, Henrio, Serpette, Asynchronous and Deterministic Objects (POPL'04) | David |
| Apr 26th | Bauer, Ligatti, Walker, Composing Security Policies with Polymer (PLDI'05) | M. Scott |
| May 3rd | Odell, Six Different
Kinds of Composition Bock, UML 2 Composition Model |
David |
| May 17th | Williams, Thies, Ernst, Static Deadlock Detection for Java Libraries (ECOOP'05) Slides | Xiaoqi |
| 11AM, June 1st | Dry Run: The MicroKernel Virtual Machine: Building Security with Clear Interfaces | Xiaoqi |
| 1PM, Thurs. Aug. 17 | Zheng, Myers, Dynamic Security Labels and Noninterference (FAST '04) | Mark |
| Sep 6 | O'Neill, Clarkson, Chong Information-Flow Security for Interactive Programs (CSFW '06) slides | Mark |
| Sep 13 | Sridharan, Bodik, Refinement-based Context-sensitive Points-to analysis for Java (PLDI '06) Slides | Mark |
| Sep 20 | Topic Selection Session, ECOOP'06 ICFP'06 ICSE'06 CSFW'06 FSE'06 OOPSLA'06 SAS'06 | All |
| Sep 27 | Aiken, Fahndrich, Hawblitzel, Hunt, Larus, Deconstructing Process Isolation (unpublished) Singularity Homepage | Scott & Xiaoqi |
| Oct 4 | Dhurjati, Kowshik, Adve, SAFECode: Enforcing Alias Analysis for Weakly Types Languages (PLDI'06) Slides | Pari |
| Oct 11th | OSGi, Deployment, JSR277, JSR291 and Others, slides1 slides2 | David |
| Nov 1st | Briefly: Lee, The Problen with Threads; Dynamic information flow | Briefly: Scott; Mark and Pari |
| Nov 8th | Qadeer, Atomicity Analysis for Concurrent Software (TiC'06 tutorial) Slides1 Slides2 Slides3 | David |
| Nov 15th | Hackett, Aiken, How is Aliasing Used in Systems Software (FSE'06) | M. Scott |
| Nov 29th | Dam, Decidability and proof systems for language-based noninterference relations (POPL '06) | Mark |
| Dec 6th | Mitchell, The Runtime Structure of Object Ownership (ECOOP'06) Lu, Potter, On Ownership and Accessibility (ECOOP'06) |
David |
| Dec 13th | Zdancewic et al, Managing Policy Updates in Security-Typed Languages CSFW'06 Slides | Pari |