IFL 2017
The 29th symposium on Implementation and Application of Functional Languages
Wednesday August 30 - Friday September 1, 2017, University of Bristol, Bristol

Welcome

Welcome to the website for IFL 2017, the 29th Symposium on Implementation and Application of Functional Languages. 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 2017 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.

News

• 2017-08-28 - Draft proceedings now available here.
• 2017-08-23 - Symposium schedule has been uploaded.
• 2017-08-03 - Deadlines for submissions have been extended!
• 2017-07-19 - Edwin Brady has been confirmed as the keynote speaker.
• 2017-06-07 - The call for papers (html, txt) has been circulated.
• 2017-06-07 - Details of the program committee have been added.
• The important dates and registration details have been confirmed.
• The skeleton of the website has been updated, we will continue to update the site as more details are confirmed. Note that IFL immediately precedes ICFP which is located in Oxford this year. We are investigating arranging convenient transport from Bristol to Oxford for those interested in attending both events.

IFL 2017 Tutorials and Presentations

IFL 2017 will include a number of research presentations as well as a series of tutorial sessions. This list will be updated as presentations are accepted.

Keynote Speaker

Edwin Brady, University of St Andrews

Edwin Brady is a Lecturer in Computer Science at the University of St Andrews in Scotland, UK. His research interests there include programming language design, in particular type systems and domain specific languages. Since 2008, he has been designing and implementing the Idris programming language, a general purpose functional programming language with dependent types, which he uses to implement verified domain specific languages. When he's not doing that, he's likely to be playing a game of Go, wrestling with the crossword, or stuck on a train somewhere in Britain.

Tutorial Sessions

Systematic Generation of Optimal Code

Oleg Kiselyov

Pattern Candidate Discovery and Parallelization Techniques

Melinda Tóth, István Bozó, and Tamás Kozsik

Type Error Customization in GHC

Alejandro Serrano and Jurriaan Hage

Transforming Programs into Application Specific Processors

Arjan Boeijink, Hendrik Folmer and Jan Kuper

Extrapolate: generalizing counter-examples of functional test properties

Rudy Braquehais and Colin Runciman

Probabilistic resource analysis with dependent types

Christopher Schwaab, Edwin Brady and Kevin Hammond

Purely Functional Federated Learning in Erlang

Gregor Ulm, Emil Gustavsson and Mats Jirstrand

Modeling CPS Systems using Functional Programming

Viktoria Zsok

Handlers for Non-Monadic Computations

Ruben P. Pieters, Tom Schrijvers and Exequiel Rivas

Task Oriented Programming and the Internet of Things

Mart Lubbers, Rinus Plasmeijer and Pieter Koopman

Type Directed Workflow Modelling

Tim Steenvoorden and Rinus Plasmeijer

Speculative Strictness of Array Comprehensions

Artjoms Šinkarovs, Sven-Bodo Scholz, Robert Stewart and Hans-Nikolai Viessmann

Deriving lenses using generics

Csongor Kiss, Matthew Pickering and Toby Shaw

Wolfram for data processing and visualization

Stijn Schildermans and Kris Aerts

Biorthogonality for a Lazy language

Daniel Fridlender, Alejandro Gadea, Miguel Pagano and Leonardo Rodríguez

Measuring Energy Usage for Parallel Haskell Programs

Yasir Alguwaifli and Kevin Hammond

A Distributed Dynamic Architecture for Task Oriented Programming

Arjan Oortgiese, John van Groningen, Peter Achten and Rinus Plasmeijer

The sufficiently smart compiler is a theorem prover

Joachim Breitner

Warble: An eDSL for small, cyber physical systems

Matthew Ahrens and Kathleen Fisher

The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines

Markus Klinik, Jan Martin Jansen and Rinus Plasmeijer

Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures

Clemens Grelck and Nikolaos Sarris

Constraint Handling Rules with Scopes

Alejandro Serrano and Jurriaan Hage

Scrap Your Reprinter: A Datatype Generic Algorithm for Layout-Preserving Refactoring

