Martin Elsman
Professor
- 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
- 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
- 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
- Udgivet
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. (red.). Springer VS, s. 95-112 18 s. (Lecture Notes in Computer Science, Bind 12007 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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:13Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Carillon-A System to Find Y2K Problems in C Programs
Elsman, Martin, Foster, J. S. & Aiken, A., 1 jul. 1999Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
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 MediaPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. 2006Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
A Region-Based Abstract Machine for the ML Kit
Elsman, Martin & Hallenberg, N., 1 aug. 2002Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- 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
ID: 38272928
Flest downloads
-
35
downloads
A Functional Approach to Accelerating Monte Carlo based American Option Pricing
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
23
downloads
Combinatory Adjoints and Differentiation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
15
downloads
Parallelism in a Region Inference Context
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet