Troels Henriksen

Research output

Research output per year 2009 2016 2017 2019 2021 2022 2023 2024

• 284 Citations
• 23 Article in proceedings
• 5 Journal article
• 1 Report
• 1 Ph.D. thesis
• 1 More
  • 1 Paper

Research output per year

Research output per year

Search results

• 2024

  A Comparison of OpenCL, CUDA, and HIP as Compilation Targets for a Functional Array Language

  Henriksen, T., 2024, FProPer 2024 - Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Programming for Productivity and Performance, Co-located with: ICFP 2024. Rainey, M. & Scholz, S-B. (eds.). Association for Computing Machinery, Inc., 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

  Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M., 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 27 p., 334.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
  1 Downloads (Pure)
• 2023

  Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

  Madsen, M., van de Pol, J. & Henriksen, T., 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 240.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
  10 Downloads (Pure)

• Parallelism in a Region Inference Context

  Elsman, M. & Henriksen, T., 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 884-906 142.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
  2 Citations (Scopus)

  27 Downloads (Pure)

• Shape-Constrained Array Programming with Size-Dependent Types

  Bailly, L., Henriksen, T. & Elsman, M., 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  2 Citations (Scopus)
• 2022

  AD for an Array Language with Nested Parallelism

  Schenck, R., Rønning, O., Henriksen, T. & Oancea, C. E., 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, 15 p. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Vol. 2022-November).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File
  2 Citations (Scopus)

  19 Downloads (Pure)

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

  Munksgaard, P., Oancea, C. E. & Henriksen, T., 2022.

  Research output: Contribution to conference › Paper › Research

  Open Access

  File
  16 Downloads (Pure)

• Memory Optimizations in an Array Language

  Munksgaard, P., Henriksen, T., Sadayappan, P. & Oancea, C., 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, p. 1-15 31

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  4 Citations (Scopus)
• 2021

  Bounds Checking on GPU

  Henriksen, T., 2021, In: International Journal of Parallel Programming. 49, 6, p. 761-775

  Research output: Contribution to journal › Journal article › Research › peer-review
  3 Citations (Scopus)

• Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark

  Munksgaard, P., Breddam, S. L., Henriksen, T., Gieseke, F. C. & Oancea, C., 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12834 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File
  2 Citations (Scopus)

  32 Downloads (Pure)

• Towards size-dependent types for array programming

  Henriksen, T. & Elsman, M., 2021, ARRAY 2021 - Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2021. Low, T. M. & Gibbons, J. (eds.). Association for Computing Machinery, Inc., p. 1-14 14 p. 3464310

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  10 Citations (Scopus)
• 2020

  Compiling generalized histograms for GPU

  Henriksen, T., Hellfritzsch, S., Sadayappan, P. & Oancea, C., 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  14 Citations (Scopus)

• Massively-parallel change detection for satellite time series data with missing values

  Gieseke, F., Rosca, S., Henriksen, T., Verbesselt, J. & Oancea, C. E., 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE, p. 385-396 9101616

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  8 Citations (Scopus)
• 2019

  Compositional deep learning in Futhark

  Tran, D. M., Henriksen, T. & Elsman, M., 18 Aug 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (ed.). Association for Computing Machinery, p. 47-59

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  3 Citations (Scopus)

• Data-parallel flattening by expansion

  Elsman, M., Henriksen, T. & Serup, N. G. W., 8 Jun 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (ed.). Association for Computing Machinery, p. 14-24

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  7 Citations (Scopus)

• High-performance defunctionalisation in futhark

  Hovgaard, A. K., Henriksen, T. & Elsman, M., 2019, Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). Springer, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11457 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  4 Citations (Scopus)

• Incremental flattening for nested data parallelism

  Henriksen, T., Thorøe, F., Elsman, M. & Oancea, C., 16 Feb 2019, PPoPP 2019 - Proceedings of the 24th Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 53-67

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  23 Citations (Scopus)

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

  Lindhøj, M. B., Henriksen, T., Pedersen, L. & Sporring, J., 15 Jul 2019, The 2019 International Conference on High Performance Computing & Simulation: HPCS 2019. IEEE, p. 27-32 6 p. 3

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
• 2018

  Modular Acceleration: Tricky Cases of Functional High-performance Computing

  Henriksen, T., Elsman, M. & Oancea, C. E., 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  8 Citations (Scopus)

• Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large

  Elsman, M., Henriksen, T., Annenkov, D. & Oancea, C. E., 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery, Vol. 2. p. 97:1-97:30 30 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  12 Citations (Scopus)
• 2017

  Design and Implementation of the Futhark Programming Language

  Henriksen, T., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

  Research output: Book/Report › Ph.D. thesis › Research

  File

• Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

  Henriksen, T., Serup, N. G. W., Elsman, M., Henglein, F. & Oancea, C. E., 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  83 Citations (Scopus)

• Strategies for regular segmented reductions on GPU

  Larsen, R. W. & Henriksen, T., 2017, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 42-52 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  11 Citations (Scopus)
• 2016

  APL on GPUs: a TAIL from the Past, scribbled in Futhark

  Henriksen, T., Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, M. & Oancea, C. E., 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  12 Citations (Scopus)

• Design and GPGPU performance of Futhark's redomap construct

  Henriksen, T., Larsen, K. F. & Oancea, C. E., 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  13 Citations (Scopus)

• FinPar: a parallel financial benchmark

  Andreetta, C., Begot, V., Berthold, J., Elsman, M., Henglein, F., Henriksen, T., Nordfang, M-B. & Oancea, C. E., 2016, In: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, p. 1 27 p., 18.

  Research output: Contribution to journal › Journal article › Research › peer-review
  16 Citations (Scopus)
• 2015

  A financial benchmark for GPGPU compilation

  Andreetta, C., Begot, V., Berthold, J., Elsman, M., Henriksen, T., Nordfang, M-B. & Oancea, C. E., 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 p.

  Research output: Book/Report › Report › Research

  File
• 2014

  Bounds checking: an instance of hybrid analysis

  Henriksen, T. & Oancea, C. E., 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, p. 88-94 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File
  11 Citations (Scopus)

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

  Henriksen, T., Elsman, M. & Oancea, C. E., 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File
  15 Citations (Scopus)
• 2013

  A T2 graph-reduction approach to fusion

  Henriksen, T. & Oancea, C. E., 2013, Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'13). Association for Computing Machinery, p. 47-58 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
  19 Citations (Scopus)
• 2009

  ESA: A clim library for writing emacs-style applications

  Labri, R. S., Murray, D., Henriksen, T. & Rhodes, C., 27 Nov 2009, 2007 International Lisp Conference, ILC '07. 24

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review