Programming Languages Reading Group - Fall 2005

Topic: This quarter we will be studying concurrency. More specifically, transactions and atomicity.
When: Tuesdays, 11-12
Where: BH 4750

Presentation Schedule:
Oct. 11    Static Race Detection    Brian
Oct. 18    no meeting    (OOPSLA)
Oct. 25    Static Atomicity Checking    Jeff
Nov. 1    Dynamic Atomicity Checking    Mike
Nov. 8*    Atomicity Inference    Ben
Nov. 15    no meeting   
Nov. 22    AtomCaml: First-Class Atomicity via Rollback    Chris
Nov. 29    Composable Memory Transactions    Alex
Dec. 6    TBD    TBD
Dec. 13    TBD    TBD
Dec. 20    TBD    TBD

Click here to return to my home page.