Ansatte – Københavns Universitet

Martin Elsman

Martin Elsman

Lektor

Medlem af:

  • The APL Section


  1. 2017
  2. Udgivet

    Automated execution of financial contracts on blockchains. / Egelund-Müller, Benjamin; Elsman, Martin; Henglein, Fritz; Ross, Omry.

    I: Business and Information Systems Engineering, Bind 59, Nr. 6, 12.2017, s. 457-467.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

  4. 2016
  5. 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

  6. Udgivet

    Low-level functional GPU programming for parallel algorithms. / Dybdal, Martin; Elsman, Martin; Svensson, Bo Joel; Sheeran, Mary.

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

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

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

  8. 2015
  9. 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

  10. Udgivet

    Certified symbolic management of financial multi-party contracts. / Bahr, Patrick; Berthold, Jost; Elsman, Martin.

    Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, 2015. s. 315-327.

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

  11. Udgivet

    Compiling APL to accelerate through a typed array intermediate language. / Budde, Michael; Dybdal, Martin; Elsman, Martin.

    Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, 2015. s. 13-18.

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

  12. 2014
  13. Udgivet

    Towards certified management of financial contracts. / Bahr, Patrick; Berthold, Jost; Elsman, Martin.

    2014. Abstract fra 26th Nordic Workshop on Programming Theory, Halmstad, Sverige.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  14. Udgivet

    Compiling a subset of APL into a typed intermediate language. / Elsman, Martin; Dybdal, Martin.

    Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY’14): ARRAY'14 . Association for Computing Machinery, 2014. s. 101-106.

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

Forrige 1 2 3 4 5 Næste

ID: 38272928