Exploiting Concurrency Efficiently and Correctly
associated with CAV
Overview
The annual Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) is a forum that brings together researchers working on formal methods for concurrency, and those working on advanced parallel applications. Its goal is to stimulate incubation of ideas leading to future concurrent system design an verification tools that are essential in the multi-core era.
More information can be found here.
Programme
Invited Talks
Keshav Pingali (UT Austin): Parallel Programming Needs New Foundations.
Tim Harris (Microsoft Research, Cambridge): Programming models for the Barrelfish multi-kernel operating system.
Bill Gropp (UIUC): Challenges in Using the Message Passing Interface in Multicore and Heterogeneous Systems.
Miriam Leeser (Northeastern): GPU programming: bugs, pitfalls and the importance of correctness in biomedical and scientific applications.