(EC)2 2013: 6th International Workshop on Exploiting Concurrency Efficiently and Correctly
July 13-14, 2013
Saint Petersburg, Russia
[co-located with CAV 2013]
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 annual 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. Ultimately, such a diverse environment
should stimulate incubation of ideas leading to future concurrent system design
an verification tools that are essential in the multi-core era.
The two-day workshop will include invited talks, presentations of position
papers, and discussion periods. The position papers will be distributed
before-hand on the CAV memory stick and this webpage.
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.
|Application deadline for visa invitation letters supported by CAV (non-EU citizens)
||Mar 20, 2013
|Application deadline for visa invitation letters supported by CAV (EU citizens)
||Apr 10, 2013
||Apr 21, 2013 (extended)
|Notification of acceptance
||May 3, 2013 (extended)
|| Jul 13-14, 2013
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 EasyChair
Those who do not have an EasyChair account will need to create one
by visiting this URL.
There will be no formal workshop proceedings—therefore, the work will be
At least one author of each position paper is expected to register and attend to
present the work.
We kindly ask submission authors and potential participants to apply for a visa
invitation letter as soon as possible (even if their trip plans may change
later). For further details please check:
We have an amazing lineup of invited speakers:
Rastislav Bodík, University of California, Berkeley
Domagoj Babić, Google Research
Malay Ganai, NEC Laboratories America
Satish Narayanasamy, University of Michigan
Shaz Qadeer, Microsoft Research, Redmond
Koushik Sen, University of California, Berkeley
Marc Shapiro, INRIA Paris-Rocquencourt