• Overview
• Examples
• Docs
• Publications
• Gotta Go Fast!
• Get Involved
• Blog

Publications

We have published a number of research papers on Futhark, and hopefully more will follow in the future. They are presented below in reverse chronological order.

Papers on language design and implementation

• Memory Optimizations in an Array Language. Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin Oancea. SC 22 (pdf, bib, artifact, blog (1), blog (2))

• AD for an Array Language with Nested Parallelism. Robert Schenck, Ola Rønning, Troels Henriksen, Cosmin Oancea. SC 22 (pdf, bib, artifact)

• Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties. Philip Munksgaard, Svend Lund Breddam, Troels Henriksen, Fabian Cristian Gieseke, Cosmin Oancea. TFP ’21 (pdf, bib, best paper award).

• Towards Size-Dependent Types for Array programming. Troels Henriksen, Martin Elsman. ARRAY ’21 (pdf, bib).

• Compiling Generalized Histograms for GPU. Troels Henriksen, Sune Hellfritzsch, Ponnuswamy Sadayappan, Cosmin Oancea. SC ’20 (pdf, bib, artifact).

• Bounds Checking on GPU. Troels Henriksen. HLPP ’20 (pdf, bib).

• Compositional Deep Learning in Futhark. Duc Minh Tran, Troels Henriksen, Martin Elsman. FHPNC ’19 (pdf, bib, code).

• Data-Parallel Flattening by Expansion. Martin Elsman, Troels Henriksen, Niels G. W. Serup. ARRAY ’19 (pdf, bib).

• Incremental Flattening for Nested Data Parallelism. Troels Henriksen, Frederik Thorøe, Martin Elsman, Cosmin Oancea. PPOPP ’19 (pdf, bib, artifact, blog).

• High-Performance Defunctionalisation in Futhark. Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman. TFP ’18 (pdf, bib)

• Static Interpretation of Higher-Order Modules in Futhark. Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin Oancea. ICFP ’18 (pdf, bib)

• Modular Acceleration: Tricky Cases of Functional High-Performance Computing. Troels Henriksen, Martin Elsman, Cosmin Oancea. FHPC ’18 (pdf, bib).

• Design and Implementation of the Futhark Programming Language. Troels Henriksen. PhD thesis (pdf, bib).

• Strategies for Regular Segmented Reductions on GPU. Rasmus Wriedt Larsen, Troels Henriksen. FHPC ’17 (pdf, bib).

• Futhark: Purely Functional GPU-Programming with Nested Parallelism and In-Place Array Updates. Troels Henriksen, Niels G. W Serup, Martin Elsman, Fritz Henglein, Cosmin Oancea. PLDI ’17 (pdf, bib, artifact).

• APL on GPUs - A TAIL from the Past, Scribbled in Futhark. Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Danil Gavin, Hjalte Abelskov, Martin Elsman, Cosmin Oancea. FHPC ’16 (pdf, bib, artifact).

• Design and GPGPU Performance of Futhark’s Redomap Construct. Troels Henriksen, Ken Friis Larsen, Cosmin Oancea. ARRAY ’16 (pdf, bib, artifact)

• Size Slicing - A Hybrid Approach to Size Inference in Futhark. Troels Henriksen, Martin Elsman, Cosmin Oancea. FHPC ’14 (pdf, bib).

• Bounds Checking: An Instance of Hybrid Analysis. Troels Henriksen, Cosmin Oancea. ARRAY ’14 (pdf, bib)

• A T2 Graph-Reduction Approach To Fusion. Troels Henriksen, Cosmin Oancea. FHPC ’13 (pdf, bib)

Application Papers

These papers are not about Futhark as a language or compiler, but use it to build or show something.

• Wojciech Michal Pawlak: Accelerated Financial Algorithms Derivative Pricing and Risk Management Applications. PhD thesis. May 2021 (pdf, bib).
• Cosmin Oancea, Ties Robroek, Fabian Gieseke: Approximate Nearest-Neighbour Fields via Massively-Parallel Propagation-Assisted K-D Trees. MLDB’20. (pdf).
• Fabian Geseke, Sabina Rosca, Troels Henriksen, Jan Verbesselt, Cosmin Oancea: Massively-Parallel Change Detection for Satellite Time Series Data with Missing Values. ICDE’20. (pdf)
• Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea: A Functional Approach to Accelerating Monte Carlo based American Option Pricing. IFL’19. (pdf)

