Title: Impressions from VMCAI and POPL 2009
Speaker: Rotem Oshman (MIT)
Place: 32-G531
Time:   1-2:30pm
Date:   Friday Feb. 27th, 2009

Abstract:
Concurrency was a hot topic at this year's POPL. I will talk about several
papers presented at the conference, including ones that discuss:
- Transactional memory,
- Proving progress and termination for concurrent programs,
- Abstractions for reasoning about concurrent programs, and
- A few neat results unrelated to concurrency.