Concepedia

Martin Elsman

ME

19

Publications

638

Citations

13

H-Index

1999

Active since

Affiliations

University of Copenhagen(Current)

IT University of Copenhagen

Institut national de recherche en sciences et technologies du numérique

Martin Elsman is an author at University of Copenhagen specializing in computer science, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisComputer EngineeringComputer ArchitectureParallel ProgrammingSoftware EngineeringCompilers

Publications per year

1999–2021

19

Publications

19

Automated Execution of Financial Contracts on Blockchains

Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein et al. · Business & Information Systems Engineering · 2017 · 118 citations

Fintech, Engineering, Formal Methods +9

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

Troels Henriksen, Niels G. W. Serup, Martin Elsman et al. · 2017 · 111 citations

Combining region inference and garbage collection

Niels Hallenberg, Martin Elsman, Mads Tofte · 2002 · 88 citations

Engineering, Computer Architecture, Software Engineering +23

A Retrospective on Region-Based Memory Management

Mads Tofte, Lars Birkedal, Martin Elsman et al. · Higher-Order and Symbolic Computation · 2004 · 70 citations · Full text

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

Troels Henriksen, Niels G. W. Serup, Martin Elsman et al. · ACM SIGPLAN Notices · 2017 · 26 citations

Engineering, Opencl Code, Compiler Technology +24

Rows per page

1–5 of 19