Schedule for the Fall 2008 SPAM
- Friday, September 5, 12:30pm,
200 AKW
-
Rodrigo Ferreira:
Memory Consistency Models: What They Are And How To Reason About Them
(Host: Zhong Shao)
- Friday, September 19, 12:30pm,
200 AKW
-
Alex Vaynberg:
Certified Meta-programming and Abstraction
(Host: Zhong Shao)
- Friday, September 26, 12:00pm,
400 AKW
-
Wei-Ngan Chin:
Automated Verification via Separation Logic
(Host: Zhong Shao)
- Monday, September 29, 12:00pm,
500 AKW
-
Carsten Schürmann:
Celf: An implementation of the concurrent logical framework CLF
(Host: Zhong Shao)
- Wednesday, November 19, 1:00pm,
500 AKW
-
Chris Hawblitzel:
Verifying Practical Garbage Collectors
(Host: Zhong Shao)