CMSC 32102
Topics in Concurrency
Spring 2007

General Information

Instructor: John Reppy Hinds 033
Lecture: TR 12:00-1:20
Ry 277


This seminar is aimed at graduate students and advanced undergraduates who are interested in concurrency and high-level concurrent language design. We will discuss a number of high-level concurrent languages and concurrency features, such as Concurrent ML, the Join Calculus, and STM.


Each student will be expected to read and present a paper. Here are the paper assignments:
Thursday 6/17
(Matthew Hammer)
Stabilizers: a modular checkpointing abstraction for concurrent functional programs by Lukasz Ziarek and Philip Schatz and Suresh Jagannathan, ICFP 2006.

Tuesday 6/22
(Andy Cotter)
A language with distributed scope by Luca Cardelli, POPL 1995.

Thursday 6/22
(Mike Rainey)
Asynchronous exceptions in Haskell by Simon Marow, Simon Peyton Jones, Andrew Moran, and John Reppy, PLDI 2001.

Tuesday 6/29
(Adam Shaw)
Linearizability: a correctness condition for concurrent objects by Maurice Herlihy and Jeannette Wing, TOPLAS 1990.

Thursday 6/31
(Yingqi Xiao)
The reflexive CHAM and the join-calculus by Cedric Fournet and Georges Gonthier, POPL 1996.


Here are links to the other papers that we will be discussing.

Last revised: May 23, 2007.