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