The Programming Languages Reading Group


Welcome to the home page for the Programming Languages Reading Group at the University of Wisconsin. We are a group of students, mostly those interested in programming languages and compilers, who meet to discuss papers that are (at least loosely) related to our field of study. We congregate at 3:30 p.m. on Fridays in room CS 4310.

To receive weekly announcements by e-mail, please subscribe to the mailing list.

Schedule for Fall 09:


Date
Paper
Dec. 18, 2009
Differentiating Parsers Oleg Kiselyov
[ Moderator: Tristan Ravitch ]
Dec. 11, 2009 Chandra, Fink, Sridharan
Snugglebug: A Powerful Approach To Weakest Preconditions PLDI 2009
[ Moderator: Suhail Shergil ]
Nov. 13, 2009 Gulwani, Mehra, Chilimbi
SPEED:Precise and Efficient Static Estimation of Program Computational Complexity POPL 2009
[ Moderator: Tycho Andersen ]
Nov. 6, 2009 Hoffman, Eugster, Jagannathan
Semantics-aware trace analysis PLDI 2009
[ Moderator: Piramanayagam Arumuga Nainar ]
Oct 30, 2009 Godefroid, Nori, Rajamani, Tetali
Compositional May-Must Program Analysis: Unleashing the Power of Alternation POPL 2010
[ Moderator: Aditya Thakur ]
Oct 23, 2009 Flanagan, Freud
FastTrack: efficient and precise dynamic race detection PLDI 2009
[ Moderator: Tristan Ravitch ]
Oct 16, 2009 Kawaguchi, Rondon, & Jhala
Type-based data structure verification PLDI 2009
[ Moderator: Evan Driscoll ]
Oct 9, 2009 Maximilian Bolingbroke, Simon L. Peyton Jones
Types Are Calling Conventions Haskell 2009
[ Moderator: Matt Elder ]
Oct 2, 2009 Cook, Podelski, Rybalchenko
Termination Proofs for Systems Code PLDI06
[ Moderator: Bill Harris ]