conf.researchr.org / Ken Friis Larsen
Ken Friis Larsen

Registered user since Thu 3 Jan 2019

Name:Ken Friis Larsen
Country:Denmark
Affiliation:DIKU, University of Copenhagen
Personal website:https://www.diku.dk/~kflarsen
Research interests:Programming languages, Security, Privacy, Functional Programming, Systems, Music, Interactive Fiction

Contributions

PriSC 2020 Author of Hermes: Implementing Cryptography without Side-channels within the Principles of Secure Compilation 2020-track
Off the Beaten Track 2019 Author of F a Language for Music Composition within the Off the Beaten Track 2019-track
ML 2018 Author of Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules within the ML 2018-track
IC 2017 Author of Automatic Incrementalization of Functional Reports within the IC 2017-track
Haskell 2016 Committee Member in Program Committee within the Haskell-track
ARRAY Author of Design and GPGPU Performance of Futhark's Redomap Construct within the ARRAY-track