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 (POPL'02).
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 Protocols by 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

Student presentations: May 23

Peter 2pm

Greg 2.20pm

Jeremy 2.40pm

Flow-Sensitive Type Qualifiers by Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Draft, November 2001. Accepted for publication in PLDI 2002.

Last modified: Mon May 20 15:10:38 EST 2002