IFL 2020
The 32nd Symposium on Implementation and Application of Functional Languages
Wednesday 2nd September - Friday 4th September 2020
venue: online

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 2020 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.

Programme

All times are in British Summer Time (BST), the local time in Canterbury, UK. So please translate these into your own time zone, using a service such as time and date.

For the talks & discussions and also the social meetings we use Zoom. Although Zoom can work in a modern web browser, you best download the software and familiarise yourself with its features beforehand.

Day 1: Wednesday, 2 September

12:45 Welcome
13:00 - 15:00: Workflow Systems: Jurrien Stutterheim
13:00 Nico Naus and Johan Jeuring: End-user feedback in multi-user workflow systems (2)
13:30 Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer: Asynchronous Shared Data Sources (16)
14:00 Pieter Koopman, Steffen Michels and Rinus Plasmeijer: Dynamic Editors for Well-Typed Expressions (18)
14:30 Hans-Nikolai Vießmann and Sven-Bodo Scholz: Effective Host-GPU Memory Mangement Through Code Generation (24)
15:00 Social break
15:30 - 17:00: Types I: Marcos Viera
15:30 Sven-Olof Nyström: A subtyping system for Erlang (4)
16:00 Andrew Marmaduke, Christopher Jenkins and Aaron Stump: Generic Zero-Cost Constructor Subtyping (11*)
16:30 Joris Burgers, Jurriaan Hage and Alejandro Serrano: Heuristics-based Type Error Diagnosis for Haskell - The case of GADTs and local reasoning (3)
17:00 Social break
17:30 - 19:00: Compilation I: Neil Mitchell
17:30 Kavon Farvardin and John Reppy: A New Backend for Standard ML of New Jersey (7*)
18:00 Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni and Ryan R. Newton: A Compiler Approach Reconciling Parallelism and Dense Representations for Irregular Trees (26)
18:30 Bas Lijnse and Rinus Plasmeijer: Asymmetric Composable Web Editors in iTasks (20)
20:00 Virtual Pub

Day 2: Thursday, 3 September

10:00 Virtual Breakfast
13:00 - 14:30: Testing: Colin Runciman
13:00 Michal Gajda: Less Arbitrary waiting time (28)
13:30 Sólrún Halla Einarsdóttir and Nicholas Smallbone: Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing (8)
14:00 Péter Bereczky, Dániel Horpácsi, Judit Kőszegi, Soma Szeier and Simon Thompson: Validating Formal Semantics by Comparative Testing (14*)
14:30 Social break
15:00 - 16:30: Applications I: Marco T. Morazán
15:00 Gergo Erdi: An Adventure in Symbolic Execution (12*)
15:30 Evan Sitt, Xiaotian Su, Beka Grdzelishvili, Zurab Tsinadze, Zongpu Xie, Hossameldin Abdin, Giorgi Botkoveli, Nikola Cenikj, Tringa Sylaj and Viktoria Zsok: Functional Programming Application for Digital Synthesis Implementation (19)
16:00 Filipe Varjão: Functional Programming and Interval Arithmetic with High Accuracy (1*)
16:30 Social break
17:00 - 18:30: Compilation II: Hans-Wolfgang Loidl
17:00 Laith Sakka, Chaitanya Koparkar, Michael Vollmer, Vidush Singhal, Sam Tobin-Hochstadt, Ryan R. Newton and Milind Kulkarni: General Deforestation Using Fusion, Tupling and Intensive Redundancy Analysis (25*)
17:30 Benjamin Mourad and Matteo Cimini: A Declarative Gradualizer with Lang-n-Change (5)
18:00 Maheen Riaz Contractor and Matthew Fluet: Type- and Control-Flow Directed Defunctionalization (10*)
19:30 Virtual Pub

Day 3: Friday, 4 September

10:00 Virtual Breakfast
13:00 - 14:30: Types II: Peter Thiemann
13:00 Michal Gajda: Towards a more perfect union type (27)
13:30 Folkert de Vries, Sjaak Smetsers and Sven-Bodo Scholz: Container Unification for Uniqueness Types (17)
14:00 Alejandro Díaz-Caro, Pablo E. Martínez López and Cristian Sottile: Polymorphic System I (22*)
14:30 Social break
15:00 - 16:30: Theory: Rinus Plasmeijer
15:00 Michal Gajda: Schema-driven mutation of datatype with multiple representations (29)
15:30 Alexandre Garcia de Oliveira, Mauro Jaskelioff and Ana Cristina Vieira de Melo: On Structuring Pure Functional Programs with Monoidal Profunctors (21*)
16:00 Sara Moreira, Pedro Vasconcelos and Mário Florido: Resource Analysis for Lazy Evaluation with Polynomial Potential (15*)
16:30 Social break
17:00 - 18:30: Applications II: Dániel Horpácsi
17:00 Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Matthew Pickering and Alan Zimmerman: Building an Integrated Development Environment (IDE) on top of a Build System (13)
17:30 Joshua M. Schappel, Sachin Mahashabde and Marco T. Morazán: Using OO Design Patterns in a Functional Programming Setting (6*)
18:00 Jocelyn Serot: HoCL: High level specification of dataflow graphs (23)
18:30 Closing
19:30 Virtual Pub

Download Draft Proceedings

Post-symposium peer-review

Following IFL tradition, IFL 2020 will use a post-symposium review process to produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium.

After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected for the formal proceedings. We plan to publish these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years.

Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing.

Topics of interest

Topics of interest to IFL include, but are not limited to:

language concepts
type systems, type checking, type inferencing
compilation techniques
staged compilation
run-time function specialization
run-time code generation
partial evaluation
(abstract) interpretation
metaprogramming
generic programming
automatic program generation
array processing
concurrent/parallel programming
concurrent/parallel program execution
embedded systems
web applications
(embedded) domain specific languages
security
novel memory management techniques
run-time profiling performance measurements
debugging and tracing
virtual/abstract machine architectures
validation, verification of functional programs
tools and programming techniques
(industrial) applications

Peter Landin prize

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored 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.

The winners of the IFL 2020 Peter Landin Prize are Kavon Farvardin and John Reppy with their paper A New Backend for Standard ML of New Jersey.

Important dates

~~Mon 17 August 2020~~	~~Submission deadline of draft papers~~
~~Wed 19 August 2020~~	~~Notification of acceptance for presentation~~
~~Tue 1 September 2020, noon~~	~~Registration deadline~~
~~Wed 2 September 2020 - Fri 4 September 2020~~	~~IFL Symposium~~
~~Mon 11 January 2021~~	~~Submission deadline for proceedings~~
~~Wed 17 March 2021~~	~~Notification of acceptance for proceedings~~
~~Mon 26 April 2021~~	~~Camera-ready version for proceedings~~

Submission details

Prospective authors are encouraged to submit full or draft papers or extended abstracts to present them at the symposium. All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at:

http://www.acm.org/publications/proceedings-template

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

Authors submit through EasyChair.

Registration

Because of the Covid-19 pandemic, this year IFL 2020 is an online event, consisting of paper presentations, discussions and virtual social gatherings. Registration was via the Eventbrite system.