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