[MLton-user] DAMP 2009: Final Call For Papers

[Petersen, Leaf]

[Note the revised full paper submission date.]

                          CALL FOR PAPERS

                        DAMP 2009: Workshop on
             Declarative Aspects of Multicore Programming
                        Savannah, GA, USA
                     (co-located with POPL 2009)
                          January 20, 2009

               ABSTRACT SUBMISSION DEADLINE: OCTOBER 10

                http://www.cse.unsw.edu.au/~pls/damp09/

Important Dates:

     Deadline for abstract submission: October 10, 2008
   Deadline for full paper submission: October 14, 2008
           Notification of acceptance: November 10, 2008
                     Final papers due: November 17, 2008
                            DAMP 2009: January 20, 2009


DAMP 2009 is the fourth in a series of one-day workshops seeking to
explore ideas in programming language design that will greatly
simplify programming for multicore architectures, and more generally
for tightly coupled parallel architectures. DAMP 2009 is co-located
with the ACM SIGPLAN - SIGACT Symposium on Principles of Programming
Languages (POPL 2009).

                            Scope

The emphasis will be on functional and (constraint-)logic programming,
but any programming language ideas that aim to raise the level of
abstraction are welcome. DAMP seeks to gather together researchers in
declarative approaches to parallel programming and to foster cross
fertilization across different approaches.

Specific topics include, but are not limited to:

* suitability   of  functional   and   (constraint-)logic  programming
  languages to multicore applications;
* run-time issues such as garbage collection or thread scheduling;
* architectural features that may  enhance the parallel performance of
  declarative languages;
* type  systems  and  analysis  for  accurately  knowing  or  limiting
  dependencies, aliasing, effects, and nonpure features;
* ways of specifying or hinting at parallelism;
* ways of specifying or hinting  at data placement which abstract away
  from any details of the machine;
* compiler    techniques,    automatic   parallelization,    automatic
  granularity control;
* experiences  of  and  challenges  arising  from  making  declarative
  programming practical;
* technology for debugging parallel programs;
* design and  implementation of domain-specific  declarative languages
  for multi-core;

Accepted papers will be published in the ACM Digital Library and in a
physical proceedings.  Papers must adhere to the SIGPLAN Republication
Policy:

       http://www.sigplan.org/republicationpolicy.htm

Concurrent submissions to other conferences, workshops, journals, or
similar forums of publication are not allowed. However, DAMP is
intended to be a venue for discussion and exploration of
works-in-progress, and so publication of a paper at DAMP 2009 is not
intended to preclude later publication as appropriate.

Submission Details:

Authors should submit an abstract of at most 300 words and a full
paper of no more than 10 pages (including bibliography and appendices)
in the ACM SIGPLAN conference format. Further details are on the
workshop web page:

       http://www.cse.unsw.edu.au/~pls/damp09/submission.html

Program Chair:
  Manuel Chakravarty   University of New South Wales

Program Committee:
  Guy Blelloch         Carnegie Mellon University
  Manuel Carro         Universidad Politécnica de Madrid
  Koen Claessen        Chalmers University of Technology
  Matthew Fluet        Toyota Technological Institute at Chicago
  Vivek Sarkar         Rice University
  Sven-Bodo Scholz     University of Hertfordshire
  Satnam Singh         Microsoft Research, Cambridge
  Martin Sulzmann      IT University of Copenhagen
  Don Syme             Microsoft Research, Cambridge
  Phil Trinder         Heriot-Watt University

General Chair:
  Leaf Petersen        Intel Corporation

Past DAMPs:

  http://www.cliplab.org/Conferences/DAMP08
  http://glew.org/damp2006
  http://www.cs.cmu.edu/~damp