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 98184820A1 for ; Fri, 16 Aug 2013 20:17:55 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of publicityifl@gmail.com) identity=pra; client-ip=74.125.83.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="publicityifl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of publicityifl@gmail.com designates 74.125.83.51 as permitted sender) identity=mailfrom; client-ip=74.125.83.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="publicityifl@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-ee0-f51.google.com) identity=helo; client-ip=74.125.83.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="postmaster@mail-ee0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnMCAPprDlJKfVMzjWdsb2JhbABFFoM7wRsWDgEBAQEHCwsJEgYkgkgjARsLCQoDEjAJNREBBQECPA2HZwEDDwQImWeDAIxQgwKEIAoZJw1kh3QBBQyOb4VuA4ktimCFBI5DP4Ri X-IPAS-Result: AnMCAPprDlJKfVMzjWdsb2JhbABFFoM7wRsWDgEBAQEHCwsJEgYkgkgjARsLCQoDEjAJNREBBQECPA2HZwEDDwQImWeDAIxQgwKEIAoZJw1kh3QBBQyOb4VuA4ktimCFBI5DP4Ri X-IronPort-AV: E=Sophos;i="4.89,896,1367964000"; d="scan'208";a="24070998" Received: from mail-ee0-f51.google.com ([74.125.83.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Aug 2013 20:17:54 +0200 Received: by mail-ee0-f51.google.com with SMTP id c1so1051679eek.38 for ; Fri, 16 Aug 2013 11:17:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:to:from:subject; bh=x/KMWTtlMDGpiwwuxLrOGZUYusr4qWO3RqvST8Is0G4=; b=PXUvRIpl+1F1SdGTs8I6OenKwJrPbjA5Hww6TPbticHnQqp+fllMdz8NhZ0ANTLyRF A/V5JAKj020CjMsWYWg0xtaos3GVLkEYyI1fCjKcWXsE8mpB6rma8ayNE745SsyA5t0Y 9PSjSHBgrNIC7WIjz6NzZSroUW2jOKSVVcvEr7QYvXYPL/H58abMxkHnE7d6z4kDZmVn gBfRww2zx0+cw1xwVXZ3Fgo7Rct9xMUznCPWBKXRPbrMdbmJlPfxFKdTIgbK4nSKZ4rU JbwSofr5zMwtHGGQ4XV6lYTKy3Ix2UCNJEydoT2GYCujQRLEFDktnIjxEatgQCNbMPzU YtRw== X-Received: by 10.14.174.195 with SMTP id x43mr3980394eel.47.1376677074223; Fri, 16 Aug 2013 11:17:54 -0700 (PDT) Received: from roma.lan (ip5652f539.speed.planet.nl. [86.82.245.57]) by mx.google.com with ESMTPSA id h52sm4412053eez.3.1969.12.31.16.00.00 (version=TLSv1 cipher=RC4-SHA bits=128/128); Fri, 16 Aug 2013 11:17:53 -0700 (PDT) Message-ID: <520e6cd1.4c560f0a.60bb.5dd1@mx.google.com> Date: Fri, 16 Aug 2013 11:17:53 -0700 (PDT) To: caml-list@inria.fr From: publicityifl@gmail.com Subject: [Caml-list] Call for participation IFL 2013 CALL FOR PARTICIPATION 25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS ACM In-Cooperation / ACM SIGPLAN AUGUST 28 - 30 2013 "Landgoed Holthurnsche Hof" http://ifl2013.cs.ru.nl [program available - late registration still open] We are proud to announce that the 25th edition of the IFL series returns to its roots at the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th to 30th of August 2013. Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2013 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Invited Speaker --------------- Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of IFL 2013. The title and abstract of his talk is: "Implementation and Application of Functional Languages - A personal perspective" It is now over 30 years ago since I implemented my first functional language, and over 15 years ago since I wrote my first commercial application. In this talk I will look back to those bygone days and remind you of things that you might have forgotten or never known. The talk will be absolutely free of anything new. Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- • Thomas Arts, Quviq, Gothenburg, Sweden • Andrew Butterfield, Trinity College, Dublin, Ireland • Edwin Brady, University of St. Andrews, UK • Clemens Grelck, University of Amsterdam, Netherlands • Adam Granicz, IntelliFactory, Budapest, Hungary • Jeremy Gibbons, University of Oxford, UK • Fritz Henglein, University of Copenhagen, Denmark • Stephan Herhut, Intel Labs, Santa Clara, US • Ralf Hinze (co-chair), University of Oxford, UK • Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary • Zhenjiang Hu, University of Tokyo, Japan • Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina • Johan Jeuring, University of Utrecht, Netherlands • Rita Loogen, University of Marburg, Germany • Marco T. Morazán, Seton Hall University, New Jersey, US • Dominic Orchard, University of Cambridge, UK • Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands • Tim Sheard, Portland State University, US • Sam Tobin-Hochstadt, Northeastern University / Indiana University, US • Peter Thiemann, University of Freiburg, Germany • Simon Thompson, University of Kent, UK Venue ----- The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences. The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the woodlands surrounding Nijmegen. It can be reached quickly and easily by public transport. Program ------- Wednesday August 28 ------------------- 8:15 registration 8:50 opening 9:00 Marcos Viera First Class Syntax, Semantics, and Their Composition Doaitse Swierstra 9:25 Olivier Danvy Circularity and Lambda Abstraction Peter Thiemann Ian Zerny 9:50 break 10:20 Loic Denuziere Piglets to the rescue Ernesto Rodriguez Adam Granicz 10:45 Simon Fowler Correct and Secure Web Programming using Dependent Types Edwin Brady and Embedded Domain-Specific Languages 11:10 break 11:40 Jennifer Hackett The Under-Performing Unfold: A new approach to optimising Graham Hutton corecursive programs Mauro Jaskelioff 12:05 Laurence Edward Day Compilation á la Carte Graham Hutton 12:30 Artjoms Sinkarovs Functionally Redundant Declarations for Improved Sven-Bodo Scholz Performance Portability 12:55 lunch 14:00 Xavier Clerc OCaml-Java: Typing Java Accesses from OCaml Programs 14:25 Jonathan Protzenko The implementation of the Mezzo type-checker 14:50 break 15:20 Ralf Lämmel The 101haskell chrestomathy Thomas Schmorleiz Andrei Varanovich 15:45 Chide Groenouwe Instant playful access to serious programming for non-programmers with a visual functional programming language 16:10 break 16:40 Arjan Boeijink Supercompiling Haskell to Hardware Philip Hölzenspies Christiaan Baaij Jan Kuper 17:05 Bas van Gijzel Towards a framework for the implementation and verification Henrik Nilson of translations between argumentation models 17:30 end of talks 18:00 dinner 20:00 25th IFL reunion 23:00 Thursday August 29 ------------------ 9:00 Bas Lijnse Supporting Semi-Structured Work using Higher Order Tasks Jan Martin Jansen 9:25 Viktória Zsók A Prototype of CPS Systems 9:50 break 10:20 Majed Al Saeed A Critical Analysis of Parallel Functional Profilers Patrick Maier Phil Trinder Lilia Georgieva 10:45 Vladimir Janjic Using Erlang Skeletons to Parallelise Realistic Christopher Brown Medium-Scale Parallel Programs Kevin Hammond 11:10 break 11:40 Lennart Augustsson Invited talk: Implementation and Application of Functional Languages A personal perspective 12:40 lunch 13:45 - 23:00 Social event: excursion, symposium dinner, Peter Landin award Friday August 30 ---------------- 9:00 Malak Aljabri The Design and Implementation of GUMSMP: Hans-Wolfgang Loidl a Multilevel Parallel Haskell Implementation Phil Trinder 9:25 Henrique Ferreiro Kindergarten Cop: Laura Castro Dynamic Nursery Resizing for Increasing Parallelism in GHC Vladimir Janjic David Castro Kevin Hammond 9:50 break 10:20 Fangyong Tang User-Defined Shape Constraints in SAC Clemens Grelck 10:45 Leaf Petersen Measuring the Haskell Gap Todd Anderson Hai Liu Neal Glew 11:10 break 11:40 Marco T. Morazán Immediate Dominators in Linear Time 12:05 Merijn Verstraaten On Predicting the Impact of Resource Redistribution Sven-Bodo Scholz in Streaming Applications 12:30 IFL 2014 12:40 lunch 14:00 Melinda Tóth Reduction of regression tests for Erlang based on impact analysis István Bozó Zoltán Horváth 14:25 Macías López A DSL for Web Services Automatic Test Data Generation Henrique Ferreiro Laura M. Castro Thomas Arts 14:50 break 15:20 Kanae Tsushima A Weighted Type Error Slicer Kenichi Asai 15:45 Ben Thorner A Type Inference Debugger for ML in Education Kathryn Gray 16:10 break 16:40 Nicolas Wu Structured Sharing for Dynamic Programming 17:05 Clemens Grelck Towards Persistent and Parallel Asynchronous Adaptive Specialisation Heinz Wiesinger for Data-Parallel Array Processing in SAC 17:30 closing