CFP: DAMP 2011

[Manuel Carro]

[We apologize in advance for the reception of multiple copies]


                            DAMP 2011

             Declarative Aspects of Multicore Programming
                          Austin, Texas
                     (colocated with POPL 2011)

                         January 23, 2011

                      damp2011.cs.uchicago.edu


SUBMISSION DEADLINE: OCTOBER 11, 2010


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.rations of product.

DAMP 2011 is the  sixth 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


Submission:

  Submitted  papers  papers  should be written in English and
  should  not  exceed  10  pages  in ACM SIGPLAN conference format.
  Submission is electronic via:

    http://www.easychair.org/conferences/?conf=damp11

  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  2011
  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:        Oct. 11

  Notification to authors: Nov. 8 

  Camera ready:            Nov. 22


Program Chair:

  John Reppy
  University of Chicago


General Chair:

  Manuel Carro
  Universidad Politécnica de Madrid


Program Committee: 

   Fred Barnes            University of Kent (UK)

   Gopal Gupta            University of Texas, Dallas (USA)

   Kerri Hammil           Microsoft (USA)

   Kevin Hammond          University of St Andrews (UK)

   Stephan Herhut         University of Hertfordshire (UK)

   Manuel Hermenegildo    IMDEA Software Institute and UPM (Spain)

   Gabriele Keller        University of New South Wales (Australia)

   John Reppy             University of Chicago (USA)


URL:  http://damp2011.cs.uchicago.edu/