CONCURRENCY & INTEGRITY

Host

Kresten Krab Thorup

Track abstract

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!