EC2-2010: July 20-21

Exploiting Concurrency Efficiently and Correctly

associated with CAV


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.


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.

Program Chairs

Ganesh Gopalakrishnan, University of Utah, United States

Program Committee:

Rajeev Alur, University of Pennsylvania, United States
Swarat Chaudhuri, Pennsylvania State University, United States
Azadeh Farzan, University of Toronto, Canada
Stephen Siegel, University of Delaware, United States
Helmut Veith