ESA: a CLIM library for writing Emacs-Style Applications. - Robert Strandh; David Murray; Troels Henriksen; Christophe Rhodes (ILC, 2007)

A T2 graph-reduction approach to fusion. - Troels Henriksen; Cosmin Eugen Oancea (FHPC@ICFP, 2013)

Size slicing: a hybrid approach to size inference in futhark. - Troels Henriksen; Martin Elsman; Cosmin E. Oancea (FHPC@ICFP, 2014)

Bounds Checking: An Instance of Hybrid Analysis. - Troels Henriksen; Cosmin E. Oancea (ARRAY@PLDI, 2014)

APL on GPUs: a TAIL from the past, scribbled in Futhark. - Troels Henriksen; Martin Dybdal; Henrik Urms; Anna Sofie Kiehn; Daniel Gavin; Hjalte Abelskov; Martin Elsman; Cosmin E. Oancea (FHPC@ICFP, 2016)

Design and GPGPU performance of Futhark's redomap construct. - Troels Henriksen; Ken Friis Larsen; Cosmin E. Oancea (ARRAY@PLDI, 2016)

FinPar: A Parallel Financial Benchmark. - Christian Andreetta; Vivien Bégot; Jost Berthold; Martin Elsman; Fritz Henglein; Troels Henriksen; Maj-Britt Nordfang; Cosmin E. Oancea (ACM Trans. Archit. Code Optim., 2016)

Strategies for regular segmented reductions on GPU. - Rasmus Wriedt Larsen; Troels Henriksen (FHPC@ICFP, 2017)

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. - Troels Henriksen; Niels G. W. Serup; Martin Elsman; Fritz Henglein; Cosmin E. Oancea (PLDI, 2017)

Modular acceleration: tricky cases of functional high-performance computing. - Troels Henriksen; Martin Elsman; Cosmin E. Oancea (FHPC@ICFP, 2018)

High-Performance Defunctionalisation in Futhark. - Anders Kiel Hovgaard; Troels Henriksen; Martin Elsman (TFP, 2018)

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. - Martin Elsman; Troels Henriksen; Danil Annenkov; Cosmin E. Oancea (Proc. ACM Program. Lang., 2018)

Compositional deep learning in Futhark. - Duc Minh Tran; Troels Henriksen; Martin Elsman (FHPNC@ICFP, 2019)

Using a high-level parallel programming language for GPU-accelerated tomographic reconstruction. - Mette Bjerg Lindhøj; Troels Henriksen; Lærke Pedersen; Jon Sporring (HPCS, 2019)

Data-parallel flattening by expansion. - Martin Elsman; Troels Henriksen; Niels Gustav Westphal Serup (ARRAY@PLDI, 2019)

Incremental flattening for nested data parallelism. - Troels Henriksen; Frederik Thorøe; Martin Elsman; Cosmin E. Oancea (PPoPP, 2019)

Massively-Parallel Change Detection for Satellite Time Series Data with Missing Values. - Fabian Gieseke; Sabina Rosca; Troels Henriksen; Jan Verbesselt; Cosmin E. Oancea (ICDE, 2020)

Compiling generalized histograms for GPU. - Troels Henriksen; Sune Hellfritzsch; Ponnuswamy Sadayappan; Cosmin E. Oancea (SC, 2020)

Towards size-dependent types for array programming. - Troels Henriksen; Martin Elsman (ARRAY@PLDI, 2021)

Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties - Autotuning in Futhark. - Philip Munksgaard; Svend Lund Breddam; Troels Henriksen; Fabian Gieseke; Cosmin E. Oancea (TFP, 2021)

Bounds Checking on GPU. - Troels Henriksen (Int. J. Parallel Program., 2021)

Compiling a functional array language with non-semantic memory information. - Philip Munksgaard; Cosmin E. Oancea; Troels Henriksen (IFL, 2022)

Memory Optimizations in an Array Language. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (SC, 2022)

AD for an Array Language with Nested Parallelism. - Robert Schenck 001; Ola Rønning; Troels Henriksen; Cosmin E. Oancea (SC, 2022)

futhark-mem-sc22. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (Zenodo, 2022)

futhark-mem-sc22. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (Zenodo, 2022)

futhark-mem-sc22. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (Zenodo, 2022)

futhark-mem-sc22. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (Zenodo, 2022)

Shape-Constrained Array Programming with Size-Dependent Types. - Lubin Bailly; Troels Henriksen; Martin Elsman (FHPNC, 2023)

Parallelism in a Region Inference Context. - Martin Elsman; Troels Henriksen (Proc. ACM Program. Lang., 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Zenodo, 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact). - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Zenodo, 2023)

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. - Magnus Madsen; Jaco van de Pol; Troels Henriksen (Proc. ACM Program. Lang., 2023)

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. - Robert Schenck 001; Nikolaj Hey Hinnerskov; Troels Henriksen; Magnus Madsen; Martin Elsman (Proc. ACM Program. Lang., 2024)

Gate Fusion Is Map Fusion. - Martin Elsman; Troels Henriksen (ARRAY@PLDI, 2025)

Comparing Parallel Functional Array Languages: Programming and Performance. - David P. van Balen; Tiziano De Matteis; Clemens Grelck; Troels Henriksen; Aaron W. Hsu; Gabriele K. Keller; Thomas Koopman; Trevor L. McDonell; Cosmin E. Oancea; Sven-Bodo Scholz; Artjoms Sinkarovs; Tom Smeding; et al. (CoRR, 2025)

Towards Efficient Hash Maps in Functional Array Languages. - William Henrich Due; Martin Elsman; Troels Henriksen (CoRR, 2025)