Troels Henriksen

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 24

Top Topics

Missing Attribute Values

Tomographic Reconstruction

Programming Language

Integral Histogram

Top Venues

Proc. ACM Program. Lang.

Publications

Lubin Bailly, Troels Henriksen, Martin Elsman
Shape-Constrained Array Programming with Size-Dependent Types. FHPNC (2023)
Martin Elsman, Troels Henriksen
Parallelism in a Region Inference Context. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Magnus Madsen, Jaco van de Pol, Troels Henriksen
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin E. Oancea
Memory Optimizations in an Array Language. SC (2022)
Robert Schenck, Ola Rønning, Troels Henriksen, Cosmin E. Oancea
AD for an Array Language with Nested Parallelism. CoRR (2022)
Philip Munksgaard, Cosmin E. Oancea, Troels Henriksen
Compiling a functional array language with non-semantic memory information. IFL (2022)
Robert Schenck, Ola Rphinning, Troels Henriksen, Cosmin E. Oancea
AD for an Array Language with Nested Parallelism. SC (2022)
Troels Henriksen, Martin Elsman
Towards size-dependent types for array programming. ARRAY@PLDI (2021)
Troels Henriksen
Bounds Checking on GPU. Int. J. Parallel Program. 49 (6) (2021)
Philip Munksgaard, Svend Lund Breddam, Troels Henriksen, Fabian Gieseke, Cosmin E. Oancea
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties - Autotuning in Futhark. TFP (2021)
Troels Henriksen, Sune Hellfritzsch, Ponnuswamy Sadayappan, Cosmin E. Oancea
Compiling generalized histograms for GPU. SC (2020)
Fabian Gieseke, Sabina Rosca, Troels Henriksen, Jan Verbesselt, Cosmin E. Oancea
Massively-Parallel Change Detection for Satellite Time Series Data with Missing Values. ICDE (2020)
Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup
Data-parallel flattening by expansion. ARRAY@PLDI (2019)
Duc Minh Tran, Troels Henriksen, Martin Elsman
Compositional deep learning in Futhark. FHPNC@ICFP (2019)
Troels Henriksen, Frederik Thorøe, Martin Elsman, Cosmin E. Oancea
Incremental flattening for nested data parallelism. PPoPP (2019)
Mette Bjerg Lindhøj, Troels Henriksen, Lærke Pedersen, Jon Sporring
Using a high-level parallel programming language for GPU-accelerated tomographic reconstruction. HPCS (2019)
Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman
High-Performance Defunctionalisation in Futhark. TFP (2018)
Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Troels Henriksen, Martin Elsman, Cosmin E. Oancea
Modular acceleration: tricky cases of functional high-performance computing. FHPC@ICFP (2018)
Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. PLDI (2017)
Rasmus Wriedt Larsen, Troels Henriksen
Strategies for regular segmented reductions on GPU. FHPC@ICFP (2017)
Troels Henriksen, Ken Friis Larsen, Cosmin E. Oancea
Design and GPGPU performance of Futhark's redomap construct. ARRAY@PLDI (2016)
Christian Andreetta, Vivien Bégot, Jost Berthold, Martin Elsman, Fritz Henglein, Troels Henriksen, Maj-Britt Nordfang, Cosmin E. Oancea
FinPar: A Parallel Financial Benchmark. ACM Trans. Archit. Code Optim. 13 (2) (2016)
Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, Cosmin E. Oancea
APL on GPUs: a TAIL from the past, scribbled in Futhark. FHPC@ICFP (2016)
Troels Henriksen, Cosmin E. Oancea
Bounds Checking: An Instance of Hybrid Analysis. ARRAY@PLDI (2014)
Troels Henriksen, Martin Elsman, Cosmin E. Oancea
Size slicing: a hybrid approach to size inference in futhark. FHPC@ICFP (2014)
Troels Henriksen, Cosmin Eugen Oancea
A T2 graph-reduction approach to fusion. FHPC@ICFP (2013)
Robert Strandh, David Murray, Troels Henriksen, Christophe Rhodes
ESA: a CLIM library for writing Emacs-Style Applications. ILC (2007)