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

[Azadeh Farzan]

We apologize if you receive multiple copies of this announcement.

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

                      CALL FOR POSITION PAPERS
     Exploiting Concurrency Efficiently and Correctly -- (EC)^2
                         CAV 2011 Workshop
                  July 14-15, 2011, Snowbird, Utah
                http://www.cse.psu.edu/~swarat/ec2/


Invited Speakers:

   * Tom Ball, Microsoft Research,
http://research.microsoft.com/en-us/people/tball/
   * Guy Blelloch, Carnegie Mellon University, http://www.cs.cmu.edu/~guyb/
   * Johannes Gehrke, Cornell University, http://www.cs.cornell.edu/johannes/
   * Murali Talupur, Intel, http://www.cs.cmu.edu/~tmurali/
   * Richard Vuduc, Georgia Tech, http://www.hpcgarage.org/

Description:

The multicore revolution has created both a verification and a
programming crisis.  This has led to 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 two-day workshop will include five invited talks, presentations of
position papers, and discussion periods.  The position papers will be
distributed before-hand on the CAV memory stick.

We seek submissions of position statements between 2 and 5 pages.
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.

Important Dates:

   Apr 29 (Fri): position paper submission deadline
   May 13 (Fri): notification
   May 19 (Thu): final version due

Submission instructions: Prepare a 2--5 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.  Submit this paper at

https://www.easychair.org/conferences/?conf=ec22011

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

For more information, contact the organizers at ec2-org at googlegroups.com.

Organizers:

Sebastian Burckhardt (Microsoft Research)
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)