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 93DA2BCCC for ; Fri, 26 Oct 2007 08:52:43 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAAbBIEfAXQInh2dsb2JhbACOWgIBCAopgSc X-IronPort-AV: E=Sophos;i="4.21,330,1188770400"; d="scan'208";a="3661617" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Oct 2007 01:15:51 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9PNFjve003800 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Oct 2007 01:15:51 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAI7AIEeKZAgZn2dsb2JhbACOWgIBAQcKERiBJw X-IronPort-AV: E=Sophos;i="4.21,330,1188770400"; d="scan'208";a="3610599" Received: from relay.fi.upm.es (HELO relay2.fi.upm.es) ([138.100.8.25]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Oct 2007 01:15:50 +0200 Received: from localhost (localhost [127.0.0.1]) by relay2.fi.upm.es (Postfix) with ESMTP id 165E956521A for ; Fri, 26 Oct 2007 01:15:50 +0200 (CEST) Received: from clip.dia.fi.upm.es (www.clip.dia.fi.upm.es [138.100.11.74]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by relay2.fi.upm.es (Postfix) with ESMTP id 119E1565244 for ; Fri, 26 Oct 2007 01:14:26 +0200 (CEST) Received: from herme by clip.dia.fi.upm.es with local-rmail (Exim 4.43) id 1IlBuD-0004Qy-Dq for caml-list@inria.fr; Fri, 26 Oct 2007 01:14:25 +0200 X-Mailer: emacs 22.0.96.2 (via feedmail 11-beta-1 Q); VM 7.19 under Emacs 22.1.50.1 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 7bit Message-ID: <18209.5331.37572.105089@localhost.localdomain> Date: Fri, 26 Oct 2007 00:12:35 +0200 Reply-To: Manuel Hermenegildo From: Manuel Hermenegildo To: caml-list@inria.fr Subject: DAMP2008 Decl. Aspects of Multicore Prog, - *extended* deadline Oct31 Sender: Manuel Hermenegildo X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: herme@clip.dia.fi.upm.es X-SA-Exim-Scanned: No (on clip.dia.fi.upm.es); SAEximRunCond expanded to false X-Virus-Scanned: by amavisd-new using ClamAV at efiltro.fi.upm.es X-Miltered: at concorde with ID 472123A1.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; hermenegildo:01 decl:01 colocated:01 popl:01 parallelism:01 model:01 generations:01 semantics:01 abstraction:01 suitability:01 run-time:01 dependencies:01 parallelism:01 compiler:01 granularity:01 [ Abstracts due by October 26; Full paper deadline extended: *** October 31, Samoan time *** ] DAMP 2008: Workshop on Declarative Aspects of Multicore Programming San Francisco, CA, USA (colocated with POPL 2008) January 9, 2008 Parallelism is going mainstream. Many chip manufactures are turning to multicore processor designs rather than scalar-oriented frequency increases as a way to get performance in their desktop, enterprise, and mobile processors. This endeavor is not likely to succeed long term if mainstream applications cannot be parallelized to take advantage of tens and eventually hundreds of hardware threads. 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 even in other 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 is a one-day workshop seeking to explore ideas in programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on functional and (constraint-)logic programming, but any 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: * suitability of functional and (constraint-)logic programming languages to multicore applications; * run-time issues such as garbage collection or thread scheduling; * architectural features that may enhance the parallel performance of declarative languages; * type systems and analysis for accurately knowing or limiting dependencies, aliasing, effects, and nonpure features; * ways of specifying or hinting at parallelism; * ways of specifying or hinting at data placement which abstract away from any details of the machine; * compiler techniques, automatic parallelization, automatic granularity control; * experiences of and challenges arising from making declarative programming practical; * technology for debugging parallel programs; * design and implementation of domain-specific declarative languages for multi-core; Submission: Submitted papers papers should not exceed 15 pages in LLNCS format. Submission is electronic via: http://www.easychair.org/DAMP2008/ Important dates: Abstract submission: Oct 26 Paper submission: Oct 31, Samoan time (*extended*) Notification to authors: Nov 30 Camera ready: Dec 14 Program Chair: Manuel Hermenegildo Technical University of Madrid / IMDEA-Software -- herme@fi.upm.es University of New Mexico -- herme@unm.edu Program Committee: Koen De Bosschere (U. of Gent, Belgium) Manuel Carro (Tech. U. of Madrid, Spain) Manuel Chakravarty (U. of New S. Wales, Australia) Clemens Grelck (U. of Luebeck, Germany) Dan Grossman (U. of Washington, USA) Suresh Jagannathan (Purdue U., USA) Pedro Lopez-Garcia (Tech. U. of Madrid, Spain) Lee Naish (Melbourne University, Australia) Leaf Petersen (Intel Corporation, USA) Enrico Pontelli (New Mexico State U., USA) John Reppy (U. of Chicago, USA) Vitor Santos-Costa (U. of Porto, Portugal) General Chairs: Leaf Petersen Neal Glew Intel Corporation Santa Clara, CA, USA leaf.petersen@intel.com neal.glew@intel.com URL: http://www.cliplab.org/Conferences/DAMP08 Past DAMPs: http://glew.org/damp2006 http://www.cs.cmu.edu/~damp --