CAV Home

Past EC2 workshops


Workshop Program


Workshop Organizers

EC2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly

July 20-21, 2010,
Edinburgh, UK

[Colocated with CAV 2010, part of the Federated Logic Conference (FLoC), 2010]


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. Topics of interest at EC2 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

Submission deadline (extended) March 31, 2010 (Wed).

(Please submit papers through Easychair.)

Notification of acceptance April 14, 2010 (Wed)
Registration Please register through the CAV 2010 registration system
Workshop July 20-21 2010

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

Colocated conferences

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


Rajeev Alur University of Pennsylvania
Swarat Chaudhuri Pennsylvania State University
Azadeh Farzan University of Toronto
Ganesh Gopalakrishnan University of Utah
Stephen Siegel University of Delaware
Helmut Veith Technical University of Darmstadt