Troels Henriksen

Publikation

Publikationer pr. år 2009 2016 2017 2019 2021 2022 2023 2023

• 272 Citationer
• 22 Konferencebidrag i proceedings
• 4 Tidsskriftartikel
• 1 Rapport
• 1 Ph.d.-afhandling
• 1 Mere
  • 1 Paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2023

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  8 Downloads (Pure)

• Parallelism in a Region Inference Context

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  26 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. (red.). Association for Computing Machinery, Inc., s. 29-41

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  1 Citationer (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 s. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Bind 2022-November).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  19 Downloads (Pure)

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

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

  Publikation: Konferencebidrag › Paper › Forskning

  Åben adgang

  Fil
  14 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, s. 1-15 31

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  4 Citationer (Scopus)
• 2021

  Bounds Checking on GPU

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  3 Citationer (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. (red.). Springer Science and Business Media Deutschland GmbH, s. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12834 LNCS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  31 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. (red.). Association for Computing Machinery, Inc., s. 1-14 14 s. 3464310

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  9 Citationer (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

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  12 Citationer (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, s. 385-396 9101616

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  8 Citationer (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. (red.). Association for Computing Machinery, s. 47-59

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  2 Citationer (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. (red.). Association for Computing Machinery, s. 14-24

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  6 Citationer (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. (red.). Springer, s. 136-156 21 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11457 LNCS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  4 Citationer (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, s. 53-67

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  22 Citationer (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, s. 27-32 6 s. 3

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. (red.). New York, NY, USA: Association for Computing Machinery, s. 10-21 12 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  8 Citationer (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 udg. Association for Computing Machinery, Bind 2. s. 97:1-97:30 30 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  12 Citationer (Scopus)
• 2017

  Design and Implementation of the Futhark Programming Language

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

  Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  Fil

• 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, s. 556-571 16 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  79 Citationer (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, s. 42-52 11 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  11 Citationer (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, s. 38-43 6 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  12 Citationer (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, s. 17-24 8 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  13 Citationer (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, I: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, s. 1 27 s., 18.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  15 Citationer (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 s.

  Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  Fil
• 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, s. 88-94 7 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Fil
  11 Citationer (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, s. 31-42 12 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Fil
  15 Citationer (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, s. 47-58 12 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
  19 Citationer (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

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review