[TYPES/announce] Call for participation: (EC)2 workshop on Exploiting Concurrency Efficiently and Correctly (with CAV)

[Alastair Donaldson]

*****************************************************************
CALL FOR PARTICIPATION: Early registration by 10 June
*****************************************************************

(EC)2 2015: 8th International Workshop on Exploiting Concurrency
             Efficiently and Correctly

Co-located with CAV 2015
San Francisco, CA, USA
July 18, 2015

http://multicore.doc.ic.ac.uk/events/ec2/


We're really excited to have a great set of keynote speakers and
contributed papers, which should make for a really exciting workshop!
Register now through the CAV registration system:

http://i-cav.org/2015/travel/



*** KEYNOTE SPEAKERS ***

* Sebastian Burckhardt, Microsoft Research - "Robust Abstractions for
   Replicated Shared State"

* Cormac Flanagan, University of California Santa Cruz - "Cooperative
   Concurrency for a Multicore World"

* Wolfram Schulte, Microsoft Research, Tools for Software Engineers
   team - title TBC

* Kostya Serebryany, Google - "ThreadSanitizer and Friends: How We
   Fight Threading (and Other) Bugs"


*** ACCEPTED PAPERS ***

* Kshitij Bansal, Eric Koskinen and Omer Tripp: "Synthesis of
   Commutativity Conditions"

* Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong Ahn,
   Ignacio Laguna, Martin Schulz, Gregory Lee, Joachim Protze and
   Matthias Mueller: "ARCHER: Effectively Spotting Data Races in Large
   OpenMP Applications"

* Igor Konnov, Helmut Veith and Josef Widder: "Challenges in Model
   Checking of Fault-tolerant Designs in TLA+"


*** SCOPE ***

The rise of multicore CPUs, manycore GPUs, and other heterogeneous
accelerator devices, presents exciting new opportunities for building
more efficient computing systems.  But with these opportunities comes
a challenge: concurrent programming is notoriously difficult, and
advances in analysis, programming and verification in the context of
concurrency are required to meet this challenge.

There has been a surge of concurrency-related research activity from
different viewpoints, such as the rethinking of programming
abstractions and memory models; standardization and formalization of
commonly used APIs and libraries; and investigating 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 for some time, we believe that formal
verification research can go beyond checking existing code and
systems, and play a role in identifying suitable abstractions for
concurrency.

The goal of the annual (EC)2 workshop is thus to bring together
researchers from the verification and program analysis 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 multicore era.


*** PROGRAM COMMITTEE ***

Brad Beckmann, AMD
Pavol Cerny, University of Colorado Boulder
Alastair Donaldson, Imperial College London (co-chair)
Michael Emmi, IMDEA Software Institute
Akash Lal, Microsoft Research
Zvonimir Rakamaric, University of Utah (co-chair)