Schedule

Date

Topic

Background Material

1/28 - 2/4

Overview
Background:

• The lambda-calculus
• Operational Semantics
• Type Systems

• Glynn Winskel's book on The Formal Semantics of Programming Languages (apparently out of print---bummer)
• Benjamin Pierce's book on Types and Programming Languages
• CS 611 at Cornell
• CS 264 at Berkeley (see lectures 2 and 3)
• Luca Cardelli's notes on Type Systems

2/4

Language Extensions

2/11

Correspondence between Proofs and Programs

Date

Topic

Materials

2/6

Linking

• Program Fragments, Linking, and Modularization, Luca Cardelli. Here are some slides
• Linking and Loading, John Levine (Chapter 1, Linkers and Loaders)

2/11

Class cancelled

2/13

 Dynamic Linking

• C dynamic linking API
• Dynamic Linking of Software Components, Michael Franz. slides.
• Type-safe Dynamic Linking of Native Code, Hicks, Weirich, and Crary. slides.

2/18

Class cancelled

2/20

Extensible Systems

• Extensibility, Safety and Performance in the SPIN Operating System, Bershad, Savage, Pardyak, Gun Sirer, Becker, Fiuczynski, Chambers, and Eggers.
• Dynamic Binding for an Extensible System, Pardyak and Bershad.

2/25

Component Module Systems

• Knit: Component composition for systems software, Reid, Flatt, Stoller, Lepreau, and Eide.
• Jiazzi: New-age components for old-fashioned Java, McDirmid, Flatt, and Hsieh.

2/27

Dynamic Software Updating

• Dynamic Software Updating, Hicks, Moore, and Nettles. slides

3/4

Dynamic Software Updating

Initial project proposal due

• A Formal Framework for On-line Software Version Change, Gupta, Jalote, and Barua.

3/6

Dynamic Code Generation

• Fast, Effective Dynamic Compilation, Auslander, Philipose, Chambers, Eggers, and Bershad.
• VCODE: a retargetable, extensible, very fast dynamic code generation system, Engler.

3/11 - 3/13

Resource Control in Extensible Systems

• Implementing multiple protection domains in Java, Hawblitzel, Chang, Czajkowski, Hu, von Eicken.
• Termination in language-based systems, Rudys, Clements, and Wallach. See also the extended journal version.
• Transactional rollback for language-based systems, Rudys and Wallach.

3/13

Final project proposal due

3/18 - 3/20

Reflection and Dynamic Typing

• Dynamic Typing in a Statically Typed Language, Abadi, Cardelli, Pierce, and Plotkin.
• Java Reflection, and some useful slides and code samples (here too).

3/20

Giving a Technical Talk

• Giving a good research talk, Peyton-Jones, Launchbury, Hughes.
• Giving Technical Talks, Drysdale.
• Oral Presentation Advice, Hill (with notes from Patterson).

SPRING BREAK

 Relaxing

4/1

Module Systems

• Mechanisms for secure modular programming in java, Lujo Bauer, Andrew W. Appel, and Edward W. Felten. Presentation slides.
• The design of a class mechanism for MOBY, Kathleen Fisher and John Reppy. Presentation slides.

4/3

Aspect-Oriented Programming

• An overview of AspectJ, Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold
• Integrating independent components with on-demand remodularization, Mira Mezini and Klaus Ostermann. 

4/8

Extensible Networking Systems

• Robert Morris, Eddie Kohler, John Jannotti, and M. Frans Kaashoek. The Click modular router. Presentation slides.
• Yechim Yemini and Sushil da Silva. Towards programmable networks. Presentation slides.

4/10

Java Operating Systems

• Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, and Laurent Daynas. Incommunicado: efficient communication for isolates
• Godmar Back, Wilson C. Hsieh, and Jay Lepreau. Processes in KaffeOS: Isolation, resource management, and sharing in Java.

4/15

Intensional Type Analysis

• Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type erasure semantics. Presentation slides.

4/17

Extension and Reflection

• Herbert Bos and Bart Samwel. Safe kernel programming in the OKE
• Ralph Keller and Urs Hölzle. Binary component adaptation.

4/22

Reflection and Dynamic Compilation

• Shigeru Chiba. Load-time structural reflection in Java
• Michael G. Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinivasan, and John Whaley. The jalapeño dynamic optimizing compiler for java.

4/24

Run-time Code Generation (Specialization)

• Matthai Philipose, Craig Chambers, and Susan J. Eggers. Towards automatic construction of staged compilers
• Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, and Gilles Muller. Towards automatic specialization of Java programs

4/29

On-line Reconfiguration

• Craig A. N. Soules, Jonathan Appavoo, Kevin Hui, Robert W. Wisniewski, Dilma Da Silva, Gregory R. Ganger, Orran Krieger, Michael Stumm, Marc Auslander, Michal Ostrowski, Bryan Rosenburg, and Jimi Xenidis. System support for online reconfiguration. Supplementary slides on Read-Copy-Update synchronization.
• Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, and Steven Richman. Lazy modular upgrades in persistent object stores

5/1

Program Adaptation

• Albert Serra, Nacho Navarro, and Toni Cortes. DITools: Application-level support for dynamic extension and flexible composition. 
• Günther Kniesel. Type-safe delegation for run-time component adaptation.

5/6

Module Systems II

• Matthias Zenger. Type-safe prototype-based component evolution
• Riccardo Pucella. Towards a formalization for COM part I: the primitive calculus

5/8

Module Systems III

Simon Peyton-Jones and Mark Shields. First-class Modules for Haskell

5/13

Wrap-up and Exam Review