Research output per year
Research output per year
Personal profile
Short presentation
As Associate Professor at Department of Computer Science, University of Copenhagen (DIKU), I conduct research within the areas of theoretical aspects of and implementation of programming languages and systems. I serve as manager for the HIPERFIT Research Center, a center that focuses on high-performance functional computing techniques for financial information technology. Before joining DIKU, I spent four years in industry developing software, using functional programming techniques, for specifying and managing financial contracts. Before my time in industry, I was Associate Professor at the IT University of Copenhagen. My research interests include compilation techniques for functional languages, in particular with focus on module systems, Web technology, program analyses for memory management, and program optimisation. I am a co-developer of a number of systems and tools. For more information, see www.elsman.com.
Fingerprint
Dive into the research topics where Martin Elsman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 9 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Compositional deep learning in Futhark
Tran, D. M., Henriksen, T. & Elsman, M., 18 Aug 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (ed.). Association for Computing Machinery, Inc., p. 47-59 13 p. (FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Data-parallel flattening by expansion
Elsman, M., Henriksen, T. & Serup, N. G. W., 8 Jun 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (ed.). Association for Computing Machinery, Inc., p. 14-24 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
High-performance defunctionalisation in futhark
Hovgaard, A. K., Henriksen, T. & Elsman, M., 2019, Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). Springer, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11457 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Incremental flattening for nested data parallelism
Henriksen, T., Thorøe, F., Elsman, M. & Oancea, C., 16 Feb 2019, PPoPP 2019 - Proceedings of the 24th Principles and Practice of Parallel Programming. Association for Computing Machinery, Inc., p. 53-67 15 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Certified Compilation of Financial Contracts
Annenkov, D. & Elsman, M., 3 Sept 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: Association for Computing Machinery, p. 5:1-5:13Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Modular Acceleration: Tricky Cases of Functional High-performance Computing
Henriksen, T., Elsman, M. & Oancea, C. E., 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large
Elsman, M., Henriksen, T., Annenkov, D. & Oancea, C. E., Sept 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery, Vol. 2. p. 97:1-97:30 30 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Automated execution of financial contracts on blockchains
Egelund-Müller, B., Elsman, M., Henglein, F. & Ross, O., 1 Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
Datasets
-
Artifact for the paper Parallelism in a Region Inference Context (PLDI 2023)
Elsman, M. (Creator) & Henriksen, T. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.7802891, https://zenodo.org/record/7802891
Dataset
-
futhark-oopsla24
Schenck, R. (Creator), Hinnerskov, N. H. (Creator), Henriksen, T. (Creator), Madsen, M. (Creator) & Elsman, M. (Creator), Zenodo, 2024
DOI: 10.5281/zenodo.12671598, https://zenodo.org/records/12671598
Dataset
-
futhark-oopsla24
Schenck, R. (Creator), Hinnerskov, N. H. (Creator), Henriksen, T. (Creator), Madsen, M. (Creator) & Elsman, M. (Creator), Zenodo, 2024
DOI: 10.5281/zenodo.12659458, https://zenodo.org/records/12659458
Dataset
-
futhark-oopsla24
Schenck, R. (Creator), Hinnerskov, N. H. (Creator), Henriksen, T. (Creator), Madsen, M. (Creator) & Elsman, M. (Creator), Zenodo, 2024
DOI: 10.5281/zenodo.12775308, https://zenodo.org/records/12775308
Dataset
-
Artifact for the paper Parallelism in a Region Inference Context (PLDI 2023)
Elsman, M. (Creator) & Henriksen, T. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.7810545, https://zenodo.org/records/7810545
Dataset