Troels Henriksen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
5
Active years
2013–2023
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICFP | Shape-Constrained Array Programming with Size-Dependent Types. | Lubin Bailly, Troels Henriksen, Martin Elsman |
| 2022 | SC | Memory Optimizations in an Array Language. | Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin E. Oancea |
| 2022 | SC | AD for an Array Language with Nested Parallelism. | Robert Schenck, Ola Rnning, Troels Henriksen, Cosmin E. Oancea |
| 2021 | PLDI | Towards size-dependent types for array programming. | Troels Henriksen, Martin Elsman |
| 2020 | ICDE | Massively-Parallel Change Detection for Satellite Time Series Data with Missing Values. | Fabian Gieseke, Sabina Rosca, Troels Henriksen, Jan Verbesselt, Cosmin E. Oancea |
| 2020 | SC | Compiling generalized histograms for GPU. | Troels Henriksen, Sune Hellfritzsch, Ponnuswamy Sadayappan, Cosmin E. Oancea |
| 2019 | ICFP | Compositional deep learning in Futhark. | Duc Minh Tran, Troels Henriksen, Martin Elsman |
| 2019 | PLDI | Data-parallel flattening by expansion. | Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup |
| 2019 | PPoPP | Incremental flattening for nested data parallelism. | Troels Henriksen, Frederik Thore, Martin Elsman, Cosmin E. Oancea |
| 2018 | ICFP | Modular acceleration: tricky cases of functional high-performance computing. | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
| 2017 | ICFP | Strategies for regular segmented reductions on GPU. | Rasmus Wriedt Larsen, Troels Henriksen |
| 2017 | PLDI | 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 |
| 2016 | ICFP | 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 |
| 2016 | PLDI | Design and GPGPU performance of Futhark's redomap construct. | Troels Henriksen, Ken Friis Larsen, Cosmin E. Oancea |
| 2014 | ICFP | Size slicing: a hybrid approach to size inference in futhark. | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
| 2014 | PLDI | Bounds Checking: An Instance of Hybrid Analysis. | Troels Henriksen, Cosmin E. Oancea |
| 2013 | ICFP | A T2 graph-reduction approach to fusion. | Troels Henriksen, Cosmin Eugen Oancea |