===================================================================== 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