Ansatte – Københavns Universitet

Troels Henriksen

Troels Henriksen

Postdoc


  1. 2019
  2. Udgivet

    High-performance defunctionalisation in futhark. / Hovgaard, Anders Kiel; Henriksen, Troels; Elsman, Martin.

    Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. red. / Michał Pałka; Magnus Myreen. Springer, 2019. s. 136-156.

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

  3. 2018
  4. Udgivet

    Modular Acceleration: Tricky Cases of Functional High-performance Computing. / Henriksen, Troels; Elsman, Martin; Oancea, Cosmin E.

    FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. red. / Mike Rainey; Kei Davis. New York, NY, USA : Association for Computing Machinery, 2018. s. 10-21.

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

  5. Udgivet

    Static Interpretation of Higher-order Modules in Futhark : Functional GPU Programming in the Large. / Elsman, Martin; Henriksen, Troels; Annenkov, Danil; Oancea, Cosmin E.

    Proceedings of the ACM on Programming Languages. Bind 2 ICFP. udg. Association for Computing Machinery, 2018. s. 97:1-97:30.

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

  6. 2017
  7. Udgivet

    Design and Implementation of the Futhark Programming Language. / Henriksen, Troels .

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

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  8. Udgivet

    Futhark : purely functional GPU-programming with nested parallelism and in-place array updates. / Henriksen, Troels; Serup, Niels G. W.; Elsman, Martin; Henglein, Fritz; Oancea, Cosmin Eugen.

    Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, 2017. s. 556-571.

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

  9. Udgivet

    Strategies for regular segmented reductions on GPU. / Larsen, Rasmus Wriedt; Henriksen, Troels.

    Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing. Association for Computing Machinery, 2017. s. 42-52.

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

  10. 2016
  11. Udgivet

    APL on GPUs : a TAIL from the Past, scribbled in Futhark. / Henriksen, Troels; Dybdal, Martin; Urms, Henrik; Kiehn, Anna Sofie; Gavin, Daniel; Abelskov, Hjalte; Elsman, Martin; Oancea, Cosmin Eugen.

    Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, 2016. s. 38-43.

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

  12. Udgivet

    Design and GPGPU performance of Futhark's redomap construct. / Henriksen, Troels; Larsen, Ken Friis; Oancea, Cosmin Eugen.

    Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, 2016. s. 17-24.

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

  13. Udgivet

    FinPar : a parallel financial benchmark. / Andreetta, Christian; Begot, Vivien; Berthold, Jost; Elsman, Martin; Henglein, Fritz; Henriksen, Troels; Nordfang, Maj-Britt; Oancea, Cosmin Eugen.

    I: ACM Transactions on Architecture and Code Optimization (TACO), Bind 13, Nr. 2, 18, 2016, s. 1.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  14. 2015
  15. Udgivet

    A financial benchmark for GPGPU compilation. / Andreetta, Christian; Begot, Vivien; Berthold, Jost; Elsman, Martin; Henriksen, Troels; Nordfang, Maj-Britt; Oancea, Cosmin Eugen.

    Department of Computer Science, Faculty of Science, University of Copenhagen, 2015. 16 s.

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

Forrige 1 2 Næste

ID: 107181048