CS 6112 (Fall 2011)
Foundations of Concurrency
Tuesday & Thursday 1:25pm-2:40pm
Upson Hall, Room 5130
Schedule
This schedule is not set in stone. Changes will be announced in lecture and posted here. Please check back from time to time.
A template for scribes is available here.
| Week | Topic | Notes |
| Week of Aug 21 | Introduction | [PDF|TeX] Tse |
| Week of Aug 28 | Labeled Transition Systems Calculus of Communicating Systems (CCS) |
[PDF|TeX] Longfield Wang |
| Week of Sep 4 |
More CCS Bisimulations |
[PDF|TeX] Xu [PDF|TeX] Karmazin |
| Week of Sep 11 |
CCS examples Weak bisimulations |
[PDF|TeX] Rajkumar [PDF|TeX] Tse Project proposals due |
| Week of Sep 18 |
No class π-calculus [Reading: Milner, Pierce] |
Teo |
| Week of Sep 25 |
Programming in the π-calculus More programming in the π-calculus |
[PDF|TeX] Basu [PDF|TeX]Ortega |
| Week of Oct 2 |
π-calculus equivalence Session types [Reading: Corin, et al.] |
[PDF|TeX]Arden [PDF|TeX]Jeannin |
| Week of Oct 9 |
No class (Fall break) The join calculus [Reading: Fournet and Gonthier] |
[PDF|TeX]Reitblatt |
| Week of Oct 16 | No class Actors in Scala [Reading: Agha and Thati and Haller and Odersky] |
[PDF|TeX] Story |
| Week of Oct 23 |
Concurrency Monads [Reading: Claessen and Li and Zdancewic Promises [Reading: Liskov and Shrira and Bogle and Liskov] |
[PDF|TeX] Longfield Wang |
| Week of Oct 30 |
STM [Reading: Peyton Jones and Herlihy, et al.] Guest Lecture — Yaron Minsky (Jane Street) [Reading: Vouillon] |
[PDF|TeX] Xu Karmazin |
| Week of Nov 6 |
Orc
[Reading: Kitchin, et al.
and Wehrman, et al.] Thorn [Reading: Bloom, et al. and Wrigstad, et al.] |
[PDF|TeX] Reitblatt Ortega |
| Week of Nov 13 |
Guest Lecture — Mark Bickford (NuPRL group) Concurrent revisions [Reading: Burckhard et al. I and II] |
[PDF|TeX] Basu [PDF|TeX] Rajkumar |
| Week of Nov 20 |
More concurrent revisions [Reading:
Burckhard et al. III and
V]
No class (Thanksgiving) |
[PDF|TeX] Arden |
| Week of Nov 27 |
Transactions [Reading:
Burkhard et al. IV and
Koskinen et al.I and
II]
Project presentations |
[PDF|TeX]Jeannin Final Projects Due |
