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

[PVS] (EC)^2: Call for Position Papers



                      CALL FOR POSITION PAPERS
     Exploiting Concurrency Efficiently and Correctly -- (EC)^2
                         CAV 2009 Workshop
                 June 26-27, 2009, Grenoble, France
                     http://www.cs.utah.edu/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

Invited Speakers (to date):

   * Ewing "Rusty" Lusk, Argonne National Laboratory
   * Sarita Adve, U. Illinois at Urbana-Champaign
   * Nir Shavit, Tel-Aviv University
   * Hermann Kopetz, Vienna University of Technology
   * Gerard Berry, Esterel Technologies

Format:

The two-day workshop will include six invited talks and several panel
sessions. Authors of position papers will be given an opportunity to
present their ideas either as a short presentation or as a poster.
The position papers will be compiled into a memory stick that will be
handed out to all workshop participants on the first day of the
workshop.

We seek submissions of position statements between 2 and 4 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. Submissions on all
topics relevant to the workshop title are welcome, including

   * Programming constructs for concurrency
   * Formalization of concurrency libraries
   * Verification tools
   * Hardware support for correctness
   * Introducing concurrency in education
   * Transactional memory

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

Submission deadline: April 1, 2009

Notification of acceptance: April 16, 2009

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. Email this PDF document to
ec2-org@xxxxxxxxxxxxxxxxx The position papers will be compiled into a
memory stick that will be handed out to all workshop participants on
the first day of the workshop. The papers will not be published.

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

For more information: Visit http://www.cs.utah.edu/ec2/ or email
ec2-org@xxxxxxxxxxxxxxxxx

Organizers:

   * Rajeev Alur, University of Pennsylvania
   * Ganesh Gopalakrishnan, University of Utah
   * Vineet Kahlon, NEC Labs
   * Madhusudan Parthasarathy, U. Illinois at Urbana-Champaign
   * Stephen Siegel, University of Delaware
   * Helmut Veith, TU Darmstadt