[hpc-announce] Call for papers: 4th Workshop on Determinism and Correctness in Parallel Programming

Joe Devietti devietti at cs.washington.edu
Wed Oct 24 10:45:58 CDT 2012


WODET 2013
Fourth Workshop on Determinism and Correctness in Parallel Programming
http://wodet.cs.washington.edu

Houston, Texas, 17 March 2013
Co-located with ASPLOS 2013

Call for Papers

IMPORTANT DATES

Submission:  Monday, 17 December 2012
Notification:  Tuesday, 29 January 2013
Final Version Due:  Friday, 1 March 2013

DESCRIPTION

There is a growing consensus that parallel programming can benefit from
safety
properties such as determinism and race freedom, but the debate over which
properties to provide, and how to provide them, is far from settled. Many
open
questions remain: What are the performance and programmability trade-offs
for
providing a particular safety property? Which properties strike the right
balance between eliminating or identifying bugs and restricting the
programmer?
How can we support code that needs to violate safety properties for
performance
or expressivity reasons? How can each layer of the system stack contribute
to
these goals? These questions are increasingly urgent as more and more
computing
goes parallel, from cell phones to data centers.

The Workshop on Determinism and Correctness in Parallel Programming (WoDet)
is
an across-the-stack forum to discuss the role of a wide range of correctness
properties in parallel and concurrent programming. While determinism is an
important theme, the scope of the workshop includes other correctness
properties
for parallel programs and systems. The workshop will be a full day event
with
invited talks and technical sessions for short peer-reviewed papers
discussing
ideas, positions, or preliminary research results.

SCOPE

In addition to answers to the questions above, topics of interest include:
* Language support for disciplined parallel programming
* Architecture, operating system, runtime system and compiler support for
  parallel program correctness
* Concurrency debugging techniques
* New properties of parallel programs
* Limit studies and empirical studies of the cost of safety properties
* Studies of the applicability of correctness properties in parallel
programs
  and algorithms
* Concurrency bug avoidance techniques
* Real-world experience with safe parallel programming models, systems, or
tools

SUBMISSION

Authors are invited to submit original and unpublished work that exposes a
new
problem, advocates a specific solution, or reports on actual experience.
Papers
should be submitted using the standard two-column ACM SIG proceedings or SIG
alternate template, and are limited to 6 pages (including figures, tables
and
references).

Final papers will be made available to participants electronically at the
meeting, but to facilitate resubmission to more formal venues, no archival
proceedings will be published, and papers will not be sent to the ACM
Digital
Library. Authors will be given the option of having their final paper
accessible
from the workshop website.

ORGANIZERS

Robert Bocchino, Carnegie Mellon University
Joseph Devietti, University of Pennsylvania

PROGRAM COMMITTEE

Vikram Adve, UIUC
Lars Birkedal, IT University of Copenhagen
Robert Bocchino, Carnegie Mellon University
Sebastian Burckhardt, MSR
Luis Ceze, University of Washington
Joseph Devietti, University of Pennsylvania
Steven Freund, Williams College
Ranjit Jhala, UCSD
Satish Narayanasamy, University of Michigan
Kunle Olokutun, Stanford University
Josep Torellas, UIUC
Edwin Westbrook, Rice University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.mcs.anl.gov/mailman/private/hpc-announce/attachments/20121024/e12782bc/attachment-0001.html>


More information about the hpc-announce mailing list