DAMP 2010 - Extended Deadline [September 27th]

From: Enrico Pontelli <epontell_at_cs.nmsu.edu>
Date: Wed, 23 Sep 2009 08:50:31 -0600

                       DAMP 2010: Workshop on

             Declarative Aspects of Multicore Programming

                            Madrid, SPAIN

                      (colocated with POPL 2010)

                          January, 2010



                                Extended DEADLINE: SEPTEMBER 27, 2009



The advent of multicore architectures has profoundly increased the

importance of research in parallel computing. Modern platforms are

becoming more complex and heterogenous and novel solutions are needed

to account for their peculiarities.

Multicore architectures will differ in significant ways from their

multisocket predecessors. For example, the communication to compute

bandwidth ratio is likely to be higher, which will positively impact

performance. More generally, multicore architectures introduce several

new dimensions of variability in both performance guarantees and

architectural contracts, such as the memory model, that may not

stabilize for several generations of product.


Programs written in functional or (constraint-)logic programming

languages, or in other highly declarative languages with a controlled

use of side effects, can greatly simplify parallel programming. Such

declarative programming allows for a deterministic semantics even

when the underlying implementation might be highly non-deterministic.

In addition to simplifying programming this can simplify debugging and

analyzing correctness.


DAMP 2010 is the fifth in a series of one-day workshops seeking to

explore ideas in declarative programming language design that will

greatly simplify programming for multicore architectures, and more

generally for tightly coupled parallel architectures. The emphasis

will be on (constraint-)logic and functional programming, but any

declarative 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:


 * investigation of applications of logic, constraint logic, and

   functional programing to multicore programing

 * run-time issues of exploitation of parallelism using declarative

   programming approaches (e.g., garbage collection, scheduling)

 * architectural impact on exploitation of parallelism from

   declarative languages

 * type systems and analysis for accurately detecting dependencies,

   aliasing, side effects, and impure features

 * language level declarative constructs for expressing parallelism

 * declarative language specification for the description of data

   placement and distribution

 * compilation and static analysis techniques to support

   exploitation of parallelism from declarative languages (e.g.,

   granularity control)

 * practical experiences and challenges arising from parallel

   declarative programming

 * technology for debugging parallel programs

 * design and implementation of domain-specific declarative

   languages for multicore programming





  Submitted papers papers should not exceed 10 pages in ACM

  SIGPLAN conference format. Submission is electronic via:




  Accepted papers will be published in the ACM Digital Library and

  in a physical proceedings. Papers must adhere to the SIGPLAN

  Republication Policy:




  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 2010 is

  not intended to preclude later publication as appropriate.


  Additional information about the submission process can be found

  at the conference web site.


Important dates:


  Paper submission: Sept. 27

  Notification to authors: Oct. 26

  Camera ready: Nov. 9


Program Chair:


  Enrico Pontelli

  New Mexico State University


General Chairs:


  Leaf Petersen

  Intel Corporation

  Santa Clara, CA, USA


Program Committee:


   Manuel Carro Universidad Politecnica de Madrid

   Clemens Grelck University of Hertfordshire

   Haifeng Guo University of Nebraska at Omaha

   Gabriele Keller University of New South Wales

   Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen

   Leaf Petersen Intel Corporation

   John Reppy University of Chicago

   Ricardo Rocha University of Porto

   Kostis Sagonas National Technical University of Athens

   Vitor Santos Costa University of Porto

   Satnam Singh Microsoft Research

   Philip Trinder Heriot-Watt University

   Pascal Van Hentenryck Brown University





curry mailing list
Received on Mi Sep 23 2009 - 18:00:18 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:10 CEST