[TYPES/announce] (EC)2 2016 - Extended deadline

Pavol Cerny Pavol.Cerny at colorado.edu
Fri May 13 14:10:09 EDT 2016


*******************************************************************************
CALL FOR PAPERS
*******************************************************************************
(EC)2 2016: 9th International Workshop on Exploiting Concurrency
Efficiently and Correctly

Co-located with CAV 2016
Toronto, Canada
July 18, 2016
http://ecee.colorado.edu/pavol/ec2-2016/


*** IMPORTANT DATES ***

Submission deadline: May 20, 2016 (extended)
Notification of acceptance: May 27, 2016
Final version due: June 10, 2016
Workshop: July 18, 2016


*** 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.


*** WORKSHOP FORMAT ***

We plan to have a diverse program, including invited talks,
contributed talks, tutorials, and ample time for discussion. This
is an informal workshop with no published proceedings.
At least one author of each accepted position paper must register and
attend to present the work.

*** SUBMISSION INSTRUCTIONS ***

We seek position papers and talk abstracts within two to five
pages. Further submission instructions are on the workshop webpage.

*** PROGRAM COMMITTEE ***

Pavol Cerny, University of Colorado Boulder, co-chair

Michael Emmi, Bell Labs, Nokia

Ganesh Gopalakrishnan, University of Utah

Arjun Radhakrishna, University of Pennsylvania

Chao Wang, Virginia Tech, co-chair




More information about the Types-announce mailing list