Troels Henriksen

Troels Henriksen

Tenure track adjunkt, Tenure Track Adjunkt


  1. Udgivet

    Memory Optimizations in an Array Language

    Munksgaard, P., Henriksen, Troels, Sadayappan, P. & Oancea, Cosmin Eugen, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Udgivet

    Modular Acceleration: Tricky Cases of Functional High-performance Computing

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    Parallelism in a Region Inference Context

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    Shape-Constrained Array Programming with Size-Dependent Types

    Bailly, L., Henriksen, Troels & Elsman, Martin, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. Udgivet

    Size slicing: a hybrid approach to size inference in futhark

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. Udgivet

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

    Elsman, Martin, Henriksen, Troels, Annenkov, D. & Oancea, Cosmin Eugen, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    Strategies for regular segmented reductions on GPU

    Larsen, R. W. & Henriksen, Troels, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  8. Udgivet

    Towards size-dependent types for array programming

    Henriksen, Troels & Elsman, Martin, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  9. Udgivet

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

    Lindhøj, M. B., Henriksen, Troels, Pedersen, L. & Sporring, Jon, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 3 Næste

ID: 107181048