Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    11 - 20 ud af 61Pr. side: 10
    Sortering: Titel

    1. Carillon-A System to Find Y2K Problems in C Programs

      Elsman, Martin, Foster, J. S. & Aiken, A., 1 jul. 1999

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    2. Udgivet

      Certified Compilation of Financial Contracts

      Annenkov, D. & Elsman, Martin, 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: Association for Computing Machinery, s. 5:1-5:13

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. Udgivet

      Certified symbolic management of financial multi-party contracts

      Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, s. 315-327 13 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    4. Udgivet

      Combinatory Adjoints and Differentiation

      Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Bind 360. s. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 360).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. Combining Region Inference and Garbage Collection

      Hallenberg, N., Elsman, Martin & Tofte, M., 1 jun. 2002, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02). ACM Press

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    6. Udgivet

      Compiling APL to accelerate through a typed array intermediate language

      Budde, M., Dybdal, M. & Elsman, Martin, 2015, Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, s. 13-18 6 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    7. Udgivet

      Compiling a subset of APL into a typed intermediate language

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

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    8. Udgivet

      Compositional deep learning in Futhark

      Tran, D. M., Henriksen, Troels & Elsman, Martin, 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, s. 47-59

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    9. Udgivet

      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. (red.). Association for Computing Machinery, s. 14-24

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    10. Udgivet

      EDITOR Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016

      Elsman, Martin (red.), Grelck, C. (red.), Klöckner, A. (red.) & Padua, D. A. (red.), 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. Association for Computing Machinery, Inc., 69 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 3 4 5 6 7 Næste

    ID: 38272928