Scope

The annual Workshop on Exploiting Concurrency Efficiently and Correctly (EC²) 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. Topics of interest at EC² include (but are not limited to):

• Future multi-core CPUs
• Future cloud/high-performance computing, desktop, and embedded architectures
• Languages and libraries to support concurrency
• Techniques for specification and verification
• Energy issues
• Enhancing programmer productivity in parallel computing.

Dates and other important information

Invited speakers

• Bill Gropp, University of Illinois, Urbana-Champaign.
  Challenges in Using the Message Passing Interface in Multicore and Heterogeneous Systems (abstract)
• Tim Harris, Microsoft Research, Cambridge.
  Programming models for the Barrelfish multi-kernel operating system. (abstract)
• Miriam Leeser, Northeastern University.
  GPU programming: bugs, pitfalls and the importance of correctness in biomedical and scientific applications. (abstract)
• Keshav Pingali, University of Texas, Austin.
  Parallel Programming Needs New Foundations (abstract)

Submission instructions

Prepare a 2-4 page position paper in PDF format using any tool you like. The title and the name of the authors should appear at the top of the first page. Please submit your papers through this URL. Those who do not have an Easy chair account will need to create one by visiting this URL.

There will be no formal workshop proceedings—therefore, the work will be considered "unpublished".

At least one author of each position paper is expected to register and attend to present the work.

Challenge problems

A growing list of challenge problems is being collected, and will be discussed during the workshop. For questions, please contact ec2-org at googlegroups.com.

Colocated conferences

EC² 2010 is colocated with CAV 2010, and is a part of the Federated Logic Conference (FloC), 2010.

Organizers