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

[PVS] Exploiting Concurrency Efficiently and Correctly: (EC)^2 ---Last Call for Papers



We apologize if you receive multiple copies of this announcement. Please
note the extended deadline, and please spread the word to your colleagues
who might be interested.

-----------------------------------------------------------------------------------------------------

                   CALL FOR POSITION PAPERS

Exploiting Concurrency Efficiently and Correctly -- (EC)^2
                   CAV 2010 Workshop
            July 20-21, 2010, Edinburgh, UK
         http://www.cse.psu.edu/~swarat/ec2/

-----------------------------------------------------------------------------------------------------

Description:

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.

Format:

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
many-cores)
* 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
exploitation
* 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 31 (extended!)

Notification of acceptance: April 14 (extended!)

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
http://www.easychair.org/conferences/?conf=ec22010
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
ec2-org@googlegroups.com.

Organizers:

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