From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C75577F726 for ; Sun, 4 May 2014 14:36:06 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jb.diku@gmail.com) identity=pra; client-ip=209.85.215.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jb.diku@gmail.com"; x-sender="jb.diku@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jb.diku@gmail.com designates 209.85.215.42 as permitted sender) identity=mailfrom; client-ip=209.85.215.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jb.diku@gmail.com"; x-sender="jb.diku@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f42.google.com) identity=helo; client-ip=209.85.215.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jb.diku@gmail.com"; x-sender="postmaster@mail-la0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArgBAPQzZlPRVdcqlGdsb2JhbABDFg6DR4M/p2UJAQaGNZMEgWAWDgEBAQEHCwsJEiqCSQYVCAEbDBACAxIQDwIFCgwLAgsDAgECARERAQUBIwwIAQEFC4gYAQMRBAEImXqMEVGDDZkBChknDWSFYBEBBQyBHoQsg1uEN4NlgUsBA4RaApRYhmSGNoNpQYQkQms X-IPAS-Result: ArgBAPQzZlPRVdcqlGdsb2JhbABDFg6DR4M/p2UJAQaGNZMEgWAWDgEBAQEHCwsJEiqCSQYVCAEbDBACAxIQDwIFCgwLAgsDAgECARERAQUBIwwIAQEFC4gYAQMRBAEImXqMEVGDDZkBChknDWSFYBEBBQyBHoQsg1uEN4NlgUsBA4RaApRYhmSGNoNpQYQkQms X-IronPort-AV: E=Sophos;i="4.97,982,1389740400"; d="scan'208";a="60485969" Received: from mail-la0-f42.google.com ([209.85.215.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 May 2014 14:36:05 +0200 Received: by mail-la0-f42.google.com with SMTP id pn19so567900lab.15 for ; Sun, 04 May 2014 05:36:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=/H95pRlVhtFDWrkAeHShYHEMCCLzBiYAbacCAClWtGo=; b=QpK+O1pmFPIXnrfBHhr70QhHW3rnpJG7CPStPYqQ+r9++9j+PXc9rkrk/LFByj9sA0 nMAaQvZkiMGbHd6SrdyIA2IZuqHmP0GPdMVs+cjqrkqSRozLjSFiS4zwPIwMiCEl8W10 MAdA23HiVfPShfiEgezDpEHwFy2CGK3hSZipG4tUNbaq7K81EGaeB1vBelnsTwl4Py/1 v6wabAHL+Y+Os3Qqo/Kp5lotwh7aKjN41bulgOBVfv5azn2dQt9CRCauSiE1xa8iKSmF l4p/YscW2mdd/TiQOw7J6b7aC2SW8fvKRlhp0oECXkiCYSM1CBrfHtscUtgHhR6jjv30 ZeXQ== X-Received: by 10.112.160.168 with SMTP id xl8mr21284468lbb.3.1399206965023; Sun, 04 May 2014 05:36:05 -0700 (PDT) Received: from [192.168.0.14] (c83-254-197-140.bredband.comhem.se. [83.254.197.140]) by mx.google.com with ESMTPSA id wm1sm5013345lac.14.2014.05.04.05.36.02 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 04 May 2014 05:36:03 -0700 (PDT) Message-ID: <5366342D.6030204@gmail.com> Date: Sun, 04 May 2014 14:35:57 +0200 From: Jost Berthold User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: types-announce@lists.seas.upenn.edu, caml-list@inria.fr, hipeac-announce@hipeac.net, prog-lang@diku.dk, scala-announce@googlegroups.com Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: jb.diku@gmail.com Subject: [Caml-list] 3rd CFP: Functional High-Performance Computing 2014 (FHPC'14) ===================================================================== CALL FOR PAPERS FHPC 2014 The 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing Gothenburg, Sweden September 4, 2014 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2014) Submission Deadline: Thursday, 15 May, 2014 (anywhere on earth) ===================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. Every year, the FHPC workshop has an application area as a theme. Papers touching on this topic are especially encouraged, though all in-scope papers are welcomed. For FHPC 2014, the theme is "Heterogeneous computing". In the systems and parallelism communities, there has been a lot of work on programming systems with CPUs and GPUs (or other mixed parallel architectures), but in the programming languages community this idea has not received as much attention. At their best, high-level languages can have the degrees of flexibility necessary to abstract over platform differences. Proceedings: ============ Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Thursday, 15 May, 2014 (anywhere on earth) * Author notification: Sunday, 15 June, 2014 * Final copy due: Sunday, 22 June, 2014 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Typical papers are expected to be 8 pages (but up to four additional pages are permitted). Contributions to FHPC 2014 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc14 The submission site is now open. The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Programme Committee: ==================== Mary Sheeran (co-chair), Chalmers University of Technology, SE Ryan Newton (co-chair), Indiana University, USA Lennart Augustsson, Standard Chartered Bank, UK Jost Berthold, University of Copenhagen, Denmark Guy Blelloch, Carnegie Mellon University, USA Marius Eriksen, Twitter, USA Clemens Grelck, University of Amsterdam, Netherlands Vinod Grover, Nvidia, USA Kevin Hammond, University of St. Andrews, UK Ben Lippmeier, University of New South Wales, Australia Hai (Paul) Liu, Intel, USA Rita Loogen, University of Marburg, Germany Greg Michaelson, Heriot-Watt University, UK Marc Pouzet, ENS Paris, France John Reppy, Univesity of Chicago, USA Tiark Rompf, Oracle Labs and EPFL, Switzerland Satnam Singh, Google, USA Dimitrios Vytiniotis, Microsoft Research, UK General Chair: ============== Jost Berthold University of Copenhagen, Denmark