Programming Languages Seminar

600.-001, Fall 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
Sep 11	Scott	Organizational meeting	This page
Sep 18	Paritosh	Type Inference
Sep 25	Xiaoqi
Oct 2	Izzet	Functional Reactive Robotics	FRP page
Oct 9	(GBO)
Oct 16	Fei Lu	Trust Management
Oct 23	(no seminar)
Oct 30	Scott	Cell Assemblies and other new ideas
Nov 6	Izzet	FRP as a Hybrid Systems Framework
Nov 13	Mark	Function Capabilities
Nov 20	David	Mixin	1, 2, 3
Nov 27	Izzet	Monads
Dec 4

New technologies
- .NET novelties
- Isolates (Java) / Application domains (.NET)
Latest and greatest: POPL, ICFP, PLDI, OOPSLA, ECOOP, etc.
Mobile computation papers -- David
ArchJava
Security fundamental questions
- What is trust, responsibility??
- Data vs control security, stack inspection vs direct access control
Tutorial topic: Formal approaches to Software Engineering
- Assertions in programs; weakest preconditions and Hoare logic
- Theorem proving
- Automata and Model checking
- Applications of the above
Types topics/tutorials
- Typed reflection, MetaML
- Typecase
Semantics Tutorials
- Denotational semantics (2)
Results!
- Scott - big & little cells
- Paritosh's project results - early in the semester
- Fei's results - probably later in the semester
- Xaioqi on the cell implementation - middle?
- Mark type system - early-mid