(EC)2 2012: Workshop on Exploiting Concurrency Efficiently and Correctly

July 7 and 8, 2012
Berkeley, California, USA
Collocated with CAV 2012.


Latest Updates

  Location: EECS Department, Soda Hall, room 310 Soda



Confirmed Invited Speakers

Greg Bronevetsky Lawrence Livermore National Laboratory 
Mihai Budiu Microsoft Research SVC
Christoph Kirsch University of Salzburg
Akash Lal Microsoft Research India



The advent of multicore CPUs has created exciting new opportunities for building more efficient computing systems, as for instance the application of GPUs for hardware acceleration. Multicore CPUs are characterized by the spatial distribution of the cores and by the inherently concurrent execution of programs. These issues introduce difficult research challenges for analysis, programming, and verification.

There has been 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 and libraries; and new forms of hardware support for parallel processing. While developing tools for verifying and debugging concurrent systems has been an important theme in the verification community, we believe that formal methods research can go beyond checking existing code and systems, and play a role in identifying suitable abstractions for concurrency. The goal of this workshop is thus to bring together researchers from the verification community with experts who are involved, on the one hand, in developing multicore architectures, programming languages, or concurrency libraries, and on the other hand, in distributed computing and concurrency theory. 



The workshop will include invited talks, presentations of position papers, and discussion periods. 

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. Submissions will be handled via EasyChair, the link is: http://www.easychair.org/conferences/?conf=ec22012.

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.



  • Submission deadline June 1, 2012 (Friday)    May 18, 2012 (Friday)  
  • Notification of acceptance June 8, 2012 (Friday)    May 25, 2012 (Friday)  
  • Final version due June 14, 2012 (Thursday)    May 31, 2012 (Thursday)



Sebastian Burckhardt Microsoft Research
Azadeh Farzan University of Toronto
Ganesh Gopalakrishnan University of Utah
Stephen Siegel University of Delaware
Helmut Veith Vienna University of Technology
Josef Widder  Vienna University of Technology

Previous editions

(EC)2 2008

(EC)2 2009

(EC)2 2010

(EC)2 2011