Harry Clarke and Dominic Orchard

Converting Haskell to Coq

Antal Spector-Zabusky

Mapping Functional Languages to GPUs: Memory and Communication Choices

Hans-Nikolai Vießmann and Sven-Bodo Scholz

Venue

The 29th IFL is organized by the Theory and Algorithms Groups of the University of Bristol. The event will be held in Engineer's House which is situated in north Bristol within walking distance of Clifton Suspension Bridge.

Engineer's House

Getting To The Venue

A full guide for getting to the venue can be found on the Engineer's House Travel Guide. In particular, there is a shuttle bus service that is provided from the West End Car Park, which may suit those who are staying close to the centre of town.

The venue is within the city and connected by public transport. The number 8 bus directly connects the train station and the venue whilst the 9 stops a short way away.

Note that if you intend to travel a lot by bus then it is cheaper and easier to buy your tickets on a mobile device using the mtickets app.

For more precise instructions, please consult the travelwest website or Google Maps.

Getting To Bristol

Flights

The easiest way to get to Bristol from Europe is via Bristol Airport.

Bristol is directly connected to Bristol Airport by bus (A1) . The journey takes around 20 minutes to Bristol Bus Station and costs £11 for a 28 day return or £7 with the display of a valid student card.

For those travelling from outside Europe, you may arrive at Heathrow Airport. From Heathrow Airport, there are two main options, coach or train.

Coach National Express coaches leave Heathrow Airport approximately every hour to Bristol Coach Station (see the schedule on their website). The journey takes around 2 hours to Bristol Coach Station. There is a taxi rank at Bristol Coach Station.

Train From Heathrow Airport, taking the train to Bristol will require you to go via London Paddington. Getting to London Paddington can be done via the Heathrow Express.

Train

There is a direct train from London Paddington to Bristol Temple Meads, which is the central station in Bristol. The journey takes around 1 hour 45 minutes, see the schedule on the Great Western Railway site. There is a taxi rank at Bristol Temple Meads.

Local Taxis

Once at Bristol, it is easiest to get around using the local taxi services. The local hackney taxis are the only ones allowed to be painted Bristol Blue and have regulated prices. There are also many Uber taxis available.

Local Buses

There are local buses, but the routes can be complex. Google Maps tends to be accurate about timings and bus stop locations and connections.

Accommodation

Scope of the Symposium

Symposium Program

The symposium runs from Wednesday morning until Friday afternoon. Each day features a keynote tutorial, two regular tutorials, and eight regular talks. Regular talks should last no more than 25 minutes including questions. Thursday evening is reserved for the social excursion and the symposium banquet.

The Symposium Schedule can be found here:

Important Dates

Submission Details

Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM SIGCONF (sigconf) two columns conference format, which can be found at https://www.acm.org/publications/proceedings-template. Specifically, you must use the `sigconf` option of the `acmart` package, which can be included in LaTeX with the following:

\documentclass[sigconf]{acmart}
\acmConference[IFL'17]{International Symposium on Implementation and Application of Functional Languages}{August 2017}{Bristol, United Kingdom}
\acmYear{2017}
\copyrightyear{2017}

For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm.

Registration Details

We offer different fees depending on early/late registration and student status:

Registration includes participation in the symposium, lunches, coffee breaks, the excursion and the symposium banquet on Thursday.

Program Committee

Excursion and Banquet

The excursion will be at Bristol Zoo which is in close proximity to the conference venue. This is conveniently the same location as the banquet which will be held in Clifton Pavillion, inside the grounds of the Zoo. Additional banquet tickets are availible for partners for £35 and can be booked on the same site as registration.

A Gorilla at Bristol Zoo - Charles Marshall

Steering Committee

Organizing Committee

Chair:

Nicolas Wu

Various:

Helen Cooke

Matthew Pickering

Previous IFL Editions

• IFL 2016
• IFL 2015
• IFL 2014
• IFL 2013
• IFL 2012
• See more editions at DBLP

In cooperation

Sponsors