<div> [ Note: submission deadline extended by one week ]</div><div><br></div><div> DAMP 2011</div><div><br></div><div> Declarative Aspects of Multicore Programming</div><div>
Austin, Texas</div><div> (colocated with POPL 2011)</div><div><br></div><div> January 23, 2011</div><div><br></div><div> <a href="http://damp2011.cs.uchicago.edu">damp2011.cs.uchicago.edu</a></div>
<div><br></div><div><br></div><div>SUBMISSION DEADLINE: OCTOBER 18, 2010 (HARD)</div><div><br></div><div><br></div><div>The advent of multicore architectures has profoundly increased the</div><div>importance of research in parallel computing. Modern platforms are</div>
<div>becoming more complex and heterogenous and novel solutions are needed</div><div>to account for their peculiarities.</div><div><br></div><div>Multicore architectures will differ in significant ways from their</div>
<div>multisocket predecessors. For example, the communication to compute</div><div>bandwidth ratio is likely to be higher, which will positively impact</div><div>performance. More generally, multicore architectures introduce several</div>
<div>new dimensions of variability in both performance guarantees and</div><div>architectural contracts, such as the memory model, that may not</div><div>stabilize for several generations of product.</div><div>
<br></div><div>Programs written in functional or (constraint-)logic programming</div><div>languages, or in other highly declarative languages with a controlled</div><div>use of side effects, can greatly simplify parallel programming. Such</div>
<div>declarative programming allows for a deterministic semantics even</div><div>when the underlying implementation might be highly non-deterministic.</div><div>In addition to simplifying programming this can simplify debugging and</div>
<div>analyzing correctness.rations of product.</div><div><br></div><div>DAMP 2011 is the sixth in a series of one-day workshops seeking to</div><div>explore ideas in declarative programming language design that will</div>
<div>greatly simplify programming for multicore architectures, and more</div><div>generally for tightly coupled parallel architectures. The emphasis</div><div>will be on (constraint-)logic and functional programming, but any</div>
<div>declarative programming language ideas that aim to raise the level of</div><div>abstraction are welcome. DAMP seeks to gather together researchers in</div><div>declarative approaches to parallel programming and to foster cross</div>
<div>fertilization across different approaches.</div><div> </div><div><br></div><div>Specific topics include, but are not limited to: </div><div><br></div><div> * investigation of applications of logic, constraint logic, and</div>
<div> functional programing to multicore programing</div><div><br></div><div> * run-time issues of exploitation of parallelism using declarative</div><div> programming approaches (e.g., garbage collection, scheduling)</div>
<div><br></div><div> * architectural impact on exploitation of parallelism from</div><div> declarative languages</div><div><br></div><div> * type systems and analysis for accurately detecting dependencies,</div>
<div> aliasing, side effects, and impure features</div><div><br></div><div> * language level declarative constructs for expressing parallelism </div><div><br></div><div> * declarative language specification for the description of data</div>
<div> placement and distribution</div><div><br></div><div> * compilation and static analysis techniques to support</div><div> exploitation of parallelism from declarative languages (e.g., </div><div> granularity control)</div>
<div><br></div><div> * practical experiences and challenges arising from parallel</div><div> declarative programming</div><div><br></div><div> * technology for debugging parallel programs</div><div><br></div><div>
* design and implementation of domain-specific declarative</div><div> languages for multicore programming</div><div><br></div><div><br></div><div>Submission:</div><div><br></div><div> Submitted papers papers should be written in English and</div>
<div> should not exceed 10 pages in ACM SIGPLAN conference format.</div><div> Submission is electronic via:</div><div><br></div><div> <a href="http://www.easychair.org/conferences/?conf=damp11">http://www.easychair.org/conferences/?conf=damp11</a></div>
<div><br></div><div> Accepted papers will be published in the ACM Digital Library and</div><div> in a physical proceedings. Papers must adhere to the SIGPLAN</div><div> Republication Policy:</div><div><br></div><div>
<a href="http://www.sigplan.org/republicationpolicy.htm">http://www.sigplan.org/republicationpolicy.htm</a></div><div><br></div><div> Concurrent submissions to other conferences, workshops, journals,</div><div> or similar forums of publication are not allowed. However, DAMP</div>
<div> is intended to be a venue for discussion and exploration of</div><div> works-in-progress, and so publication of a paper at DAMP 2011</div><div> is not intended to preclude later publication as appropriate.</div>
<div><br></div><div> Additional information about the submission process can be found</div><div> at the conference web site.</div><div><br></div><div><br></div><div>Important dates:</div><div><br></div><div> Paper submission: Oct. 18 (hard!)</div>
<div><br></div><div> Notification to authors: Nov. 8 </div><div><br></div><div> Camera ready: Nov. 22</div><div><br></div><div><br></div><div>Program Chair:</div><div><br></div><div> John Reppy</div><div> University of Chicago</div>
<div><br></div><div><br></div><div>General Chair:</div><div><br></div><div> Manuel Carro</div><div> Universidad Politécnica de Madrid</div><div><br></div><div><br></div><div>Program Committee: </div><div><br></div><div>
Fred Barnes University of Kent (UK)</div><div><br></div><div> Gopal Gupta University of Texas, Dallas (USA)</div><div><br></div><div> Kerri Hammil Microsoft (USA)</div><div><br></div>
<div> Kevin Hammond University of St Andrews (UK)</div><div><br></div><div> Stephan Herhut University of Hertfordshire (UK)</div><div><br></div><div> Manuel Hermenegildo IMDEA Software Institute and UPM (Spain)</div>
<div><br></div><div> Gabriele Keller University of New South Wales (Australia)</div><div><br></div><div> John Reppy University of Chicago (USA)</div><div><br></div><div><br></div><div>URL: <a href="http://damp2011.cs.uchicago.edu/">http://damp2011.cs.uchicago.edu/</a></div>
<div> </div><div><br></div>