Programming languages reading group

CSE 590 L: Languages Seminar, Spring 2004
Wednesdays, 1:30-2:20 p.m. MGH 248

Selected papers, mostly from recent PLDI and POPL conferences.

Schedule (subject to change)

Date Topic Presenter
31 Mar Flanagan and Qadeer, Types for Atomicity (TLDI'03) Charlie
7 April Ford, Parsing Expression Grammars: A Recognition-Based Syntactic Foundation (POPL'04) Keunwoo
14 April Neubauer and Thiemann, Discriminative sum types locate the source of type errors (ICFP'03) Andrew
21 April Heine and Lam, A practical flow-sensitive and context-sensitive C and C++ memory leak detector (PLDI'03) Mike
28 April O'Hearn, Yang, and Reynolds, Separation and Information Hiding (POPL'04) Keunwoo
5 May Henzinger, Jhala, Majumdar, and McMillan, Abstractions from Proofs (POPL'04) Dave
12 May Stephenson, Amarasinghe, Martin, and O'Reilly, Meta Optimization: Improving Compiler Heuristics with Machine Learning (PLDI'03). Andrei
19 May Berndi, Lhoták, Qian, Hendren, and Umanee. Points-to Analysis using BDDs (PLDI'03) Sorin
26 May Whaley and Lam, Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams (PLDI'04)
2 Jun Liblit, Aiken, Zheng, and Jordan. Bug Isolation via Remote Program Sampling (PLDI'03) ?

cse590l@cs
Last modified: Mon Mar 31 18:05:00 PST 2003