Martin Elsman

Martin Elsman

Professor

Member of:


    1. 2023
    2. Published

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

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

      Research output: Contribution to journalJournal articlepeer-review

    3. Published

      Parallelism in a Region Inference Context

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

      Research output: Contribution to journalJournal articlepeer-review

    4. Published

      Shape-Constrained Array Programming with Size-Dependent Types

      Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41

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

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

    7. Published

      Preface

      Elsman, Martin, 2022, Proceedings - 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, Inc., p. IV (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

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

    10. Published

      Integrating region memory management and tag-free generational garbage collection

      Elsman, Martin & Hallenberg, N., 2021, In: Journal of Functional Programming. 31, 31 p., e4.

      Research output: Contribution to journalReviewpeer-review

    11. Published

      Towards size-dependent types for array programming

      Henriksen, Troels & Elsman, Martin, 2021, ARRAY 2021 - Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2021. Low, T. M. & Gibbons, J. (eds.). Association for Computing Machinery, Inc., p. 1-14 14 p. 3464310

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

    12. 2020
    13. Published

      On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML

      Elsman, Martin & Hallenberg, N., 2020, Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer VS, p. 95-112 18 p. (Lecture Notes in Computer Science, Vol. 12007 LNCS).

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

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

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

    17. Published

      Incremental flattening for nested data parallelism

      Henriksen, Troels, Thorøe, F., Elsman, Martin & Oancea, Cosmin Eugen, 16 Feb 2019, PPoPP 2019 - Proceedings of the 24th Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 53-67

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

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

    19. 2018
    20. 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 proceedingArticle in proceedingsResearchpeer-review

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

    22. Published

      Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large

      Elsman, Martin, Henriksen, Troels, Annenkov, D. & Oancea, Cosmin Eugen, 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery, Vol. 2. p. 97:1-97:30 30 p.

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

    23. 2017
    24. 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 journalJournal articlepeer-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 proceedingArticle in proceedingsResearchpeer-review

    26. 2016
    27. 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

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

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

    30. Published

      Low-level functional GPU programming for parallel algorithms

      Dybdal, M., Elsman, Martin, Svensson, B. J. & Sheeran, M., 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-37 7 p.

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

    31. Published

      Message from the organizing committee

      Elsman, Martin, Grelck, C., Klöckner, A. & Padua, D., 2016, ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Co-located with PLDI 2016. Association for Computing Machinery, p. iii-iv

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    32. 2015
    33. 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/ReportReport

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

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

    36. 2014
    37. 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 proceedingArticle in proceedingsResearchpeer-review

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

    39. Published

      Towards certified management of financial contracts

      Bahr, P., Berthold, J. & Elsman, Martin, 2014. 3 p.

      Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

    40. Published

      Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

      Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).

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

    41. 2011
    42. Hosting a Standard ML Compiler in a Web Browser

      Elsman, Martin, 2011, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients. ACM Press

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

    43. Published

      SMLtoJs: Hosting a standard ML compiler in a Web browser

      Elsman, Martin, 2011, PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients. p. 39-48 10 p. (PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients).

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

    44. 2008
    45. 2007
    46. Fault-Tolerant Voting in a Simply-Typed Lambda Calculus

      Elsman, Martin, 1 Jun 2007

      Research output: Book/ReportReport

    47. 2006
    48. BDNF-Based Matching of Bigraphs

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

      Research output: Book/ReportReport

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

    50. 2005
    51. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 Sep 2005, Sixth Symposium on Trends in Functional Programming (TFP'05).

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

    52. 2004
    53. Typing XHTML Web Applications in ML

      Elsman, Martin & Larsen, K. F., 1 Jun 2004, International Symposium on Practical Aspects of Declarative Languages (PADL'04). Springer Science+Business Media

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

    54. Type-Specialized Serialization with Sharing

      Elsman, Martin, 1 Feb 2004

      Research output: Book/ReportReport

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

    56. 2003
    57. Typing XHTML Web Applications in SMLserver

      Elsman, Martin & Larsen, K. F., 1 Oct 2003

      Research output: Book/ReportReport

    58. Garbage Collection Safety for Region-based Memory Management

      Elsman, Martin, 1 Jan 2003, Proceedings of ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'03). ACM Press

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

    59. Web Programming with SMLserver

      Elsman, Martin & Hallenberg, N., 1 Jan 2003, Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'03). Springer Science+Business Media

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

    60. 2002
    61. A Region-Based Abstract Machine for the ML Kit

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

      Research output: Book/ReportReport

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

    63. SMLserver-A Functional Approach to Web Publishing

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

      Research output: Book/ReportBook

    64. SMLserver—A Functional Approach to Web Publishing

      Elsman, Martin, Hallenberg, N. & Varming, C., 2002, IT-Universitetet i København. 174 p.

      Research output: Book/ReportBook

    65. Published

      Typed Regions for Tag-Free Garbage Collection

      Elsman, Martin, 2002

      Research output: Book/ReportReport

    Previous 1 2 Next

    ID: 38272928