Cooperative Concurrency for a Multicore World

Watch Now Date Added: Dec 2011
Format: Webcast

Multi-threaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, these presenters argue that yield annotations in the source code should document all thread interference, and they present a type system for verifying the absence of undocumented interference.