| Date | Paper/Topic | Suggested by |
| Jun 11 | Amadio, Cardelli, Subtyping Recursive Types | David |
| Jun 18 | Subtyping Recursive Types, Cnt'd | |
| Jun 25 | Canning, Cook, Hill, Olthoff, Micthell, F-Bounded Polymorphism for Object-Oriented Programming | Pari |
| Jul 2 | Ancona, Zucca, A Calculus of Module Systems | David |
| Jul 9 | Mark, Scott, A Static Capability Tracking System | Mark T. |
| Jul 23 | Modal Mu-calculus lecture note1 lecture note2 | Fei |
| Jul 30 | Chris, Scott, History Analysis | Scott |
| Aug 6 | Abstract Interpretation 1 (required) 2 (optional) | Scott |
| Aug 13 | None | |
| Aug 20 | Abstract Interpretation, cnt'd | |
| Aug 27 | Abstract Interpretation, cnt'd | |
| Sep 3 | Cyclone and CCured in the Real World | David |
| Sep 10 | None | |
| Sep 16 | Schärli, Ducasse, Nierstrasz, Black, Traits: Composable Units of Behaviors | Mark T. |
| Sep 24 | Wright, Felleisen, A Syntactical Approach to Type Soundness | David |
| Oct 1 | Model Checking: A Tutorial Overview | Fei |
| Oct 8 | Discovering Affine Equalities using Random Interpretation | Mark S. |
| Oct 15 | Aspect-oriented Programming | David |
| Oct 22 | Latex | Scott |
| Oct 29 | History Types and Verification | Scott |
| Nov 5 | HydroJ | David |
| Nov 12 | A Modular Module System | David |
| Nov 19 | A static type system for JVM access control | Mark T. |
| Nov 26 | No Seminar, Turkey Day | |
| Dec 3 | Automatic Detection and Repair of Errors in Data Structures | Prashanth |
| Dec 10 | No Seminar | |
| Dec 17 | MOPS: An Infrastructure for Examining Security Properties of Software | Swaroop |
| Date | Speaker | Topic | URL | |
| Jan 29 | Scott | Organizational meeting | This page | |
| Feb 5 | Scott | POPL 2003 / TLDI 2003 highlights | POPL'03 Home Page; All POPL Papers (JHU access only) | |
| Feb 12 | Fei Lu | Access Control based on Execution History | Paper link | |
| Feb 19 | Xiaoqi | Incommunicado: efficient communication for isolates | OOPSLA'02 link | |
| Feb 26 | Mark | Denotational Semantics | Denotational Semantics Lecture notes and slides | |
| Mar 5 | Mark | Denotational Semantics Part 2 | Denotational Semantics Lecture notes and slides | |
| Mar 12 | Spring Break | |||
| Mar 19 | Pari | A Type Theory for Memory Allocation and Data Layout | POPL'03 Papers (JHU access only) | |
| Mar 26 | David | Component Assemblies and Component Runtimes | link | |
| Apr 2 | David | ML Modules, A Historical View | 1, 2, 3, 4, 5, 6 | |
| Apr 9 | No Seminar | |||
| Apr 16 | Fei | Introduction to Modal and Temporal Logic | 1, 2, Book: Temporal Logic Mathematical Foundations and Computational Aspect, Temporal Logic of Programs | |
| Apr 23 | Izzet | Monads | ||
| Apr 30 | Scott | Tail Recursive Semantics for Stack Inspection | The paper | |
| May 7 | Pari | First-Class Messages, Soundess Proof | ||