The Concurrency Challenge

By now "The free lunch" ended more than five years ago; server core counts are ranging from 8 to 864, and yet the concurrency revolution has still to occur: concurrent programming is not yet mainstream. As in-process concurrency is gaining importance three methodologies are competing for programmer adoption: classic locks, transactional memory and share-nothing actors. This track aims to push this revolution forward by giving an overview of techniques and methodologies that can make efficient and correct(!) concurrent programming mainstream. Programming languages have an important role here in providing programming models and compiler support to deal with complexity and efficiency issues. Hence, important programming language concurrency models are covered as well as more basic concurrency problems and solutions. Prepare to be surprised and amazed!