30 October 2018

DIKU researchers were honoured at the ICFP 2018 conference on functional programming

ICFP 2018; functional programming

The largest international research conference on functional programming ICFP 2018 brought both appreciative mentioning of UCPH CS researchers and a Distinguished Paper award to professor Fritz Henglein.

Functional programming, i.e. domain independent programming languages, is one of the research disciplines that has contributed to the high ranking worldwide of the Department of Computer Science at University of Copenhagen (DIKU).

Associate Professor Martin Elsman, DIKU, presents the functional programming language Futhark at the ICFP 2018 conference
Associate Professor Martin Elsman, DIKU, presents the functional programming language Futhark at the ICFP 2018 conference. Click on the image to view the presentation on video (YouTube).

A large delegation of DIKU functional programming researchers participated in the ICFP 2018 conference, the leading international conference for functional programming, partly to present two accepted articles on the main ICFP Conference and partly to participate in a number of related workshops/sessions, also presenting functional programming results.

Appreciative references to DIKU researchers

The DIKU researchers presented two full papers at the rather exclusive conference, admitting only 40 articles, so the share of 5% was rather significant.

James Koppel of MIT presents slide with references to Filinski 1994

As a huge acknowledgement, the DIKU researchers' work was recognized by prominent researchers from other universities. For example, James Koppel (MIT) during his presentation of the article "Capturing the Future by Replaying the Past" repeatedly cited research papers by DIKU's associate professor Andrzej Filinski.

Distinguished Paper Award for professor Fritz Henglein, DIKU

Fritz Henglein, professor, DIKU

The article Relational Algebra by Way of Adjunctions by Jeremy Gibbons, Department of Computer Science, University of Oxford, Fritz Henglein, Department of Computer Science, University of Copenhagen (DIKU), and Ralf Hinze, Radboud University Nijmegen og  Nicolas Wu, University of Bristol, UK, resulted in a "Distinguished Paper" award of the conference to each of the authors.

Download articles:

The article Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large was presented by associate professor Martin Elsman. It describes the design and implementation of a higher-order module language for the programming language Futhark developed at DIKU and aimed at generating ultrafast code to run on  graphics cards (see http://futhark-lang.org). The authors are Martin Elsman, University of Copenhagen, Denmark, Troels Henriksen, University of Copenhagen, Denmark, Danil Annenkov, Department of Computer Science, University of Copenhagen and Cosmin Oancea, University of Copenhagen, Denmark.

In addition to the above articles, DIKU researchers also presented articles at ICFP-related workshops:

ML Family Workshop 2018 (28/9-2018):  Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules by Martin Elsman University of Copenhagen, Denmark, Philip Munksgaard Intelligent Alpha AG, Switzerland and Ken Friis Larsen DIKU, University of Copenhagen. The article referred to the use of the Standard Ml modular system for ensuring type-safe communication between the client code and server code in a multi-tier context.

FHPC 2018 (Functional High-Performance Computing; 29/9)Modular Acceleration: Tricky Cases of Functional High-Performance Computing by Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark and Cosmin Oancea University of Copenhagen, Denmark.

ICFP was this time held in association with the business conference StrangeLoop, a local business conference concerning emerging languages, databases, concurrency, distributed systems, security, and the web. This conference was attended by thousands of enthusiastic developers who based on modern programming languages such as Haskell, OCaml, Scala and F #, have adopted the functional programming paradigm.