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 4:00 p.m. on Thursdays in room CS 7331.
To receive weekly announcements by e-mail, please subscribe to the mailing list.
Schedule for Fall 06:
| Date |
Paper |
|---|---|
| Nov. 30, 2006 |
S. Lahiri and S. Qadeer Verifying properties of well-founded linked lists [ Paper ] |
| Nov. 09, 2006 |
John Regehr and Usit Duongsaa Deriving Abstract Transfer Functions for Analyzing Embedded Software [ Paper ] |
| Oct. 26, 2006 |
Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve. SAFECode: enforcing alias analysis for weakly typed languages [ Paper ] |
| Oct. 19, 2006 |
Jacques Garrigue. Code reuse through polymorphic variants. [ Paper ] [ Relevant Material ] |
| Oct. 05, 2006 |
Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang,
and Zhaozhong Ni. Modular verification of assembly code with stack-based control abstractions [ Paper ] |
| Sep. 21, 2006 |
Manu Sridharan, Denis Gopan, Lexin Shan, and Ras Bodik. Demand-driven points-to analysis for Java [ Paper ] |
