WODET 2014 - 5th Workshop on Determinism and Correctness for Parallel Programs (WODET 2014)

Simplifying parallel programming and making parallel programs execute correctly are important goals. Support for programmability, correctness and reliability, such as support for determinism and failure tolerance, has moved us toward these goals. We have seen tremendous progress, but deciding what support to provide for which properties remains an active research area with many open questions: What are the performance and programmability trade-offs for providing a particular property? What is the right balance between support for finding or fixing bugs and preventing them with more restrictive programming models? How should we handle programs that violate safety properties for performance or expressivity? How can we accommodate heterogeneous parallel computers? What is the role of each layer of the system stack? These questions are increasingly urgent as more computing goes parallel, from sensors to data centers.
The Workshop on Determinism and Correctness in Parallel Programming (WoDet) is an inclusive, 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.
Topics
In addition to answers to the questions above, topics of interest include:
Language extensions for disciplined parallelism, e.g., determinism, structured parallelism
Architecture, OS, runtime, and compiler support for parallel program correctness
Concurrent program 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
Techniques for avoiding/tolerating failures due to concurrency bugs
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.
Organization
Brandon Lucia, Microsoft Research
Joe Devietti, University of Pennsylvania
Program Committee
Eddie Aftandilian, Google
Joe Devietti, University of Pennsylvania
Jakob Eriksson, University of Illinois at Chicago
Shan Lu, University of Wisconsin-Madison
Brandon Lucia, Microsoft Research
Santosh Nagarakatte, Rutgers University
Mark Oskin, University of Washington
Michael Scott, University of Rochester
Serdar Taşiran, Koç University
Martin Vechev, ETH Zürich
Eran Yahav, Technion