Programming Languages Seminar Fall 2011

Meeting time: Wednesday 11AM-12PM
Classroom: Shaffer 204E

Discussion Schedule

Date Paper/Topic/Visitor Discussion Leader
8/31 Organizational Meeting Everyone
9/7 Languages as Libraries Zach
9/14 Adam Chlipala, Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Ken
9/21 Convenient Explicit Effects using Type Inference with Subeffects Scott
9/28 Automatic CPU-GPU Communication ScottD
10/5 Bedrock, continued Ken
10/12 Probabilistic, modular and scalable inference of typestate specifications ScottS
10/19 Mixfix syntax abbreviations; Parsing Mixfix Operators
10/26
11/2
11/9
11/16
11/23
11/30
12/7

Potential topics for discussion:

Previous Seminars