UW-CSE : 590K (Compilers Seminar) : Winter 2002

Wed. 11:30 a.m. - 12:20 p.m., Mary Gates Hall 082a

This quarter, we'll be discussing interesting papers from recent PLDI/POPLs. Please subscribe to the cse590k mailing list (if you don't know how to use majordomo, read these generic majordomo instructions).

If you would like to volunteer to present a paper, or feel strongly about reading a certain paper in seminar, contact Keunwoo (klee@cs).

Notes from the organizational meeting/mailing list:

Schedule

16 January
Most of us are away at POPL '02, so there's no meeting this week.
23 January (Presenter: n/a)
Stephanie Weirich. Resource bound certification. POPL 2000.
[ gzip'd PostScript, Acrobat ]
30 January (Presenter: Keunwoo)
Jeff Foster. Flow-Sensitive Type Qualifiers. UC Berkeley TR; to appear in PLDI 2002. Please read the conference version, although you can read the TR if you want more explanation.
[ TR version, gzip'd PostScript | PLDI version, Acrobat ]
6 February (Presenters: Andrew & Sorin)
Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li. ESP: A Language for Programmable Devices. PLDI 2001.
[ @ACM | PDF ]
13 February (Presenters: Andrei & Todd)
Cormac Flanagan and Shaq Qadeer. Predicate Abstraction for Software Verification. POPL 2002.
[ @ACM | PostScript ]
20 February (Presenter: Sorin)
Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based Memory Management in Cyclone. PLDI 2002.
[ Acrobat | PostSCript ]
27 February
(Affiliates, no seminar.)
6 March (Presenter: Matthai & Mark)
Manuvir Das, Sorin Lerner, Mark Seigle. Path-Sensitive Program Verification in Polynomial Time. PLDI 2002.
[ PDF ]
13 March (Presenter: Mark)
G. Ramalingam, Alex Warshavsky, John Field, Mooly Sagiv. Deriving specialized heap analyses for verifying component-client conformance
[ gzip'd PostScript ]

Suggested papers


Keunwoo Lee
Last modified: Fri Mar 15 13:16:34 PST 2002