Martin Elsman

Martin Elsman

Professor

Member of:


    1. 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 proceedingArticle in proceedingsResearchpeer-review

    2. Programming with Regions in the MLKit (Revised for Version 4.3.0)

      Tofte, M., Birkedal, L., Elsman, Martin, Hallenberg, N., Olesen, T. H. & Sestoft, P., 1 Jan 2006

      Research output: Book/ReportBook

    3. Programming with Regions in the ML Kit (for Version 3)

      Tofte, M., Birkedal, L., Elsman, Martin, Hallenberg, N., Olesen, T. H., Sestoft, P. & Bertelsen, P., 1 Dec 1998

      Research output: Book/ReportBook

    4. 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 journalJournal articlepeer-review

    5. 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 proceedingArticle in proceedingsResearchpeer-review

    6. Published

      High-performance defunctionalisation in futhark

      Hovgaard, A. K., Henriksen, Troels & Elsman, Martin, 2019, Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). Springer, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11457 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    7. Published

      Size slicing: a hybrid approach to size inference in futhark

      Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    8. 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 proceedingArticle in proceedingsResearchpeer-review

    9. Published

      Modular Acceleration: Tricky Cases of Functional High-performance Computing

      Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    10. 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 proceedingArticle in proceedingsResearchpeer-review

    Previous 1 2 3 4 5 6 Next

    ID: 38272928