From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 9DB73BC54 for ; Sat, 12 Sep 2009 00:08:41 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8EAJhnqkqAe0ADgWdsb2JhbACQOQGLCgEBFiSxSAYChw2ISYJACIFQBYFU X-IronPort-AV: E=Sophos;i="4.44,372,1249250400"; d="scan'208";a="35916640" Received: from mail.cs.nmsu.edu ([128.123.64.3]) by mail1-smtp-roc.national.inria.fr with ESMTP; 12 Sep 2009 00:08:40 +0200 Received: from pippo.cs.nmsu.edu (pippo [128.123.64.38]) by mail.cs.nmsu.edu (8.14.0/8.14.0) with ESMTP id n8BM8doO008330 for ; Fri, 11 Sep 2009 16:08:39 -0600 (MDT) Received: from pippo.cs.nmsu.edu (localhost [127.0.0.1]) by pippo.cs.nmsu.edu (8.14.3/8.14.3/SuSE Linux 0.8) with ESMTP id n8BM8bf3027809 for ; Fri, 11 Sep 2009 16:08:39 -0600 Received: (from jlpspi@localhost) by pippo.cs.nmsu.edu (8.14.3/8.14.3/Submit) id n8BM8bkc027808; Fri, 11 Sep 2009 16:08:37 -0600 Date: Fri, 11 Sep 2009 16:08:37 -0600 From: jlpspi Message-Id: <200909112208.n8BM8bkc027808@pippo.cs.nmsu.edu> Subject: DAMP 2010: FINAL Call for Papers To: caml-list@inria.fr X-Spam: no; 0.00; colocated:01 popl:01 model:01 generations:01 semantics:01 abstraction:01 run-time:01 parallelism:01 parallelism:01 dependencies:01 compilation:01 granularity:01 sigplan:01 sigplan:01 politecnica:01 DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January, 2010 damp10.cs.nmsu.edu SUBMISSION DEADLINE: SEPTEMBER 21, 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 Submission: Submitted papers papers should not exceed 10 pages in ACM SIGPLAN conference format. Submission is electronic via: http://www.easychair.org/conferences/?conf=damp10 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 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: Abstract submission: Sept. 21 Paper submission: Sept. 25 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 URL: http://damp10.cs.nmsu.edu