| 2023 | ICFP | Shape-Constrained Array Programming with Size-Dependent Types. | Lubin Bailly, Troels Henriksen, Martin Elsman |
| 2021 | PLDI | Towards size-dependent types for array programming. | Troels Henriksen, Martin Elsman |
| 2020 | PADL | On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. | Martin Elsman, Niels Hallenberg |
| 2019 | ICFP | Compositional deep learning in Futhark. | Duc Minh Tran, Troels Henriksen, Martin Elsman |
| 2019 | PLDI | Data-parallel flattening by expansion. | Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup |
| 2019 | PPoPP | Incremental flattening for nested data parallelism. | Troels Henriksen, Frederik Thore, Martin Elsman, Cosmin E. Oancea |
| 2018 | ICFP | Modular acceleration: tricky cases of functional high-performance computing. | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
| 2018 | PPDP | Certified Compilation of Financial Contracts. | Danil Annenkov, Martin Elsman |
| 2017 | PLDI | 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 |
| 2016 | ICFP | Low-level functional GPU programming for parallel algorithms. | Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran |
| 2016 | ICFP | 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 |
| 2015 | ICFP | Certified symbolic management of financial multi-party contracts. | Patrick Bahr, Jost Berthold, Martin Elsman |
| 2015 | PLDI | Compiling APL to accelerate through a typed array intermediate language. | Michael Budde, Martin Dybdal, Martin Elsman |
| 2014 | ICFP | Size slicing: a hybrid approach to size inference in futhark. | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
| 2014 | PADL | Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. | Martin Elsman, Anders Schack-Nielsen |
| 2014 | PLDI | Compiling a Subset of APL Into a Typed Intermediate Language. | Martin Elsman, Martin Dybdal |
| 2004 | PADL | Typing XHTML Web Applications in ML. | Martin Elsman, Ken Friis Larsen |
| 2003 | PADL | Web Programming with SMLserver. | Martin Elsman, Niels Hallenberg |
| 2002 | PLDI | Combining Region Inference and Garbage Collection. | Niels Hallenberg, Martin Elsman, Mads Tofte |
| 1999 | ICFP | Static Interpretation of Modules. | Martin Elsman |