INVITED SPEAKERS:
CHALLENGE PROBLEMS:
A growing list of
CHALLENGE PROBLEMS
are being organized, and will be discussed during the workshop.
For questions, please contact ec2-org
at googlegroups.com.
PRELIMINARY PROGRAM:
-
Day 1, Friday, June 26
-
-
8:30 - 9:30: Invited Talk, Nir Shavit,
On the Nature of Progress
- 9:30 - 10:00: Beyond Simple Transactions and Atomic Blocks,
Victor Luchangco
- 10:00 - 10:30: Break
- 10:30 - 11:00: Generalizing the Correctness of Transactional Memory,
Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, and Vasu Singh
- 11:00 - 11:30: Specifying Relaxed Memory Models for State Exploration Tools,
Sela Mador-Haim, Rajeev Alur, and Milo M.K. Martin
- 11:30 - 12:00: Relaxed memory models must be rigorous,
Francesco Zappa Nardelli, Peter Sewell, Jaroslav Sevcik,
Susmit Sarkar, Scott Owens, Luc Maranget, Mark Batty, and Jade Alglave
- 12:00 - 12:30: Assemblies of Objects ,
Swarat Chaudhuri, Roberto Lublinerman, and Pavol Cerny
- 12:30 - 2:00: Lunch
- 2:00 - 3:00: Invited Talk, Ewing (Rusty) Lusk,
Slouching Towards Exascale: Programming Models for High-Performance Computing
- 3:00 - 3:30: Concurrency Concerns in Rich Internet Applications ,
James Ide, Rastislav Bodik, and Doug Kimelman
- 3:30 - 4:00: Break
- 4:00 - 5:00: Challenge Problems
- 5:00 - 6:00: Panel
- Day 2, Saturday, June 27
-
-
8:30 - 9:30: Invited Talk, Hermann Kopetz
Time Triggered Architecture
- 9:30 - 10:00: On some Potential Research Contributions to the Multi-Core Enterprise,
Oded Maler
- 10:00 - 10:30: Break
- 10:30 - 11:00: Correct and Efficient Implementations of
Synchronous Models on Asynchronous Execution Platforms,
Stavros Tripakis, Albert Benveniste, Paul Caspi,
Claudio Pinello, Alberto Sangiovanni-Vincentelli, and Christos Sofronis
- 11:00 - 11:30: For an Efficient Execution of Data Intensive SoCs,
Abdoulaye Gamatie
- 11:30 - 12:00: Verifying Optimistic Algorithms Should be Easy,
Noam Rinetzky, Martin T. Vechev, Eran Yahav, and Greta Yorsh
- 12:00 - 12:30: Parallelize the Runtime Checks -- Not the Application,
Martin Süsskraut, Stefan Weigert, Martin Nowack, Diogo Becker de Brun, and Christof Fetzer
- 12:30 - 2:00: Lunch
- 2:00 - 3:00: Invited Talk, Gerard Berry
The Three Forms of Concurrency
- 3:00 - 3:30: Model-checking Distributed Applications with GRAS,
Cristian Rosa, Martin Quinson, and Stephan Merz
- 3:30 - 4:00: Break
- 4:00 - 4:30: Design and Specification of Concurrent System Components,
Prakash Chandrasekaran
- 4:30 - 5:00: Building Dynamic Verifiers for Real Concurrency APIs
and Novel GUIs to Visualize Concurrency Nuances,
Ganesh Gopalakrishnan
- 5:00 - 6:00: Open Mike
At least one author of each position paper is expected to register and
attend to present the same.
Description of EC2:
Our ability to effectively harness the computational power of the next
generation of multiprocessor and multicore architectures is predicated
upon advances in programming languages and tools for developing
concurrent software. This has resulted in 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 (e.g., MPI,
OpenMP); and new forms of hardware support for parallel processing.
While developing tools for verifying and debugging concurrent systems
has been an important theme at CAV, we believe that formal methods
research can go beyond checking existing code/systems, and play a role
in identifying the "right" abstractions for concurrency. The goal of
this workshop is to bring together CAV researchers with experts who
are involved in developing multicore architectures, programming
languages, and concurrency libraries.
The 2008 edition of (EC)2was held at Princeton with over 80 attendees, as detailed at
here.
Related Events:
Organizers:
This document was translated from LATEX by
HEVEA.