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:
- Last quarter we read a lot of abstract (i.e., no
implementation and unclear applications) type theory papers in
590L.
- Craig suggested we do more "practical", compiler-oriented
papers this quarter.
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.
- 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.
- 6 February (Presenters: Andrew & Sorin)
- Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li. ESP: A Language for Programmable Devices. PLDI 2001.
- 13 February (Presenters: Andrei & Todd)
- Cormac Flanagan and Shaq Qadeer. Predicate Abstraction for Software Verification. POPL 2002.
- 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.
- 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.
- 13 March (Presenter: Mark)
- G. Ramalingam, Alex Warshavsky, John Field, Mooly Sagiv. Deriving specialized heap analyses for verifying component-client conformance