Martin Elsman

According to our database, Martin Elsman authored at least 37 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Explicit Effects and Effect Constraints in ReML.

Martin Elsman

Proc. ACM Program. Lang., January, 2024

Double-Ended Bit-Stealing for Algebraic Data Types.

Martin Elsman

Proc. ACM Program. Lang., 2024

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming.

Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman

Proc. ACM Program. Lang., 2024

2023

Parallelism in a Region Inference Context.

Martin Elsman, Troels Henriksen

Proc. ACM Program. Lang., 2023

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

Martin Elsman

Proc. ACM Program. Lang., 2023

Shape-Constrained Array Programming with Size-Dependent Types.

Lubin Bailly, Troels Henriksen, Martin Elsman

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2023

2022

Combinatory Adjoints and Differentiation.

Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

2021

Integrating region memory management and tag-free generational garbage collection.

Martin Elsman, Niels Hallenberg

J. Funct. Program., 2021

Towards size-dependent types for array programming.

Troels Henriksen, Martin Elsman

Proceedings of the ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, 2021

2020

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

Martin Elsman, Niels Hallenberg

Proceedings of the Practical Aspects of Declarative Languages, 2020

2019

Incremental flattening for nested data parallelism.

Troels Henriksen, Frederik Thorøe, Martin Elsman, Cosmin E. Oancea

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Data-parallel flattening by expansion.

Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

A functional approach to accelerating Monte Carlo based american option pricing.

Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Compositional deep learning in Futhark.

Duc Minh Tran, Troels Henriksen, Martin Elsman

Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2019

2018

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large.

Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea

Proc. ACM Program. Lang., 2018

High-Performance Defunctionalisation in Futhark.

Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Certified Compilation of Financial Contracts.

Danil Annenkov, Martin Elsman

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Modular acceleration: tricky cases of functional high-performance computing.

Troels Henriksen, Martin Elsman, Cosmin E. Oancea

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2018

2017

Automated Execution of Financial Contracts on Blockchains.

Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein, Omri Ross

Bus. Inf. Syst. Eng., 2017

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates.

Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

FinPar: A Parallel Financial Benchmark.

Christian Andreetta, Vivien Bégot, Jost Berthold, Martin Elsman, Fritz Henglein, Troels Henriksen, Maj-Britt Nordfang, Cosmin E. Oancea

ACM Trans. Archit. Code Optim., 2016

APL on GPUs: a TAIL from the past, scribbled in Futhark.

Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, Cosmin E. Oancea

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Low-level functional GPU programming for parallel algorithms.

Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2015

Compiling APL to accelerate through a typed array intermediate language.

Michael Budde, Martin Dybdal, Martin Elsman

Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015

Certified symbolic management of financial multi-party contracts.

Patrick Bahr, Jost Berthold, Martin Elsman

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Compiling a Subset of APL Into a Typed Intermediate Language.

Martin Elsman, Martin Dybdal

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces.

Martin Elsman, Anders Schack-Nielsen

Proceedings of the Practical Aspects of Declarative Languages, 2014

Size slicing: a hybrid approach to size inference in futhark.

Troels Henriksen, Martin Elsman, Cosmin E. Oancea

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

2005

Type-specialized serialization with sharing.

Martin Elsman

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004

A Retrospective on Region-Based Memory Management.

Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg

High. Order Symb. Comput., 2004

Typing XHTML Web Applications in ML.

Martin Elsman, Ken Friis Larsen

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003

Garbage collection safety for region-based memory management.

Martin Elsman

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

Web Programming with SMLserver.

Martin Elsman, Niels Hallenberg

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002

Combining Region Inference and Garbage Collection.

Niels Hallenberg, Martin Elsman, Mads Tofte

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

1999

Static Interpretation of Modules.

Martin Elsman

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Program modules, separate compilation, and intermodule optimisation.

Martin Elsman

PhD thesis, 1999

1998

Polymorphic Equality - No Tags Required.

Martin Elsman

Proceedings of the Types in Compilation, Second International Workshop, 1998