default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Elsman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j10]Martin Elsman:
Double-Ended Bit-Stealing for Algebraic Data Types. Proc. ACM Program. Lang. 8(ICFP): 88-120 (2024)- [j9]Robert Schenck
, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman:
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. Proc. ACM Program. Lang. 8(OOPSLA2): 1787-1813 (2024) - [j8]Martin Elsman:
Explicit Effects and Effect Constraints in ReML. Proc. ACM Program. Lang. 8(POPL): 2370-2394 (2024) - 2023
- [j7]Martin Elsman:
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs. Proc. ACM Program. Lang. 7(PLDI): 221-243 (2023) - [j6]Martin Elsman, Troels Henriksen:
Parallelism in a Region Inference Context. Proc. ACM Program. Lang. 7(PLDI): 884-906 (2023) - [c26]Lubin Bailly, Troels Henriksen, Martin Elsman:
Shape-Constrained Array Programming with Size-Dependent Types. FHPNC 2023: 29-41 - 2022
- [c25]Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck:
Combinatory Adjoints and Differentiation. MSFP@ETAPS 2022: 1-26 - 2021
- [j5]Martin Elsman, Niels Hallenberg:
Integrating region memory management and tag-free generational garbage collection. J. Funct. Program. 31: e4 (2021) - [c24]Troels Henriksen, Martin Elsman:
Towards size-dependent types for array programming. ARRAY@PLDI 2021: 1-14 - [i1]Danil Annenkov, Martin Elsman:
Certified Compilation of Financial Contracts. CoRR abs/2108.03076 (2021) - 2020
- [c23]Martin Elsman, Niels Hallenberg:
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. PADL 2020: 95-112
2010 – 2019
- 2019
- [c22]Duc Minh Tran, Troels Henriksen, Martin Elsman:
Compositional deep learning in Futhark. FHPNC@ICFP 2019: 47-59 - [c21]Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea:
A functional approach to accelerating Monte Carlo based american option pricing. IFL 2019: 5:1-5:12 - [c20]Martin Elsman, Troels Henriksen, Niels Gustav Westphal Serup:
Data-parallel flattening by expansion. ARRAY@PLDI 2019: 14-24 - [c19]Troels Henriksen, Frederik Thorøe, Martin Elsman, Cosmin E. Oancea:
Incremental flattening for nested data parallelism. PPoPP 2019: 53-67 - 2018
- [j4]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): 97:1-97:30 (2018) - [c18]Troels Henriksen, Martin Elsman, Cosmin E. Oancea:
Modular acceleration: tricky cases of functional high-performance computing. FHPC@ICFP 2018: 10-21 - [c17]Danil Annenkov, Martin Elsman:
Certified Compilation of Financial Contracts. PPDP 2018: 5:1-5:13 - [c16]Anders Kiel Hovgaard, Troels Henriksen, Martin Elsman:
High-Performance Defunctionalisation in Futhark. TFP 2018: 136-156 - 2017
- [j3]Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein, Omri Ross:
Automated Execution of Financial Contracts on Blockchains. Bus. Inf. Syst. Eng. 59(6): 457-467 (2017) - [c15]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: 556-571 - [e2]Martin Elsman, Clemens Grelck, Andreas Klöckner, David A. Padua, Edgar Solomonik:
Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2017, Barcelona, Spain, June 18, 2017. ACM 2017, ISBN 978-1-4503-5069-3 [contents] - 2016
- [j2]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): 18:1-18:27 (2016) - [c14]Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran:
Low-level functional GPU programming for parallel algorithms. FHPC@ICFP 2016: 31-37 - [c13]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: 38-43 - [e1]Martin Elsman, Clemens Grelck, Andreas Klöckner, David A. Padua:
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. ACM 2016, ISBN 978-1-4503-4384-8 [contents] - 2015
- [c12]Patrick Bahr, Jost Berthold, Martin Elsman:
Certified symbolic management of financial multi-party contracts. ICFP 2015: 315-327 - [c11]Michael Budde, Martin Dybdal, Martin Elsman:
Compiling APL to accelerate through a typed array intermediate language. ARRAY@PLDI 2015: 13-18 - 2014
- [c10]Troels Henriksen, Martin Elsman, Cosmin E. Oancea:
Size slicing: a hybrid approach to size inference in futhark. FHPC@ICFP 2014: 31-42 - [c9]Martin Elsman, Anders Schack-Nielsen:
Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. PADL 2014: 184-199 - [c8]Martin Elsman, Martin Dybdal:
Compiling a Subset of APL Into a Typed Intermediate Language. ARRAY@PLDI 2014: 101-106
2000 – 2009
- 2005
- [c7]Martin Elsman:
Type-specialized serialization with sharing. Trends in Functional Programming 2005: 47-62 - 2004
- [j1]Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg:
A Retrospective on Region-Based Memory Management. High. Order Symb. Comput. 17(3): 245-265 (2004) - [c6]Martin Elsman, Ken Friis Larsen:
Typing XHTML Web Applications in ML. PADL 2004: 224-238 - 2003
- [c5]Martin Elsman, Niels Hallenberg:
Web Programming with SMLserver. PADL 2003: 74-91 - [c4]Martin Elsman:
Garbage collection safety for region-based memory management. TLDI 2003: 123-134 - 2002
- [c3]Niels Hallenberg, Martin Elsman, Mads Tofte:
Combining Region Inference and Garbage Collection. PLDI 2002: 141-152
1990 – 1999
- 1999
- [b1]Martin Elsman:
Program modules, separate compilation, and intermodule optimisation. University of Copenhagen, Denmark, Technical report / University of Copenhagen / Datalogisk institut 99/3, 1999, pp. I-X, 1-215 - [c2]Martin Elsman:
Static Interpretation of Modules. ICFP 1999: 208-219 - 1998
- [c1]Martin Elsman:
Polymorphic Equality - No Tags Required. Types in Compilation 1998: 136-155
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
