Martin Elsman

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 24

Top Venues

ARRAY@PLDI

Proc. ACM Program. Lang.

FHPC@ICFP

PADL

University of Copenhagen, Denmark (PHD)

Education History

University of Copenhagen, Denmark

PHD

Publications

Martin Elsman
Explicit Effects and Effect Constraints in ReML. Proc. ACM Program. Lang. 8 (POPL) (2024)
Martin Elsman
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Lubin Bailly, Troels Henriksen, Martin Elsman
Shape-Constrained Array Programming with Size-Dependent Types. FHPNC (2023)
Martin Elsman, Troels Henriksen
Parallelism in a Region Inference Context. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck
Combinatory Adjoints and Differentiation. MSFP@ETAPS (2022)
Troels Henriksen, Martin Elsman
Towards size-dependent types for array programming. ARRAY@PLDI (2021)
Danil Annenkov, Martin Elsman
Certified Compilation of Financial Contracts. CoRR (2021)
Martin Elsman, Niels Hallenberg
Integrating region memory management and tag-free generational garbage collection. J. Funct. Program. 31 (2021)
Martin Elsman, Niels Hallenberg
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. PADL (2020)
Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea
A functional approach to accelerating Monte Carlo based american option pricing. IFL (2019)
Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup
Data-parallel flattening by expansion. ARRAY@PLDI (2019)
Duc Minh Tran, Troels Henriksen, Martin Elsman
Compositional deep learning in Futhark. FHPNC@ICFP (2019)
Troels Henriksen, Frederik Thorøe, Martin Elsman, Cosmin E. Oancea
Incremental flattening for nested data parallelism. PPoPP (2019)
Danil Annenkov, Martin Elsman
Certified Compilation of Financial Contracts. PPDP (2018)
Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman
High-Performance Defunctionalisation in Futhark. TFP (2018)
Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Troels Henriksen, Martin Elsman, Cosmin E. Oancea
Modular acceleration: tricky cases of functional high-performance computing. FHPC@ICFP (2018)
Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. PLDI (2017)
Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein, Omri Ross
Automated Execution of Financial Contracts on Blockchains. Bus. Inf. Syst. Eng. 59 (6) (2017)
Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran
Low-level functional GPU programming for parallel algorithms. FHPC@ICFP (2016)
Christian Andreetta, Vivien Bégot, Jost Berthold, Martin Elsman, Fritz Henglein, Troels Henriksen, Maj-Britt Nordfang, Cosmin E. Oancea
FinPar: A Parallel Financial Benchmark. ACM Trans. Archit. Code Optim. 13 (2) (2016)
Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, Cosmin E. Oancea
APL on GPUs: a TAIL from the past, scribbled in Futhark. FHPC@ICFP (2016)
Patrick Bahr, Jost Berthold, Martin Elsman
Certified symbolic management of financial multi-party contracts. ICFP (2015)
Michael Budde, Martin Dybdal, Martin Elsman
Compiling APL to accelerate through a typed array intermediate language. ARRAY@PLDI (2015)
Martin Elsman, Anders Schack-Nielsen
Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. PADL (2014)
Troels Henriksen, Martin Elsman, Cosmin E. Oancea
Size slicing: a hybrid approach to size inference in futhark. FHPC@ICFP (2014)
Martin Elsman, Martin Dybdal
Compiling a Subset of APL Into a Typed Intermediate Language. ARRAY@PLDI (2014)
Martin Elsman
Type-specialized serialization with sharing. Trends in Functional Programming (2005)
Martin Elsman, Ken Friis Larsen
Typing XHTML Web Applications in ML. PADL (2004)
Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
A Retrospective on Region-Based Memory Management. High. Order Symb. Comput. 17 (3) (2004)
Martin Elsman, Niels Hallenberg
Web Programming with SMLserver. PADL (2003)
Martin Elsman
Garbage collection safety for region-based memory management. TLDI (2003)
Niels Hallenberg, Martin Elsman, Mads Tofte
Combining Region Inference and Garbage Collection. PLDI (2002)
Martin Elsman
Static Interpretation of Modules. ICFP (1999)
Martin Elsman
Polymorphic Equality - No Tags Required. Types in Compilation (1998)

Martin Elsman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Elsman