Martin Elsman

42 papers A* 2A 2B 1C 5Journal 12Unranked 17
YearRankTypeTitle / Venue / Authors
2025 — conf
Gate Fusion Is Map Fusion.
ARRAY@PLDI
Martin Elsman, Troels Henriksen
2025 J jnl
Towards Efficient Hash Maps in Functional Array Languages.
CoRR
William Henrich Due, Martin Elsman, Troels Henriksen
2024 J jnl
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming.
Proc. ACM Program. Lang.
Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman
2024 J jnl
Double-Ended Bit-Stealing for Algebraic Data Types.
Proc. ACM Program. Lang.
Martin Elsman
2024 J jnl
Explicit Effects and Effect Constraints in ReML.
Proc. ACM Program. Lang.
Martin Elsman
2023 J jnl
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs.
Proc. ACM Program. Lang.
Martin Elsman
2023 J jnl
Parallelism in a Region Inference Context.
Proc. ACM Program. Lang.
Martin Elsman, Troels Henriksen
2023 — conf
Shape-Constrained Array Programming with Size-Dependent Types.
FHPNC
Lubin Bailly, Troels Henriksen, Martin Elsman
2022 — conf
Combinatory Adjoints and Differentiation.
MSFP@ETAPS
Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck
2021 J jnl
Certified Compilation of Financial Contracts.
CoRR
Danil Annenkov, Martin Elsman
2021 J jnl
Integrating region memory management and tag-free generational garbage collection.
J. Funct. Program.
Martin Elsman, Niels Hallenberg
2021 — conf
Towards size-dependent types for array programming.
ARRAY@PLDI
Troels Henriksen, Martin Elsman
2020 C conf
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML.
PADL
Martin Elsman, Niels Hallenberg
2019 — conf
A functional approach to accelerating Monte Carlo based american option pricing.
IFL
Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea
2019 — conf
Compositional deep learning in Futhark.
FHPNC@ICFP
Duc Minh Tran, Troels Henriksen, Martin Elsman
2019 — conf
Data-parallel flattening by expansion.
ARRAY@PLDI
Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup
2019 B conf
Incremental flattening for nested data parallelism.
PPoPP
Troels Henriksen, Frederik Thorøe, Martin Elsman, Cosmin E. Oancea
2018 C conf
Certified Compilation of Financial Contracts.
PPDP
Danil Annenkov, Martin Elsman
2018 — conf
High-Performance Defunctionalisation in Futhark.
TFP
Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman
2018 — conf
Modular acceleration: tricky cases of functional high-performance computing.
FHPC@ICFP
Troels Henriksen, Martin Elsman, Cosmin E. Oancea
2018 J jnl
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large.
Proc. ACM Program. Lang.
Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea
2017 J jnl
Automated Execution of Financial Contracts on Blockchains.
Bus. Inf. Syst. Eng.
Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein, Omri Ross
2017 A* conf
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates.
PLDI
Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea
2017 — ed.
Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2017, Barcelona, Spain, June 18, 2017
ARRAY@PLDI
Martin Elsman, Clemens Grelck, Andreas Klöckner, David A. Padua, Edgar Solomonik
2016 — conf
APL on GPUs: a TAIL from the past, scribbled in Futhark.
FHPC@ICFP
Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, Cosmin E. Oancea
2016 J jnl
FinPar: A Parallel Financial Benchmark.
ACM Trans. Archit. Code Optim.
Christian Andreetta, Vivien Bégot, Jost Berthold, Martin Elsman, Fritz Henglein, Troels Henriksen, Maj-Britt Nordfang, Cosmin E. Oancea
2016 — conf
Low-level functional GPU programming for parallel algorithms.
FHPC@ICFP
Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran
2016 — ed.
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
ARRAY@PLDI
Martin Elsman, Clemens Grelck, Andreas Klöckner, David A. Padua
2015 A conf
Certified symbolic management of financial multi-party contracts.
ICFP
Patrick Bahr, Jost Berthold, Martin Elsman
2015 — conf
Compiling APL to accelerate through a typed array intermediate language.
ARRAY@PLDI
Michael Budde, Martin Dybdal, Martin Elsman
2014 — conf
Compiling a Subset of APL Into a Typed Intermediate Language.
ARRAY@PLDI
Martin Elsman, Martin Dybdal
2014 — conf
Size slicing: a hybrid approach to size inference in futhark.
FHPC@ICFP
Troels Henriksen, Martin Elsman, Cosmin E. Oancea
2014 C conf
Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces.
PADL
Martin Elsman, Anders Schack-Nielsen
2005 — conf
Type-specialized serialization with sharing.
Trends in Functional Programming
Martin Elsman
2004 J jnl
A Retrospective on Region-Based Memory Management.
High. Order Symb. Comput.
Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
2004 C conf
Typing XHTML Web Applications in ML.
PADL
Martin Elsman, Ken Friis Larsen
2003 — conf
Garbage collection safety for region-based memory management.
TLDI
Martin Elsman
2003 C conf
Web Programming with SMLserver.
PADL
Martin Elsman, Niels Hallenberg
2002 A* conf
Combining Region Inference and Garbage Collection.
PLDI
Niels Hallenberg, Martin Elsman, Mads Tofte
1999 — —
Program modules, separate compilation, and intermodule optimisation.
Martin Elsman
1999 A conf
Static Interpretation of Modules.
ICFP
Martin Elsman
1998 — conf
Polymorphic Equality - No Tags Required.
Types in Compilation
Martin Elsman