Get started
Author

Martin Elsman

Observed names: Elsman, Martin, Elsman, Martin; id_orcid 0000-0002-6061-5993, MARTIN ELSMAN
ORCID: 0000-0002-6061-5993
Observed ORCID: 0000-0002-6061-5993
OpenAlex ID: A5081028559
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
2017 · Troels Henriksen, Niels G. W. Serup, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 124
Automated Execution of Financial Contracts on Blockchains
2017 · Benjamin Egelund-Müller, Martin Elsman, et al. · Business & Information Systems Engineering · 122
Combining region inference and garbage collection
2002 · Niels Hallenberg, Martin Elsman, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 88
A Retrospective on Region-Based Memory Management
2004 · Mads Tofte, Lars Birkedal, et al. · Higher-Order and Symbolic Computation · 70
Typing XHTML Web Applications in ML
2004 · Martin Elsman, Ken Friis Larsen · Lecture notes in computer science · 35
Incremental flattening for nested data parallelism
2019 · Troels Henriksen, Frederik Thorøe, et al. · ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming · 26
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
2017 · Troels Henriksen, Niels G. W. Serup, et al. · ACM SIGPLAN Notices · 26
Web Programming with SMLserver
2002 · Martin Elsman, Niels Hallenberg · Lecture notes in computer science · 25
Certified symbolic management of financial multi-party contracts
2015 · Patrick Bahr, Jost Berthold, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 23
Static interpretation of modules
1999 · Martin Elsman · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 23
Compiling a Subset of APL Into a Typed Intermediate Language
2014 · Martin Elsman, Martin Dybdal · 21
FinPar
2016 · Christian Andreetta, Vivien Bégot, et al. · ACM Transactions on Architecture and Code Optimization · 19
PDF
Size slicing
2014 · Troels Henriksen, Martin Elsman, et al. · Functional High-Performance Computing · 17
Towards size-dependent types for array programming
2021 · Troels Henriksen, Martin Elsman · ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY) · 16
APL on GPUs: a TAIL from the past, scribbled in Futhark
2016 · Troels Henriksen, Martin Dybdal, et al. · 15
Type-Specialized Serialization with Sharing
2005 · Martin Elsman · 15
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large
2018 · Martin Elsman, Troels Henriksen, et al. · Proceedings of the ACM on Programming Languages · 13
PDF
Garbage collection safety for region-based memory management
2003 · Martin Elsman · Types In Languages Design And Implementation · 13
Polymorphic equality — No tags required
1998 · Martin Elsman · Lecture notes in computer science · 13
Automated Execution of Financial Contracts on Blockchains
2017 · Benjamin Egelund-M ller, Martin Elsman, et al. · SSRN Electronic Journal · 12
Certified Compilation of Financial Contracts
2018 · Danil Annenkov, Martin Elsman · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 11
PDF
SMLtoJs
2011 · Martin Elsman · 11
Data-parallel flattening by expansion
2019 · Martin Elsman, Troels Henriksen, et al. · ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY) · 9
Modular acceleration: tricky cases of functional high-performance computing
2018 · Troels Henriksen, Martin Elsman, et al. · 8
Certified symbolic management of financial multi-party contracts
2015 · Patrick Bahr, Jost Berthold, et al. · ACM SIGPLAN Notices · 7
Works count: 78
Citation count: 841
H-index: 15
I10-index: 22
Year
Topic
Type