Nikolaj Hey Hinnerskov
I'm a programmer and a PhD student in the PL
section at the
University of Copenhagen
(supervised by Cosmin Oancea).
I work on
Futhark, a functional array language, with a focus
on program verification and optimization.
I'm interested in the ergonomics of writing performant, bug-free
programs—how static analyses can give better feedback for the
programmer (human or otherwise) while eliminating runtime overhead.
Contact:
CV (pdf) ·
nihi@di.ku.dk (email) ·
Google
Scholar ·
GitHub
Publications
-
Verifying Array
Properties in Pure Data-Parallel Programs.
Nikolaj Hey Hinnerskov, Robert Schenck, Cosmin
Oancea. PLDI 2026.
-
AUTOMAP: Inferring
Rank-Polymorphic Function Applications with Integer Linear
Programming.
Robert Schenck, Nikolaj Hey Hinnerskov, Troels
Henriksen, Magnus Madsen, Martin Elsman. OOPSLA 2024.
-
Reverse-Mode
AD of Multi-Reduce and Scan in Futhark.
Lotte Maria Bruun, Ulrik Stuhr Larsen,
Nikolaj Hey Hinnerskov, Cosmin Eugen Oancea.
IFL 2023.
-
Seasonal-Trend
Time Series Decomposition on Graphics Processing Units.
Dmitry Serykh, Stefan Oehmcke, Cosmin Oancea, Dainius
Masiliūnas, Jan Verbesselt, Yan Cheng, Stéphanie
Horion, Fabian Gieseke, Nikolaj Hinnerskov.
IEEE Big Data 2023.