Nikolaj Hey Hinnerskov -

Registered user since Tue 4 Mar 2025

Name:Nikolaj Hey Hinnerskov

Affiliation:University of Copenhagen, Denmark

GitHub: https://github.com/nhey

Research interests:Array programming, functional programming, compilers

Contributions

2026

PLDI

Author of Verifying Array Properties in Pure Data-Parallel Programs within the PLDI Research Papers-track

2024

SPLASH

Author of AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming within the OOPSLA 2024-track

ARRAY

Author of AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming within the ARRAY 2024-track
Author of Mechanical Proofs in an Array-Combinator Language within the ARRAY 2024-track