Programming Languages Seminar

600.726, Spring 2002

Meeting time: W 11AM
Classroom: NEB 325

This seminar course covers recent developments in the foundations of programming language design and implementation.

Note: This schedule will surely evolve.

Date	Speaker	Topic	URL
Feb 6	Chris	Role Types (POPL paper)	Related papers
Feb 13	Scott	SDSI	Paper, webpage
Feb 20	David	CCured (POPL paper)	Paper
Feb 27
Mar 6	Mark	An Approach to Safe Object Sharing (OOPSLA 2000)	Paper
Mar 13	Izzet
Mar 20	Spring Break
Mar 27	Scott	Tutorial: Proving Operational Equivalences	Paper
Apr 3	Scott	(Continued)
Apr 10	Chris	Proofs and Subject Reduction	Webpage (includes paper in many formats)
Apr 17	Chris	(Continued)
Apr 24	Mike	JPL: A Persistence Layer for Java	Webpage (includes paper)
May 1	Fei Lu	Runtime saftey of programs; "A Type System for Certified Binaries"	Paper
May 8

Safe Fast Languages
- Typed Assembly Language (TAL), Homepage.
- CCured, POPL 02 paper
- Cyclone, homepage
Security
- BAN logic (paper, some random tutorial on it)
- Taos operating system security system, paper.
Quantum Mechanics -- Izzet
Yalies "type system for certified binaries" POPL 02 paper -- Scott?
Constraint Entailment (Pottier paper, Trifonov and Smith paper)-- Scott
Formal approaches to Software Engineering
- Assertions in programs; weakest preconditions and Hoare logic
- Theorem proving
- Automata and Model checking
- Applications of the above
Types
- Recursive types, fixpoints, and existential types -- Chris
Mike Grant on his project?
Cells implementation progress report by Breno and Xiaoqi?
NLP? -- Chris on typed NLP and Izzet on his work in NLP