Martin Elsman

Martin Elsman

Professor

Medlem af:

    ORCID: 0000-0002-6061-5993

    Udgivelsesår:
    Alle
    1 - 7 ud af 7Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2024
    2. Udgivet

      Explicit Effects and Effect Constraints in ReML

      Elsman, Martin, 2024, I: Proceedings of the ACM on Programming Languages. 8, POPL, s. 2370-2394 25 s., 79.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. 2023
    4. Udgivet

      Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

      Elsman, Martin, 2023, I: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    5. Udgivet

      Parallelism in a Region Inference Context

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    6. 2021
    7. Udgivet

      Integrating region memory management and tag-free generational garbage collection

      Elsman, Martin & Hallenberg, N., 2021, I: Journal of Functional Programming. 31, 31 s., e4.

      Publikation: Bidrag til tidsskrift › Review › Forskning › fagfællebedømt

    8. 2017
    9. Udgivet

      Automated execution of financial contracts on blockchains

      Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, dec. 2017, I: Business and Information Systems Engineering. 59, 6, s. 457-467 11 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. 2016
    11. Udgivet

      FinPar: a parallel financial benchmark

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    12. 2004

    13. A Retrospective on Region-Based Memory Management

      Tofte, M., Birkedal, L., Elsman, Martin & Hallenberg, N., 2004, I: Higher-Order and Symbolic Computation. 17, 3, s. 245-265 21 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    ID: 38272928