Troels Henriksen

Registered user since Mon 9 May 2016

Name:Troels Henriksen
Bio:

I try to make functional programs go really, really fast. It’s not easy.

Country:Denmark
Affiliation:University of Copenhagen, Denmark
Personal website:http://sigkill.dk
Research interests:Compilers, parallel programming, performance

Contributions

ARRAY 2023 Committee Member in Organizing Committee within the ARRAY 2023-track
Committee Member in Organizing Committee within the ARRAY 2023-track
PPoPP 2023 PC Member in Program Committee within the Main Conference-track
ARRAY 2022 Committee Member in Organizing Committee within the ARRAY 2022-track
ARRAY 2021 Author of Towards size-dependent types for array programming within the ARRAY 2021-track
FHPNC 2021 Co-chair in Organizing Committee within the FHPNC 2021-track
Author of Welcome to FHPNC 2021 within the FHPNC 2021-track
VMCAI 2021 Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
FHPNC 2020 Co-chair in Organizing Committee within the FHPNC 2020 (cancelled)-track
FHPNC 2019 Author of Compiling Generalised Histograms for GPU (extended abstract) within the FHPNC-track
Author of Compositional Deep Learning in Futhark within the FHPNC-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
ARRAY 2019 Author of Data-Parallel Flattening by Expansion within the ARRAY 2019-track
Committee Member in Program Committee within the ARRAY 2019-track
PPoPP 2019 Committee Member in Artifact Evaluation Committee
Author of Incremental Flattening for Nested Data Parallelism within the Main Conference-track
ICFP 2018 Author of Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large within the Research Papers-track
FHPC 2018 Author of Modular Acceleration: Tricky Cases of Functional High-Performance Computing within the FHPC 2018-track
Programme Committee in Program Committee within the FHPC 2018-track
ML 2018 Committee Member in Program Committee within the ML 2018-track
FHPC 2017 Author of Strategies for Regular Segmented Reductions on GPU within the FHPC 2017-track
Author of Futhark Demo within the FHPC 2017-track
PLDI 2017 Author of Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates within the PLDI Research Papers-track
FHPC 2016 Author of APL on GPUs: A TAIL from the Past, Scribbled in Futhark within the FHPC-track
ARRAY Author of Design and GPGPU Performance of Futhark's Redomap Construct within the ARRAY-track