Martin Elsman

Martin Elsman

Professor

Member of:

    ORCID: 0000-0002-6061-5993

    Publication year:
    All
    1 - 25 out of 61Page size: 25
    Sort by: Title

    1. A Framework for Cut-Off Incremental Recompilation and Inter-Module Optimization

      Elsman, Martin, 1 Apr 2008

      Research output: Book/Report › Report › Research

    2. Published

      A Functional Approach to Accelerating Monte Carlo based American Option Pricing

      Pawlak, W. M., Elsman, Martin & Oancea, Cosmin Eugen, 2021, IFL 2019: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. Association for Computing Machinery, p. 1-12 5

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

    3. A Portable Standard ML Implementation

      Elsman, Martin, 1 Aug 1994

      Research output: Book/Report › Report › Research

    4. A Region-Based Abstract Machine for the ML Kit

      Elsman, Martin & Hallenberg, N., 1 Aug 2002

      Research output: Book/Report › Report › Research

    5. A Retrospective on Region-Based Memory Management

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

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

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

    7. Published

      APL on GPUs: a TAIL from the Past, scribbled in Futhark

      Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.

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

    8. An Optimizing Backend for the ML Kit Using a Stack of Regions

      Elsman, Martin & Hallenberg, N., Jun 1995

      Research output: Book/Report › Report › Research

    9. Published

      Automated execution of financial contracts on blockchains

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

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

    10. BDNF-Based Matching of Bigraphs

      Glenstrup, A. J., Damgaard, T. C., Birkedal, L. & Elsman, Martin, 1 Oct 2006

      Research output: Book/Report › Report › Research

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

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

      Research output: Book/Report › Report › Research

    12. Published

      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, p. 5:1-5:13

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

    13. Published

      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, p. 315-327 13 p.

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

    14. Published

      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, Vol. 360. p. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 360).

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

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

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

    16. Published

      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, p. 13-18 6 p.

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

    17. Published

      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, p. 101-106 6 p.

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

    18. Published

      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. (ed.). Association for Computing Machinery, p. 47-59

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

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

    20. Published

      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 (ed.), Grelck, C. (ed.), Klöckner, A. (ed.) & Padua, D. A. (ed.), 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 p.

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

    21. Efficient Online User Tracking: Note on using unification for efficient online user tracking

      Elsman, Martin, 2006

      Research output: Book/Report › Report › Research

    22. Published

      Explicit Effects and Effect Constraints in ReML

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

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

    23. Fault-Tolerant Voting in a Simply-Typed Lambda Calculus

      Elsman, Martin, 1 Jun 2007

      Research output: Book/Report › Report › Research

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

    25. Published

      Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

      Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.

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

    Previous 1 2 3 Next

    ID: 38272928