Selected Student Projects

• Søren Brix: Reverse mode automatic differentiation of histograms in Futhark, MSc thesis, DIKU, University of Copenhagen, July 2022. (pdf)
• Gilli Reynstind Fjallstein: Extending automatic differentiation for an array language with nested parallelism, Msc thesis, DIKU, University of Copenhagen, July 2022. (pdf)
• Lotte Bruun and Ulrik Larsen: Reverse Automatic Differentiation in Futhark, MSc thesis, DIKU, University of Copenhagen, July 2022. (pdf)
• Philip Jon Børgesen: Reducing Synchronous GPU Memory Transfers. MSc thesis. Department of Computer Science, University of Copenhagen. July 2022. (pdf)
• W. Pema N. H. Malling, Louis Marott Normann, Oliver B. K. Petersen, Kristoffer A. Kortbæk: Extending Futhark’s multicore C backend to utilize SIMD using ISPC. BSc thesis. Department of Computer Science, University of Copenhagen. June 2022. (pdf)
• Aleksander Junge: Reactive Benchmarks. BSc thesis. Department of Computer Science, University of Copenhagen. June 2022. (pdf)
• Amar Topalovic, Walter Restelli-Nielsen, Kristian Olesen: Multiple-precision Integer Arithmetic. DPP final project. January 2022. (pdf)
• Andreas Nicolaisen: Using Automatic Differentiation to Find Gradients for Recurrent Neural Networks in Futhark. MSc thesis. Department of Computer Science, University of Copenhagen. January 2022. (pdf)
• Kristian Knudsen Olesen: Extracting Certified Futhark Code from Coq. BSc thesis. Department of Computer Science, University of Copenhagen. November 2021. (pdf)
• Till Severin Grenzdörffer: Unsupervised Clustering of Sparse Data in Futhark. MSc thesis. Department of Computer Science, University of Copenhagen. September 2021. (pdf)
• Baptiste Coudray: MPI-Futhark: Distributed High-Performance Computing For People. BSc thesis. HEPIA. August 2021. (pdf)
• Philip Rajani Lassen: WebAssembly Backends for Futhark. MSc thesis. Department of Computer Science, University of Copenhagen. July 2021. (pdf)
• Nikolaj Hey Hinnerskov: Massively Parallel Selection of Stable History Period in Change Detection for Time Series Data with Missing Values. BSc thesis. Department of Computer Science, University of Copenhagen. June 2021. (pdf)
• Kristian Bøjer Andreasen: Data-Parallel Coherency Sensitive Hashing for Approximate Nearest Neighbour Fields. MSc thesis. Department of Computer Science, University of Copenhagen. June 2021. (pdf)
• Christian Charlie Virt, Jonathan Wraa-Hansen: Optimisation and GPU code generation of Stencils for Futhark. June 2021. (pdf).
• Maya Saietz: Code Generation for Stencils in Futhark. June 2021. (pdf).
• Morten Tychsen Clausen: Regular Segmented Single-pass Scan in Futhark. June 2021. (pdf)
• Kasper Unn Weihe, Kristian Quirin Hansen, Peter Kanstrup Larsen: Linear Algebra in Futhark. Department of Computer Science, University of Copenhagen. February 2021. (pdf)
• Till Severin Grenzdörffer: Accelerating Ocean Modelling: Adressing performance bottlenecks of the ocean modelling framework Veros. MSc project, Department of Computer Science, University of Copenhagen. January 2021. (pdf)
• Kristian Høi: Parallel implementations of machine learning algorithms: Gradient boosted decision trees. MSc Thesis, Department of Computer Science, University of Copenhagen. January 2021. (pdf)
• Andreas Nicolaisen, Marco Aslak Persson: Implementing Single-Pass Scan in the Futhark Compiler. MSc project. Department of Computer Science, University of Copenhagen. November 2020. (pdf)
• Duc Minh Tran: Multicore backend for Futhark. MSc Thesis. Department of Computer Science, University of Copenhagen. September 2020. (pdf)
• Emil Un Weihe: Support Vector Machines in Futhark. MSc thesis. Computer Science, University of Copenhagen. September 2020. (pdf)
• Michaël El Kharroubi: Highly parallel algorithms on GPU with Futhark: Practical case with block ciphers. BSc thesis. HEPIA. August 2020. (pdf)
• Johan Johansson, Ari von Nordenskjöld: Ray Tracing for Sensor Simulation using Parallel Functional Programming. MSc thesis. Chalmers University of Technology. June 2020. (pdf)
• Ulrik Elmelund Petersen: Optimizing the kNN algorithm for GPGPUs in Futhark. BSc thesis. Computer Science, University of Copenhagen. June 2020. (pdf)
• Mathias Friis Rasmussen, Jonas Kristensen, Jens Nissen-Juul Sørensen, Christian Dybdahl Troelsen: FutSpace - A Parallelizable Implementation of the Voxel Space Rendering Algorithm. BSc thesis. Computer Science, University of Copenhagen. June 2020. (pdf)
• Ulrik Stuhr Larsen, Lotte Maria Bruun: A Language for Parallel Generation of L-Systems. BSc thesis. Computer Science, University of Copenhagen. June 2020. (pdf)
• Æmilie Cholewa-Madsen, Anders Lietzen Holst: Teaching the Futhark compiler block and register tiled matrix multiplication. BSc thesis. Computer Science, University of Copenhagen. June
• Robert Schenck: Sum types in Futhark. MSc thesis. Computer Science, University of Copenhagen. December 2019. (pdf)
• Henrik Urms, Anna Sofie Kiehn: Refinement types in Futhark. MSc thesis. Computer Science, University of Copenhagen. September 2019. (pdf)
• Steffen Holst Larsen: Multi-GPU Futhark Using Parallel Streams. MSc thesis. Department of Computer Science, University of Copenhagen. September 2019. (pdf)
• Svend Lund Breddam: Futhark Autotuners for Incremental Flattening. MSc thesis. Department of Computer Science, University of Copenhagen. September 2019. (pdf)
• Steffen Holst Larsen: Futhark Vulkan Backend. MSc project. Department of Computer Science, University of Copenhagen. January 2019. (pdf)
• Jakob Stokholm Bertelsen: Implementing a CUDA Backend for Futhark. BSc thesis. Department of Computer Science, University of Copenhagen. January 2019. (pdf)
• Sune Hellfritzsch: Efficient Histogram Computation on GPGPUs. MSc thesis. Department of Computer Science, University of Copenhagen. October 2018. (pdf)
• Duc Minh Tran: Implementation of a deep learning library in Futhark. BSc Thesis. Department of Computer Science, University of Copenhagen. August 2018. (pdf)
• Mikkel Storgaard Knudsen: FShark: Futhark programming in FSharp. MSc thesis. Department of Computer Science, University of Copenhagen. August 2018. (pdf)
• Marek Hlava and Martin Metaksov: Accelerated Interest Rate Option Pricing using Trinomial Trees. MSc thesis. Department of Computer Science, University of Copenhagen. August 2018. (pdf)
• Kasper Abildtrup Hansen: FFT Generator in Futhark: A prototype Futhark library using FFTW technniques. MSc project. Department of Computer Science, University of Copenhagen. June 2018. (pdf)
• Frederik Thorøe: Auto-tuning of threshold-parameters in Futhark. BSc thesis. Department of Computer Science, University of Copenhagen. June 2018. (pdf)
• Mette Marie Kowalski: Designing and Accelerating a Generic FFT Library in Futhark. BSc thesis. Department of Computer Science, University of Copenhagen. June 2018. (pdf)
• Anders Kiel Hovgaard: Higher-order functions for a high-performance programming language for GPUs. MSc project. Department of Computer Science, University of Copenhagen. May 2018. (pdf)
• Niels G. W. Serup: Memory Block Merging in Futhark. MSc thesis. Department of Computer Science, University of Copenhagen. November 2017. (pdf)
• Rasmus Wriedt Larsen: Generating Efficient Code for Futhark’s Segmented Redomap. MSc thesis. Department of Computer Science, University of Copenhagen. March 2017. (pdf)
• Niels G. W. Serup: Extending Futhark with a write construct. MSc project. Department of Computer Science, University of Copenhagen. June 2016. (pdf).