|
|
(EC)2 2014: 7th International Workshop on Exploiting Concurrency Efficiently and Correctly
July 17-18, 2014
Vienna, Austria
[co-located with CAV 2014]
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.
Thursday, July 17
| 8:45-10:15 |
-
Invited talk: Suresh Jagannathan (Purdue University)
Atomicity Refinement for Verified Compilation
-
Azadeh Farzan, Andreas Holzer, Niloofar Razavi and Helmut Veith
Concolic Testing of Concurrent Programs
|
| 10:15-10:45 | Coffee Break |
| 10:45-13:00 |
Joint Session with REORDER.
-
Invited talk: Viktor Vafeiadis (Max Planck Institute for Software Systems)
Reasoning about the C/C++ weak memory model
-
Invited Talk: Paul McKenney (IBM)
Reordering and Verification in the Linux Kernel
|
| 13:00-14:30 | Lunch |
| 14:30-16:00 |
-
Invited talk: Eran Yahav (Technion, Israel Institute of Technology)
Abstractions for Relaxed Memory Models
-
Felix Hargreaves, Daniel Merkle and Peter Schneider-Kamp
Group Communication Patterns for High Performance Computing in Scala
|
| 16:00-16:30 | Coffee Break |
| 16:30-17:30 |
-
Invited talk: Serdar Tasiran (Koç University)
Verifiable Concurrent Systems Programming: A Garbage Collector Case Study
|
Friday, July 18
| 9:15-10:15 |
-
Invited talk: Kapil Vaswani (Microsoft Research, India)
Does Wait-Freedom Matter?
|
| 10:15-10:45 | Coffee Break |
| 10:45-12:15 |
-
Invited talk: Erez Petrank (Technion, Israel Institute of Technology)
Wait-Freedom Made Practical
-
Ankush Desai, Pranav Garg and P. Madhusudan
A New Reduction for Event-Driven Distributed Programs
|
| 12:15-13:00 | Discussion |
| 13:00-14:30 | Lunch |
Program Committee:
Steering Committee:
(EC)2 2013
(EC)2 2012
(EC)2 2011
(EC)2 2010
(EC)2 2009
(EC)2 2008
|