[TYPES/announce] WoDet 2013: Call for Papers

Robert Bocchino rbocchin at cs.cmu.edu
Tue Oct 23 15:40:32 EDT 2012

WODET 2013
Fourth Workshop on Determinism and Correctness in Parallel Programming
Houston, Texas, 17 March 2013
Co-located with ASPLOS 2013
Call for Papers
Submission:  Monday, 17 December 2012
Notification:  Tuesday, 29 January 2013
Final Version Due:  Friday, 1 March 2013
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.
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

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.

Robert Bocchino, Carnegie Mellon University
Joseph Devietti, University of Pennsylvania
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: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20121023/92df40c4/attachment-0001.html>

More information about the Types-announce mailing list