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).
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.
As a huge
Distinguished Paper Award for professor Fritz Henglein, 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
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
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
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