| Date | Paper/Topic | Discussion Leader |
| Feb 2nd | Organizational Meeting | tout le monde |
| 10AM, Feb 9th | Miller, Shapiro, Paradigm Regained: Abstraction Mechanisms for Access Control (ASIAN'03) | Mark M. |
| 11AM, Feb 9th | Ctn'd, the same topic | Mark M. |
| 10AM, Feb 16th | Project Progress: Higher-order Abstract Interpretation | Pari |
| 11AM, Feb 16th | Li, Zdancewic, Downgrading Policies and Relaxed Noninterference (POPL'05) POPL Slides | Mark T. |
| 10AM, Feb 23th | Project Progress: Information Flow and Followups on Datatypes for Secure Data | Mark T. |
| 11AM, Feb 23th | Goldberg, Findler, Flatt, Super and Inner - Together at Last (OOPSLA'04) | David |
| 10AM, Mar 2nd | PL Support for Sensor Networks | Scott |
| 11AM, Mar 2nd | E Language: Promises and Concurrency | Mark M. |
| 10AM, Mar 9th | Project Progress: Classage | David |
| 11AM, Mar 9th | Cobbe, Felleisen, Environmental Acquisition Revisited (POPL'05) | David |
| Mar 16th | No Seminar (Spring Break) | Il n'y a personne |
| Mar 23rd | No Seminar | Il n'y a personne |
| 10AM, Mar 30th | Project Progress: A Secure MicroKernel | Xiaoqi |
| 11AM, Mar 30th | O'Hearn, Yang, Reynolds, Separation and Information
Hiding (POPL'04) Slides Parkinson, Bierman, Separation Logic and Abstraction (POPL'05) |
David |
| Apr 6th | No Seminar | |
| 10AM, Apr 13rd | Discussion: ACLs vs. Caps | Mark M. and Scott |
| 10AM, April 20th | Review: Component Security with SDSI/SPKI | David |
| 11AM, April 20th | Aiken, Xie, Scalable Error Detection using Boolean Satisfiability (POPL'05) Slides | Pari |
| 11AM, April 27th | Spiessens, Miller, Van Roy, Shapiro, Authority Reduction in Protection Systems (TGC'05) talk | Mark M. |
| 10AM, May 4th | Project Progress | Mark T. |
| 11AM, May 4th | Authority Reduction in Protection Systems (cnt'd) | Mark M. |
| 11AM, May 18th | C. Colby and P. Lee, Trace-based program analysis (POPL'96) | Pari |
| 11AM, May 25th | Golm, Felser, Wawersich, Kleinoder, The JX Operating System (USENIX'02) | Xiaoqi |
| 11AM, Jun 8th | Hawblitzel, Chang, Czajkowski, Hu, von Eicken, Implementing Multiple Protection Domains in Java (USENIX'98) JKernel Page | Xiaoqi |
| 11AM, Jun 29th | Das etc, ESP: Path-Sensitive Program Verification in Polynomial Time (PLDI 2002) | Scott |
| 11AM, July 13th | Ancona, Zucca, Principle Typings for Java-like Languages (POPL'04) Ancona, Damiani, Drossopoulou, Zucca, Polymorphic Bytecode: Compositional Compilation for Java-like Languages (POPL'05) |
David |
| 11AM, July 20th | Cardelli, Transitions in Programming Models (keynote talk at ICSE'05) | David |
| 11AM, Aug 3rd | Myers, Liskov, Protecting Privacy using the Decentralized Label Model (TOSEM '00) Myers, JFlow: Practical Mostly-Static Information Flow Control (POPL '99) |
Mark T. |
| 11AM, Aug 24th | Ray, Enforcing Distributed Information Flow Policies Architecturally: the SAID Approach (COORD'05) | Xiaoqi |
| 10:30AM, Sept 14th | Organizational Meeting; Topic Selections. (Recent Conferences: PLDI'05 ECOOP'05 ICFP'05) | Scott |
| 11AM, Sept 14th | Qian, Goldberg, Coglio. A Formal Specification of Java Class Loading (OOPSLA'00) | David |
| 11AM, Sept 21th | Mandelin, Xu, Bodik, Kimelman. Jungloid Mining: Helping to Navigate the API Jungle. (PLDI'05) Web Demo | Mark T. |
| 11AM, Sept 28th | Terauchi, Aiken. Witnessing Side-Effects (ICFP'05) | Pari |
| 11AM, Oct 5th | Boudol, Castellani. Noninterference for Concurrent Programs and Thread Systems (Theor. Comput. Sci. vol. 281, 2002) | Xiaoqi |
| 11AM, Oct 12th | Dry Run: Interaction-based Programming in Classages (OOPSLA'05) | David |
| 11AM, Oct 26th | Sangal, Jordan, Sinha, Jackson. Using Dependency Models to Manage Complex Software Architecture (OOPSLA'05) | David |
| 11AM, Nov 2nd | Krishnaswami, Aldrich. Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages (PLDI'05) | M. Scott |
| 11AM, Nov 9th | Pistoia, Flynn, Koved, Sreedhar. Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection (ECOOP'05) ps booklet | Mark T. |
| 11AM, Nov 16th | Dry Run: Programming Verification with Flow-Effect Types (MAPLS'05) | Pari |
| 11AM, Nov 23rd | Theorem Proving with Twelf Twelf User Manual Pfenning, Computation and Deduction |
M.Scott |
| 11AM, Dec. 7th |
Static Program Slicing Tip. A Survey of Program Slicing Techniques (JPL '95) |
Mark T. |