Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Troels Henriksen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 6 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
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, Inc., s. 47-59 13 s. (FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. (red.). Association for Computing Machinery, Inc., s. 14-24 11 s. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. (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
-
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., s. 53-67 15 s. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. s. 27-32 6 s. 3Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. (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
-
Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large
Elsman, M., Henriksen, T., Annenkov, D. & Oancea, C. E., sep. 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
-
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
Forskningsdatasæt
-
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)
Madsen, M. (Ophavsmand), Pol, J. V. D. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023
DOI: 10.5281/zenodo.8318658, https://zenodo.org/records/8318658
Datasæt
-
futhark-ad-sc22
Schenck, R. (Ophavsmand), Rønning, O. (Ophavsmand), Henriksen, T. (Ophavsmand) & E. Oancea, C. (Ophavsmand), Zenodo, 2022
DOI: 10.5281/zenodo.6853848, https://zenodo.org/records/6853848
Datasæt
-
futhark-oopsla24
Schenck, R. (Ophavsmand), Hinnerskov, N. H. (Ophavsmand), Henriksen, T. (Ophavsmand), Madsen, M. (Ophavsmand) & Elsman, M. (Ophavsmand), Zenodo, 18 jul. 2024
DOI: 10.5281/zenodo.12775308, https://zenodo.org/records/12775308
Datasæt
-
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems (artifact)
Madsen, M. (Ophavsmand), Pol, J. V. D. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023
DOI: 10.5281/zenodo.8143171, https://zenodo.org/record/8143171
Datasæt
-
Artifact for the paper Parallelism in a Region Inference Context (PLDI 2023)
Elsman, M. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023
DOI: 10.5281/zenodo.7810545, https://zenodo.org/records/7810545
Datasæt
-
VMCAI 2021 Virtual Machine
Henriksen, T. (Ophavsmand), Zenodo, 2020
DOI: 10.5281/zenodo.4017293, https://zenodo.org/record/4017293
Datasæt
-
futhark-oopsla24
Schenck, R. (Ophavsmand), Hinnerskov, N. H. (Ophavsmand), Henriksen, T. (Ophavsmand), Madsen, M. (Ophavsmand) & Elsman, M. (Ophavsmand), Zenodo, 4 jul. 2024
DOI: 10.5281/zenodo.12659458, https://zenodo.org/records/12659458
Datasæt
-
Artifact for the paper Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems at OOPSLA 2023
Madsen, M. (Ophavsmand), Pol, J. V. D. (Ophavsmand) & Henriksen, T. (Ophavsmand), Zenodo, 2023
DOI: 10.5281/zenodo.8121210, https://zenodo.org/record/8121210
Datasæt