posted by user: mcarro || 4008 views || tracked by 9 users: [display]

DAMP 2011 : Declarative Aspects of Multicore Programming

FacebookTwitterLinkedInGoogle

Link: http://damp2011.cs.uchicago.edu/
 
When Jan 23, 2011 - Jan 23, 2011
Where Austin, Texas
Submission Deadline Oct 11, 2010
Notification Due Nov 8, 2010
Final Version Due Nov 22, 2010
Categories    parallelism   concurrency   declarative programming
 

Call For Papers

[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/

Related Resources

PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
PPDP 2020   International Symposium on Principles and Practice of Declarative Programming
WiL 2020   4th Women in Logic Workshop - WiL 2020
IEEE 14th MCSoC 2021   14th IEEE International Symposium on Embedded Multicore/Manycore (MCSoC 2021)
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
ICLP 2020   The 36th International Conference on Logic Programming
ESOP 2021   30th European Symposium on Programming
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
CogSIMA 2020   2020 IEEE Conference on Cognitive and Computational Aspects of Situation Management