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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1DE1C820A1 for ; Wed, 14 Aug 2013 15:42:29 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jb.diku@gmail.com) identity=pra; client-ip=209.85.214.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jb.diku@gmail.com"; x-sender="jb.diku@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jb.diku@gmail.com designates 209.85.214.48 as permitted sender) identity=mailfrom; client-ip=209.85.214.48; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f48.google.com) identity=helo; client-ip=209.85.214.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jb.diku@gmail.com"; x-sender="postmaster@mail-bk0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4NALiIC1LRVdYwk2dsb2JhbABBGg4jgwqtGZIYBIEkFg4BAQEBBwsLCRQEJIJIFQEFCAETCAwQAgMSDQMWFhgDAgECAQwFEQEFASMMCAEBh3kBAw8MMpsZjFGDAoQ4ChknDWSHdAEFDI8xhSwDjjGJM4YpiUQ/hANA X-IPAS-Result: Ak4NALiIC1LRVdYwk2dsb2JhbABBGg4jgwqtGZIYBIEkFg4BAQEBBwsLCRQEJIJIFQEFCAETCAwQAgMSDQMWFhgDAgECAQwFEQEFASMMCAEBh3kBAw8MMpsZjFGDAoQ4ChknDWSHdAEFDI8xhSwDjjGJM4YpiUQ/hANA X-IronPort-AV: E=Sophos;i="4.89,877,1367964000"; d="scan'208";a="29355535" Received: from mail-bk0-f48.google.com ([209.85.214.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Aug 2013 15:42:28 +0200 Received: by mail-bk0-f48.google.com with SMTP id my13so2757855bkb.7 for ; Wed, 14 Aug 2013 06:42:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:reply-to:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=XJ7AeIr1DrSTNkhBYec1jVVXNFTqSDOOMdIoqpfqynE=; b=D9T91AyoFO7E7HCGMCWbR0vItlv/uv4dNylFHOgf9l7HL0iM2Kn4gJbej8nQe65u2N SJug6zmUCkgj3uQLMuPwyhodD3br71LFFoegmiIZu5VNbxnm6skF3Qs9CLEn7k5nRuFO g6pSzjkVqm1WQxUbjNJcLurBS84AeYWx++ICQL0f+UAyY1xijZHI/8vIN5kIMz4TUS8w MFaCE3AySCvMEw8zJ6zu3lgVI2cacBfQNJgatdxMekiIueRxvxRXTaV9hwHFvaaEJ/AU odwDZDXWauYfo8ugTV0fNp8n3Z/wwsa2yz2vHhUZd5u03Dce+NhpKDh+5yQZJu+B8DgG cs1Q== X-Received: by 10.204.55.70 with SMTP id t6mr7105432bkg.7.1376487747927; Wed, 14 Aug 2013 06:42:27 -0700 (PDT) Received: from [10.61.32.28] ([130.225.98.201]) by mx.google.com with ESMTPSA id qx2sm298782bkb.16.2013.08.14.06.42.26 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 14 Aug 2013 06:42:27 -0700 (PDT) Message-ID: <520B8942.1010105@gmail.com> Date: Wed, 14 Aug 2013 15:42:26 +0200 From: Jost Berthold Reply-To: berthold@diku.dk User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130804 Thunderbird/17.0.8 MIME-Version: 1.0 To: types-announce@lists.seas.upenn.edu, first-announce@itu.dk, EAPLS@jiscmail.ac.uk, comlab@comlab.ox.ac.uk, nwpt-info@sool.ioc.ee, forum@prg.ox.ac.uk, ccp@sics.se, appsem@tcs.informatik.uni-muenchen.de, caml-list@inria.fr, prog-lang@diku.dk, hipeac-announce@hipeac.net Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: jb.diku@gmail.com Subject: [Caml-list] Call for Participation: Functional High-Performance Computing (FHPC 2013) ===================================================================== CALL FOR PARTICIPATION FHPC 2013 The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing Boston, Massachusetts September 23, 2013 http://www.hiperfit.dk/fhpc13.html Early Registration Deadline: August 22, 2013 Registration: https://regmaster3.com/2013conf/ICFP13/register.php Co-located with the International Conference on Functional Programming (ICFP 2013) ===================================================================== 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 large-scale computations arise naturally and high performance is essential. Modern highly parallel systems, such as manycore multi-processor systems, large-scale compute clusters, and graphics accelerators (GPGPUs) as well as reconfigurable hardware (FPGAs), are complex to program, and declarative languages present a nice sweet spot between expressiveness and efficiency when programming such systems, to address their inherent complexity and to reconcile execution performance with programming productivity. 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 highly transparent, maintainable, and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. Papers and Invited Talks: ========================= The accepted papers cover different topics related to FHPC: declarative parallel programming models, optimising compilation of declarative languages, libraries and bespoke runtime management which take advantage of declarative constructs for better performance and productivity. FHPC'13 features two invited talks and one panel discussion. In the morning session, Matthew Fluet from Rochester Institute of Technology will provide an overview of the Manticore project. In the late afternoon session, Manuel Chakravarty from the University of New South Wales will present his work in data-parallel computing, Data-Parallel Haskell and Accelerate. The topic of data-parallelism and GPU computing will be further deepened in a panel discussion. Schedule: ========= 9:00 RUNTIME TECHNIQUES FOR PARALLEL FUNCTIONAL PROGRAMMING o Chairs' welcome o Matthew Fluet. The Manticore Project (invited talk) o Sylvain Henry. ViperVM: a Runtime System for Parallel Functional High-Performance Computing on Heterogeneous Architectures 11:00 PARALLEL PROGRAMMING MODELS AND APPLICATION CLASSES o Frederik M. Madsen and Andrzej Filinski. Towards a Streaming Model for Nested Data Parallelism o Qi Wang, Meixian Chen, Yu Liu and Zhenjiang Hu. Towards Systematic Parallel Programming of Graph Problems via Tree Decomposition and Tree Parallelism o Josef Svenningsson, Joel Svensson and Mary Sheeran. Counting and Occurrence sort for GPUs using an Embedded Language 13:30 OPTIMIZING COMPILATION OF FUNCTIONAL PROGRAMS o Troels Henriksen and Cosmin E. Oancea. A T2 Graph-Reduction Approach To Fusion o Artjoms Sinkarovs and Sven-Bodo Scholz. Sematics-Preserving Data Layout Transformations for Improved Vectorisation 14:30 LIBRARIES AND RUNTIME TECHNIQUES FOR PARALLEL FUNCTIONAL PROGRAMMING o Lindsey Kuper and Ryan R. Newton. LVars: Lattice-based Data Structures for Deterministic Parallelism o Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo and Marcos Viera. Towards a functional run-time for dense NLA domain 16:00 FUNCTIONAL DATA PARALLELISM o Manuel Chakravarty. Data Parallelism in Haskell (invited talk) o Panel discussion: Data Parallelism and GPU Computing Workshop organisation ===================== Programme Committee: Umut Acar (co-chair), Carnegie Mellon U., PA, USA Arvind, MIT, MA, USA Jost Berthold (co-chair), U. of Copenhagen, Denmark Guy Blelloch, Carnegie Mellon U., PA, USA Hassan Chafi, Oracle Labs, CA, USA Dan Spoonhower, Google, CA, USA Sergei Gorlatch, U. Münster, Germany Clemens Grelck, U. of Amsterdam, Netherlands Vinod Grover, NVidia, USA Torsten Grust, U.Tübingen, Germany Zhenjiang Hu, National Inst. of Informatics, Tokyo, Japan Gabriele Keller, U.New South Wales, Sydney, Australia Jens Palsberg, U.California, CA, USA Leaf Peterson, Intel, USA Mike Rainey, MPI-SWS,Kaiserslautern, Germany Suresh Jaganathan, Purdue U., USA Sven-Bodo Scholz, Heriot-Watt U., Edinburgh, UK Guy Steele, Oracle Labs, Burlington, MA, USA Yaron Minsky, Jane Street Capital, NY, USA General Chairs: Clemens Grelck, University of Amsterdam, NL Fritz Henglein, University of Copenhagen, DK