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 |
|---|---|
| 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 ] |
