Troels Henriksen

Troels Henriksen

Tenure track adjunkt


  1. 2023
  2. 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

  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 tidsskriftTidsskriftartikelfagfællebedømt

  4. 2022
  5. Udgivet

    Compiling a functional array language with non-semantic memory information

    Munksgaard, P., Oancea, Cosmin Eugen & Henriksen, Troels, 2022.

    Publikation: KonferencebidragPaperForskning

  6. 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

  7. Udgivet

    AD for an Array Language with Nested Parallelism

    Schenck, R., Rønning, Ola, Henriksen, Troels & Oancea, Cosmin Eugen, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  8. 2021
  9. Udgivet

    Bounds Checking on GPU

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

  10. 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

  11. Udgivet

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

    Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. 2020
  13. Udgivet

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

    Gieseke, Fabian Cristian, Rosca, S., Henriksen, Troels, Verbesselt, J. & Oancea, Cosmin Eugen, 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE, s. 385-396 9101616

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  14. Udgivet

    Compiling generalized histograms for GPU

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

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 3 Næste

ID: 107181048