Sam L'ecuyer will present The Join Calculus: a Language for Distributed Mobile Programming (http://research.microsoft.com/en-us/um/people/fournet/papers/join-tutorial.pdf), by Cedric Fournet and Georges Gonthier.
Do semaphores and mutexes, distributed locks and clocks confound you? Does concurrency as an afterthought frustrate and bewilder you? In this paper, Fournet and Gonthier present the join calculus, a modeling language for clean, asynchronous distributed computing. This language builds upon well established techniques of pattern matching, static typing, and local variable declaration to lay the foundation for synchronizing data across multiple machines, code mobility, and failure detection.
Sam L'ecuyer (@cateches (https://twitter.com/cateches)) is a front-end engineer at Yahoo. You can find a lot of the code he writes at https://screen.yahoo.com . He enjoys static typing, text editors from the 1970s, and making his own cocktail bitters.