[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP: Exploiting Concurrency Efficiently and Correctly --(EC)^2

We apologize if you receive multiple copies of this announcement ...

                   CALL FOR POSITION PAPERS

Exploiting Concurrency Efficiently and Correctly -- (EC)^2
                   CAV 2010 Workshop
            July 20-21, 2010, Edinburgh, UK


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)^2 was held at Princeton with over 80
attendees, as detailed at http://www.cs.utah.edu/ec2/2008. The 2009
edition of (EC)^2 was the highest attended CAV 2009 workshop.

Invited Speakers for 2010:

- Bill Gropp, University of Illinois, Urbana-Champaign.
- Tim Harris, Microsoft Research, Cambridge.
- Miriam Leeser, Northeastern University.
- Keshav Pingali, University of Texas, Austin.


The two-day workshop is planned to include invited talks and panel sessions.
We seek submissions of position statements of 4 pages in the standard
format (11pt llncs). 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. Submissions on all
topics relevant to the workshop title are welcome, including

* Multi-core hardware and software design, correctness issues, and
correctness approaches
* Novel architectures (GPUs, GPGPUs, Cloud,  FPGA, heterogeneous multi-and
* Memory and I/O subsystems, memory models, transactional memories and
hybrid methods
* Specification methods, formal logics, and concurrency paradigms / calculii
* Programming languages and paradigms that facilitate concurrency
* Performance and energy issues related to concurrency
* Novel approaches for teaching concurrency

Of particular interest are position statements from those engaged in
significant case studies.

Submission deadline: March 24 (Wed)

Notification of acceptance: April 7 (Wed)

Submission instructions: Prepare a 2-4 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 via the EasyChair URL
Those who do not have an Easy chair account will need to create one
by visiting the URL http://www.easychair.org/

There will be no formal workshop proceedings - therefore, the work will be
considered "unpublished".

At least one author of each position paper is expected to register and
attend to present the work.

For more information: Visit http://www.cse.psu.edu/~swarat/ec2/ or email


Rajeev Alur                          University of Pennsylvania
Swarat Chaudhuri                    Pennsylvania State University
Azadeh Farzan                        University of Toronto
Ganesh Gopalakrishnan                University of Utah
Stephen Siegel                       University of Delaware
Helmut Veith                         Vienna University of Technology