Week 1 |
Tu 04/04 |
|
Th 04/06 |
- Introduction (continued)
- Slides from Sorin's presentation: [ppt]
|
Week 2 |
Tu 04/11 |
- Scheduling of paper presentations
|
Th 04/13 |
|
Week 3 |
Tu 04/18 |
|
Th 04/20 |
|
Week 4 |
Tu 04/25 |
-
Markus Kaltenbach, Jayadev Misra,
A Theory of Hints in Model Checking, in
Formal Methods at the Crossroads: From Panacea to
Foundational Support, ed. Bernhard K. Aichernig and
Tom Maibaum, LNCS 2757, pp 423-438, Springer-Verlag,
2003. Presented by Chris (MC 18).
-
Jayadev Misra,
A Simple, Object-based View of Multiprogramming,
Formal Methods in System Design, Vol. 20, No. 1, January 2002.
Presented by Jan (MC 19).
|
Th 04/27 |
|
Week 5 |
Tu 05/02 |
|
Th 05/04 |
|
Week 6 |
Tu 05/09 |
|
Th 05/11 |
|
Week 7 |
Tu 05/16 |
|
Th 05/18 |
|
Week 8 |
Tu 05/23 |
|
Th 05/25 |
|
Week 9 |
Tu 05/30 |
-
Philip Wadler,
Linear types can change the world!, in M. Broy and
C. Jones, editors, Programming Concepts and
Methods, Sea of Galilee, Israel, April 1990. North
Holland, Amsterdam, 1990. Presented by Richard (TS 4).
-
Philip Wadler,
A taste of linear logic, Springer Verlag LNCS 802,
1993. Presented by Richard (TS 5).
-
Dan Grossman, Greg Morrisett, Trevor Jim, Florham Park,
Michael Hicks, Yanling Wang, James Cheney,
Region-Based Memory Management in Cyclone, PLDI 02.
Presented by Jan (TS 10)
|
Th 06/01 |
-
Flanagan, Leino, Lillibridge, Nelson, Saxe, State,
Extended Static Checking for Java, PLDI 02. Presented
by Chris (ATP 3)
-
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre,
Lazy Abstraction, POPL 02. Presented by Zach (ATP 5)
|
Week 10 |
Tu 06/06 |
|
Th 06/08 |
|