March 28: Organizational meeting
Ensuing 5 weeks: No meeting; attend 590N instead
Operational semantics for multi-language programs
Presenter: Jon H.
Modular type classes
Presenter: Matt K.
A very modal model of a modern, major, general type system
Presenter: Ben Y. and Anna G.
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics
Presenter: Andrew P.