E-LIB Suche - Ergebnisse für: Elsman, Martin

1

Explicit Effects and Effect Constraints in ReML:

Elsman, Martin
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2370-2394 , 2024

2

Shape-Constrained Array Programming with Size-Dependent Typ..:

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

Bailly, Lubin ; Henriksen, Troels ; Elsman, Martin - p. 29-41 , 2023

Link: https://dl.acm.org/doi/1..

3

Towards size-dependent types for array programming:

, In: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming,

Henriksen, Troels ; Elsman, Martin - p. 1-14 , 2021

Link: https://dl.acm.org/doi/1..

4

Integrating region memory management and tag-free generatio..:

ELSMAN, MARTIN ; HALLENBERG, NIELS
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

5

On the Effects of Integrating Region-Based Memory Managemen..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Elsman, Martin ; Hallenberg, Niels - p. 95-112 , 2020

Link: https://doi.org/10.1007/..

6

Data-parallel flattening by expansion:

, In: Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming,

Elsman, Martin ; Henriksen, Troels ; Serup, Niels Gustav Westphal - p. 14-24 , 2019

Link: https://dl.acm.org/doi/1..

7

Incremental flattening for nested data parallelism:

, In: Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming,

Henriksen, Troels ; Thorøe, Frederik ; Elsman, Martin. - p. 53-67 , 2019

Link: https://dl.acm.org/doi/1..

8

Compositional deep learning in Futhark:

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

Tran, Duc Minh ; Henriksen, Troels ; Elsman, Martin - p. 47-59 , 2019

Link: https://dl.acm.org/doi/1..

9

A functional approach to accelerating Monte Carlo based ame..:

, In: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages,

Pawlak, Wojciech Michal ; Elsman, Martin ; Oancea, Cosmin Eugen - p. 1-12 , 2019

Link: https://dl.acm.org/doi/1..

10

High-Performance Defunctionalisation in Futhark:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,

Hovgaard, Anders Kiel ; Henriksen, Troels ; Elsman, Martin - p. 136-156 , 2019

Link: https://doi.org/10.1007/..

11

Certified Compilation of Financial Contracts:

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

Annenkov, Danil ; Elsman, Martin - p. 1-13 , 2018

Link: https://dl.acm.org/doi/1..

12

Static interpretation of higher-order modules in Futhark: f..:

Elsman, Martin ; Henriksen, Troels ; Annenkov, Danil.
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-30 , 2018

Link: https://dl.acm.org/doi/1..

13

Modular acceleration: tricky cases of functional high-perfo..:

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

Henriksen, Troels ; Elsman, Martin ; Oancea, Cosmin E. - p. 10-21 , 2018

Link: https://dl.acm.org/doi/1..

14

Static interpretation of higher-order modules in Futhark: f..:

Elsman, Martin ; Henriksen, Troels ; Annenkov, Danil.
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-30 , 2018

Link: https://doi.org/10.1145/..

15

Futhark: purely functional GPU-programming with nested para..:

Henriksen, Troels ; Serup, Niels G. W. ; Elsman, Martin..
ACM SIGPLAN Notices. 52 (2017) 6 - p. 556-571 , 2017

Link: https://doi.org/10.1145/..