Research output per year
Research output per year
Fingerprint
Dive into the research topics where Troels Henriksen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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, Inc., p. 47-59 13 p. (FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
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, Inc., p. 14-24 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
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
-
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, Inc., p. 53-67 15 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
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. p. 27-32 6 p. 3Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
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
-
Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large
Elsman, M., Henriksen, T., Annenkov, D. & Oancea, C. E., Sept 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
-
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
Datasets
-
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)
Madsen, M. (Creator), Pol, J. V. D. (Creator) & Henriksen, T. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.8318658, https://zenodo.org/records/8318658
Dataset
-
futhark-ad-sc22
Schenck, R. (Creator), Rønning, O. (Creator), Henriksen, T. (Creator) & E. Oancea, C. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6853848, https://zenodo.org/records/6853848
Dataset
-
futhark-oopsla24
Schenck, R. (Creator), Hinnerskov, N. H. (Creator), Henriksen, T. (Creator), Madsen, M. (Creator) & Elsman, M. (Creator), Zenodo, 18 Jul 2024
DOI: 10.5281/zenodo.12775308, https://zenodo.org/records/12775308
Dataset
-
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)
Madsen, M. (Creator), Pol, J. V. D. (Creator) & Henriksen, T. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.8143171, https://zenodo.org/record/8143171
Dataset
-
Artifact for the paper Parallelism in a Region Inference Context (PLDI 2023)
Elsman, M. (Creator) & Henriksen, T. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.7810545, https://zenodo.org/records/7810545
Dataset
-
VMCAI 2021 Virtual Machine
Henriksen, T. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.4017293, https://zenodo.org/record/4017293
Dataset
-
futhark-oopsla24
Schenck, R. (Creator), Hinnerskov, N. H. (Creator), Henriksen, T. (Creator), Madsen, M. (Creator) & Elsman, M. (Creator), Zenodo, 4 Jul 2024
DOI: 10.5281/zenodo.12659458, https://zenodo.org/records/12659458
Dataset
-
Artifact for the paper Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems at OOPSLA 2023
Madsen, M. (Creator), Pol, J. V. D. (Creator) & Henriksen, T. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.8121210, https://zenodo.org/record/8121210
Dataset