CAV Home

EC2 2010


Workshop Program


Workshop Organizers

EC2 2011: Workshop on Exploiting Concurrency Efficiently and Correctly

Snowbird, Utah, USA

[Colocated with CAV 2011]


The multicore revolution has created both a verification and a programming crisis. This has led to a surge of concurrency-related research activity from different viewpoints, such as rethinking of programming abstractions and memory models; standardization and formalization of commonly used APIs (e.g., MPI, OpenMP); and new forms of hardware support for parallel processing.

While developing tools for verifying and debugging concurrent systems has been an important theme at CAV, we believe that formal methods research can go beyond checking existing code/systems, and play a role in identifying the "right" abstractions for concurrency. The goal of this workshop is to bring together CAV researchers with experts who are involved in developing multicore architectures, programming languages, and concurrency libraries.

The two-day workshop will include five invited talks, presentations of position papers, and discussion periods. The position papers will be distributed before-hand on the CAV memory stick.

We seek submissions of position statements between 2 and 5 pages. There are many possible themes for a position paper, including a survey of the authors' relevant recent research, a discussion of deficiencies in current languages and tools, challenges for future verification research, and/or a vision for change.

Submission instructions

Prepare a 2-5 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.

Important dates

Submission deadline April 29, 2011 (Friday)
Notification of acceptance May 13, 2011 (Friday)
Final version due May 19, 2011 (Thursday)
Paper forwarded to CAV May 23, 2011 (Monday)
Registration Please register through the CAV 2011 registration system
Workshop July 14-15, 2011

Invited speakers

  • Tom Ball, Microsoft Research.
    A Tool-based Approach to Conquering Concurrent Programming
  • Martin Berzins, University of Utah.
    Petascale Computing using a Directed Acyclic Graph Based Approach: Scalability of the Uintah Software to 200K cores.
  • Guy Blelloch, Carnegie Mellon University.
    Deterministic parallel algorithms and programming.
  • Johannes Gehrke, Cornell University.
    Playing Games with Data Management (abstract)
  • Murali Talupur, Intel.
    Reasoning About Replication: Parameteric Verification of Industrial Protocols
  • Richard Vuduc, Georgia Institute of Technology.
    Performance and correctness of software for large-scale heterogeneous systems (abstract)

Contributed papers

  • Sandip Ray and Rob Sumners. A Theorem Proving Approach for Verification of Reactive Concurrent Programs.
  • Jinpeng Lv, Guodong Li, Alan Humphrey and Ganesh Gopalakrishnan. Performance Degradation Analysis of GPU Kernels.
  • Sven Stork, Paulo Marques and Jonathan Aldrich. AEMINIUM: A Concurrent-by-Default Programming Language.
  • Matthias Fugger and Josef Widder. On Efficient Checking of Link-reversal-based Concurrent Systems.
  • Sela Mador-Haim, Rajeev Alur and Milo Martin. Towards a Theory of Hardware Memory Consistency Models.
  • Stephen F. Siegel. Generalizing Formal Methods from Sequential to Message-Passing Parallel Programs: The Case of Symbolic Execution.
  • Program

    The workshop program is now out.

    Colocated conferences

    EC2 2011 is colocated with CAV 2011.


    Sebastian Burckhardt Microsoft Research
    Swarat Chaudhuri Pennsylvania State University
    Azadeh Farzan University of Toronto
    Ganesh Gopalakrishnan University of Utah
    Stephen Siegel University of Delaware
    Helmut Veith Vienna Institute of Technology