CSE590P: Programming Systems

Spring 2007

Wednesdays, 3:30-4:20PM, EE054

Mailing List

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.