[Haskell] DAMP 2009 CFP reminder & revised full paper deadline

Manuel M T Chakravarty chak at cse.unsw.edu.au
Tue Oct 7 06:43:41 EDT 2008

[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



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).


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


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:


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:


More information about the Haskell mailing list