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)