<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><meta name="ProgId" content="Word.Document"><meta name="Generator" content="Microsoft Word 12"><meta name="Originator" content="Microsoft Word 12"><link rel="File-List" href="file:///C:%5CDOCUME%7E1%5Clpeterse%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_filelist.xml"><link rel="themeData" href="file:///C:%5CDOCUME%7E1%5Clpeterse%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_themedata.thmx"><link rel="colorSchemeMapping" href="file:///C:%5CDOCUME%7E1%5Clpeterse%5CLOCALS%7E1%5CTemp%5Cmsohtmlclip1%5C01%5Cclip_colorschememapping.xml"><style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;
mso-font-alt:"Calisto MT";
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:-1610611985 1107304683 0 0 159 0;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;
mso-font-alt:"Times New Roman";
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:-1610611985 1073750139 0 0 159 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin:0in;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;
text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-noshow:yes;
mso-style-priority:99;
color:purple;
mso-themecolor:followedhyperlink;
text-decoration:underline;
text-underline:single;}
.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-size:10.0pt;
mso-ansi-font-size:10.0pt;
mso-bidi-font-size:10.0pt;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;
mso-header-margin:.5in;
mso-footer-margin:.5in;
mso-paper-source:0;}
div.Section1
{page:Section1;}
--> </style>DAMP 2010: Workshop
<p class="MsoNormal">Declarative Aspects of Multicore Programming</p>
<p class="MsoNormal">Madrid, SPAIN</p>
<p class="MsoNormal">(colocated with POPL 2010)</p>
<p class="MsoNormal">January 19, 2010</p>
<p class="MsoNormal"><a href="http://damp10.cs.nmsu.edu">damp10.cs.nmsu.edu</a></p>
<p class="MsoNormal">SUBMISSION DEADLINE: SEPTEMBER 21, 2009</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">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.</p>
<p class="MsoNormal">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.</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">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.</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">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.</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Specific topics include, but are not limited to: </p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> * investigation of applications of
logic, constraint logic, and functional programing to
multicore programing</p>
<p class="MsoNormal"> * run-time issues of exploitation of parallelism using
declarative programming approaches (e.g., garbage collection,
scheduling)</p>
<p class="MsoNormal"> * architectural impact on
exploitation of parallelism from declarative languages</p>
<p class="MsoNormal"> * type systems and analysis for accurately detecting
dependencies, aliasing, side effects, and impure features</p>
<p class="MsoNormal"> * language level declarative constructs for expressing
parallelism </p>
<p class="MsoNormal">* declarative language specification for the
description of data placement and distribution</p>
<p class="MsoNormal"> * compilation and static
analysis techniques to support
exploitation of parallelism from declarative languages (e.g.,
</p>
<p class="MsoNormal"> granularity control)</p>
<p class="MsoNormal"> * practical experiences and
challenges arising from parallel declarative programming</p>
<p class="MsoNormal"> * technology for debugging parallel programs</p>
<p class="MsoNormal"> * design and
implementation of domain-specific declarative
languages for multicore programming</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Submission:</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> Submitted papers papers
should not exceed 10 pages in ACM</p>
<p class="MsoNormal"> SIGPLAN conference format. Submission is electronic
via:</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> <a href="http://www.easychair.org/conferences/?conf=damp10">http://www.easychair.org/conferences/?conf=damp10</a></p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> Accepted papers will be published in the ACM
Digital Library and in a physical proceedings. Papers
must adhere to the SIGPLAN Republication Policy:</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> <a href="http://www.sigplan.org/republicationpolicy.htm">http://www.sigplan.org/republicationpolicy.htm</a></p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> 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.</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> Additional information about the submission
process can be found at the conference web site.</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Important dates:</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> Abstract submission: Sept. 21</p>
<p class="MsoNormal"> Paper
submission: Sept. 25</p>
<p class="MsoNormal"> Notification to authors: Oct. 26 </p>
<p class="MsoNormal"> Camera
ready:
Nov. 9</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Program Chair:</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> Enrico Pontelli</p>
<p class="MsoNormal"> New Mexico State University</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">General Chairs:</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> Leaf Petersen</p>
<p class="MsoNormal"> Intel Corporation</p>
<p class="MsoNormal"> Santa Clara, CA, USA</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Program Committee: </p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> Manuel
Carro Universidad Politecnica
de Madrid</p>
<p class="MsoNormal"> Clemens
Grelck University of
Hertfordshire</p>
<p class="MsoNormal"> Haifeng
Guo
University of Nebraska at Omaha</p>
<p class="MsoNormal"> Gabriele
Keller University of New South Wales</p>
<p class="MsoNormal"> Hans-Wolfgang Loidl
Ludwig-Maximilians-Universitat Munchen</p>
<p class="MsoNormal"> Leaf Petersen
Intel Corporation</p>
<p class="MsoNormal"> John
Reppy
University of Chicago</p>
<p class="MsoNormal"> Ricardo
Rocha University of Porto</p>
<p class="MsoNormal"> Kostis
Sagonas National Technical
University of Athens</p>
<p class="MsoNormal"> Vitor Santos Costa
University of Porto</p>
<p class="MsoNormal"> Satnam
Singh Microsoft
Research</p>
<p class="MsoNormal"> Philip
Trinder Heriot-Watt University</p>
<p class="MsoNormal"> Pascal Van Hentenryck Brown University</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">URL: <a href="http://damp10.cs.nmsu.edu/">http://damp10.cs.nmsu.edu</a></p>
<p class="MsoNormal"> </p>