Papers for Discussion (Tentative)

• Java memory model
• Memory models overview
• C++ memory model
• Nondeterminism is unavoidable, but data races are pure evil [Boehm, RACES '13]
• A Case for Concurrency Exceptions

• Region serliability for all [Ouyang et al. HotPar '13]
• EnfoRSer

• Velodrome
• DoubleChecker

• Static data race detection [Naik et al. PLDI '06] [Naik and Aiken POPL '07]
• FastTrack
• Chimera [Lee et al. PLDI '12] (uses static race detection for dynamic record & replay)

• Octet
• Hybrid/adaptive concurrency control (submission coming in January)
• Jikes RVM: jikesrvm.org; "The Jikes research virtual machine project: building an open-source research community" [Alpern et al. '05]

• ParaLog and Butterfly Analysis

Transactional memory?