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 ]