Troels Henriksen

According to our database, Troels Henriksen authored at least 34 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming.

Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman

Proc. ACM Program. Lang., 2024

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., October, 2023

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact).

Magnus Madsen, Jaco van de Pol, Troels Henriksen

Dataset, July, 2023

Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact).

Magnus Madsen, Jaco van de Pol, Troels Henriksen

Dataset, July, 2023

Parallelism in a Region Inference Context.

Martin Elsman, Troels Henriksen

Proc. ACM Program. Lang., 2023

Shape-Constrained Array Programming with Size-Dependent Types.

Lubin Bailly, Troels Henriksen, Martin Elsman

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2023

2022

futhark-mem-sc22.

Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin E. Oancea

Dataset, June, 2022

futhark-mem-sc22.

Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin E. Oancea

Dataset, June, 2022

futhark-mem-sc22.

Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin E. Oancea

Dataset, April, 2022

futhark-mem-sc22.

Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin E. Oancea

Dataset, April, 2022

AD for an Array Language with Nested Parallelism.

Robert Schenck, Ola Rønning, Troels Henriksen, Cosmin E. Oancea

Proceedings of the SC22: International Conference for High Performance Computing, 2022

Memory Optimizations in an Array Language.

Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin E. Oancea

Proceedings of the SC22: International Conference for High Performance Computing, 2022

Compiling a functional array language with non-semantic memory information.

Philip Munksgaard, Cosmin E. Oancea, Troels Henriksen

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

Bounds Checking on GPU.

Troels Henriksen

Int. J. Parallel Program., 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

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

Towards size-dependent types for array programming.

Troels Henriksen, Martin Elsman

Proceedings of the ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, 2021

2020

Compiling generalized histograms for GPU.

Troels Henriksen, Sune Hellfritzsch, Ponnuswamy Sadayappan, Cosmin E. Oancea

Proceedings of the International Conference for High Performance Computing, 2020

Massively-Parallel Change Detection for Satellite Time Series Data with Missing Values.

Fabian Gieseke, Sabina Rosca, Troels Henriksen, Jan Verbesselt, Cosmin E. Oancea

Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

2019

Incremental flattening for nested data parallelism.

Troels Henriksen, Frederik Thorøe, Martin Elsman, Cosmin E. Oancea

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Data-parallel flattening by expansion.

Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

Using a high-level parallel programming language for GPU-accelerated tomographic reconstruction.

Mette Bjerg Lindhøj, Troels Henriksen, Lærke Pedersen, Jon Sporring

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

Compositional deep learning in Futhark.

Duc Minh Tran, Troels Henriksen, Martin Elsman

Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2019

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

High-Performance Defunctionalisation in Futhark.

Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Modular acceleration: tricky cases of functional high-performance computing.

Troels Henriksen, Martin Elsman, Cosmin E. Oancea

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2018

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

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Strategies for regular segmented reductions on GPU.

Rasmus Wriedt Larsen, Troels Henriksen

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

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

Design and GPGPU performance of Futhark's redomap construct.

Troels Henriksen, Ken Friis Larsen, Cosmin E. Oancea

Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, 2016

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

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2014

Bounds Checking: An Instance of Hybrid Analysis.

Troels Henriksen, Cosmin E. Oancea

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Size slicing: a hybrid approach to size inference in futhark.

Troels Henriksen, Martin Elsman, Cosmin E. Oancea

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2013

A T2 graph-reduction approach to fusion.

Troels Henriksen, Cosmin Eugen Oancea

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2007

ESA: a CLIM library for writing Emacs-Style Applications.

Robert Strandh, David Murray, Troels Henriksen, Christophe Rhodes

Proceedings of the International Lisp Conference, 2007