Programming Languages Reading Group
We will meet every Thursday at 2pm. Location will be anounced.
Most likely we will meet in the seminar room next to Peter S. office.
- March 27, Martin will present
Resource Usage Analysis by Atsushi Igarashi and Naoki Kobayashi
- April 4, easter break!
- April 11, Peter S. will present
Enforcing High-Level Protocols in Low-Level
Software by Robert DeLine and
Manuel Fahndrich (PLDI'01).
- April 18, Greg will present
Analyzing Security Protocols with Secrecy Types and Logic Programs
by Martin Abadi and Bruno Blanchet (POPL'02).
- April 25, Anzac Day.
- May 2, Peter G. will present
Adoption and Focus: Practical Linear Types for
Imperative Programming by M. Fahndrich and R. DeLine (PLDI'02).
- May 6, Mark will present
Local Reasoning about Programs that Alter Data Structures
by O'Hearn, Reynolds, Yang.
We'll meet at 1pm usual place.
- May 9, Jeremy will present
Typing Correspondence Assertions for Communication
Andrew Gordon and Alan Jeffrey.
Special lecture series:
A compiler-writer's guide to C# by Mark Shields.
4:15-5:15pm Wednesday 15 May Th 1 SEECS
12:00-1:00pm Thursday 16 May Th 1 SEECS
2:15-3:15pm Friday 17 May Th 1 SEECS
Last modified: Mon May 20 15:10:38 EST 2002