[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP: Exploiting Concurrency Efficiently and Correctly -- (EC)^2

We apologize if you receive multiple copies of this announcement.


      Exploiting Concurrency Efficiently and Correctly -- (EC)2
              CAV 2012 Workshop
         July 7-8, 2012, Berkeley, California

Confirmed Invited Speakers:

Greg Bronevetsky, Lawrence Livermore National Laboratory
Christoph Kirsch, University of Salzburg
Akash Lal, Microsoft Research


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

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 two-day workshop will include several 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.

Important Dates:

 May 18 (Fri): position paper submission deadline
 May 25 (Fri): notification
 May 31 (Thu): final version due

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.  Submit this paper at


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

For more information, contact the organizers at ec2-org@xxxxxxxxxxxxxxxx.


Sebastian Burckhardt (Microsoft Research) <sburckha@xxxxxxxxxxxxx>
Azadeh Farzan (University of Toronto) <azadeh@xxxxxxxxxxxxxx>
Ganesh Gopalakrishnan (University of Utah) <ganesh@xxxxxxxxxxx>
Stephen Siegel (University of Delaware) <siegel@xxxxxxxx>
Helmut Veith (Vienna University of Technology) <veith@xxxxxxxxxx>
Josef Widder (Vienna University of Technology) <widder@xxxxxxxxxx>