关注
Troels Henriksen
Troels Henriksen
Assistant Professor, University of Copenhagen
在 sigkill.dk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
T Henriksen, NGW Serup, M Elsman, F Henglein, CE Oancea
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
2242017
Incremental flattening for nested data parallelism
T Henriksen, F Thorøe, M Elsman, C Oancea
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
492019
Design and implementation of the Futhark programming language
T Henriksen
University of Copenhagen, Faculty of Science [Department of Computer Science], 2017
40*2017
A T2 graph-reduction approach to fusion
T Henriksen, CE Oancea
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
362013
Finpar: A parallel financial benchmark
C Andreetta, V Bégot, J Berthold, M Elsman, F Henglein, T Henriksen, ...
ACM Transactions on Architecture and Code Optimization (TACO) 13 (2), 1-27, 2016
352016
Size slicing: a hybrid approach to size inference in Futhark
T Henriksen, M Elsman, CE Oancea
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance …, 2014
352014
Static interpretation of higher-order modules in Futhark: Functional GPU programming in the large
M Elsman, T Henriksen, D Annenkov, CE Oancea
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
302018
Compiling generalized histograms for gpu
T Henriksen, S Hellfritzsch, P Sadayappan, C Oancea
SC20: International Conference for High Performance Computing, Networking …, 2020
282020
Design and GPGPU performance of Futhark's redomap construct
T Henriksen, KF Larsen, CE Oancea
Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries …, 2016
262016
Strategies for regular segmented reductions on gpu
RW Larsen, T Henriksen
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High …, 2017
252017
APL on GPUs: A TAIL from the Past, Scribbled in Futhark
T Henriksen, M Dybdal, H Urms, AS Kiehn, D Gavin, H Abelskov, ...
Proceedings of the 5th International Workshop on Functional High-Performance …, 2016
252016
Bounds checking: An instance of hybrid analysis
T Henriksen, CE Oancea
Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages …, 2014
252014
Massively-parallel change detection for satellite time series data with missing values
F Gieseke, S Rosca, T Henriksen, J Verbesselt, CE Oancea
2020 IEEE 36th International Conference on Data Engineering (ICDE), 385-396, 2020
212020
High-Performance Defunctionalisation in Futhark
AK Hovgaard, T Henriksen, M Elsman
International Symposium on Trends in Functional Programming, 136-156, 2018
172018
Modular acceleration: tricky cases of functional high-performance computing
T Henriksen, M Elsman, CE Oancea
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High …, 2018
162018
Towards size-dependent types for array programming
T Henriksen, M Elsman
Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries …, 2021
142021
Data-parallel flattening by expansion
M Elsman, T Henriksen, NGW Serup
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries …, 2019
142019
Parallel programming in Futhark
M Elsman, T Henriksen, CE Oancea
DIKU, November, 2018
122018
Ad for an array language with nested parallelism
R Schenck, O Rϕnning, T Henriksen, CE Oancea
SC22: International Conference for High Performance Computing, Networking …, 2022
102022
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark
P Munksgaard, SL Breddam, T Henriksen, FC Gieseke, C Oancea
International Symposium on Trends in Functional Programming, 3-23, 2021
82021
系统目前无法执行此操作,请稍后再试。
文章 1–20