E-LIB Suche - Ergebnisse für: Henriksen, Troels

1

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..

2

Proceedings of the 9th ACM SIGPLAN International Workshop o..:

Henriksen, Troels ; Sinkarovs, Artjoms , 2023

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

3

Fast and Efficient Boolean Unification for Hindley-Milner-S..:

Madsen, Magnus ; van de Pol, Jaco ; Henriksen, Troels
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 516-543 , 2023

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

4

Memory Optimizations in an Array Language:

, In: SC22: International Conference for High Performance Computing, Networking, Storage and Analysis,

Munksgaard, Philip ; Henriksen, Troels ; Sadayappan, Ponnuswamy. - p. 1-15 , 2022

Link: https://doi.org/10.1109/..

5

Compiling a functional array language with non-semantic mem..:

, In: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages,

Munksgaard, Philip ; Oancea, Cosmin ; Henriksen, Troels - p. 1-13 , 2022

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

6

AD for an Array Language with Nested Parallelism:

, In: SC22: International Conference for High Performance Computing, Networking, Storage and Analysis,

Schenck, Robert ; Ronning, Ola ; Henriksen, Troels. - p. 1-15 , 2022

Link: https://doi.org/10.1109/..

7

Proceedings of the 8th ACM SIGPLAN International Workshop o..:

Henriksen, Troels ; Low, Tze Meng , 2022

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

8

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..

9

Bounds Checking on GPU:

Henriksen, Troels
International Journal of Parallel Programming. 49 (2021) 6 - p. 761-775 , 2021

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

10

Proceedings of the 9th ACM SIGPLAN International Workshop o..:

Keller, Gabriele ; Henriksen, Troels , 2021

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

11

Dataset Sensitive Autotuning of Multi-versioned Code Based ..:

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

Munksgaard, Philip ; Breddam, Svend Lund ; Henriksen, Troels.. - p. 3-23 , 2021

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

12

Massively-Parallel Change Detection for Satellite Time Seri..:

, In: 2020 IEEE 36th International Conference on Data Engineering (ICDE),

Gieseke, Fabian ; Rosca, Sabina ; Henriksen, Troels.. - p. 385-396 , 2020

Link: https://doi.org/10.1109/..

13

Compiling generalized histograms for GPU:

, In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis,

Henriksen, Troels ; Hellfritzsch, Sune ; Sadayappan, Ponnuswamy. - p. 1-14 , 2020

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

14

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..

15

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..