Troels Henriksen

Troels Henriksen

Assistant professor, tenure track, Tenure Track Assistant Professor

Member of:

    ORCID: 0000-0002-1195-9722

    Publication year:
    All
    1 - 10 out of 28Page size: 10
    Sort by: 1st author
    1. Published

      A financial benchmark for GPGPU compilation

      Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 p.

      Research output: Book/Report › Report › Research

    2. Published

      FinPar: a parallel financial benchmark

      Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, In: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, p. 1 27 p., 18.

      Research output: Contribution to journal › Journal article › Research › peer-review

    3. Published

      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. (eds.). Association for Computing Machinery, Inc., p. 29-41

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    4. Published

      Data-parallel flattening by expansion

      Elsman, Martin, Henriksen, Troels & 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, p. 14-24

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5. Published

      Parallelism in a Region Inference Context

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    6. Published

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

    7. Published

      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, p. 385-396 9101616

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    8. Published

      Design and Implementation of the Futhark Programming Language

      Henriksen, Troels, 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

      Research output: Book/Report › Ph.D. thesis › Research

    9. Published

      A T2 graph-reduction approach to fusion

      Henriksen, Troels & Oancea, Cosmin Eugen, 2013, Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'13). Association for Computing Machinery, p. 47-58 12 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    10. Published

      Bounds Checking on GPU

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    Previous 1 2 3 Next

    ID: 107181048