Troels Henriksen
Tenure track adjunkt, Tenure Track Adjunkt
- 2023
- 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-41Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Madsen, M., van de Pol, J. & Henriksen, Troels, 2023, I: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 s., 240.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2022
- Udgivet
Compiling a functional array language with non-semantic memory information
Munksgaard, P., Oancea, Cosmin Eugen & Henriksen, Troels, 2022.Publikation: Konferencebidrag › Paper › Forskning
- 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 31Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2021
- Udgivet
Bounds Checking on GPU
Henriksen, Troels, 2021, I: International Journal of Parallel Programming. 49, 6, s. 761-775Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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. 3464310Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2020
- 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 9101616Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 107181048
Flest downloads
-
21
downloads
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
16
downloads
Parallelism in a Region Inference Context
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet