Ken Friis Larsen

University of Copenhagen — Denmark

Computer Science · Physical Sciences

7h-index224citations24works0.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(10), Advanced Database Systems and Queries(7), Parallel Computing and Optimization Techniques(5), Formal Methods in Verification(4), Distributed and Parallel Computing Systems(3)

Publications24 total

Axiomatising an information flow logic based on partial equivalence relations
International Journal on Software Tools for Technology Transfer·2024· 1 citedOpen Access
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Lecture notes in computer science·2024Open Access
Delilah: eBPF-offload on Computational Storage
2023· 8 citedOpen Access
Combining the Hol98 proof assistant with the BuDDy BDD package
CL Technical Reports·2021· 5 citedOpen Access
Encryption and Reversible Computations
Lecture notes in computer science·2018· 6 cited
Design and GPGPU performance of Futhark's redomap construct
2016· 13 cited
Session types for Rust
2015· 60 cited
SkyView
2013· 7 cited
An embedded DSL for stochastic processes
2012· 6 cited
Functional High Performance Financial IT
Lecture notes in computer science·2012· 3 cited
Memory Efficient Implementation of Probability Monads
2011· 2 cited
Generic multiset programming for language-integrated querying
2010· 6 cited
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
LISP and Symbolic Computation·2010· 13 cited
A MuDDy Experience–ML Bindings to a BDD Library
Lecture notes in computer science·2009Open Access
POETS: Process-oriented event-driven transaction systems
The Journal of Logic and Algebraic Programming·2008· 14 cited
Classifying VAT Legislation for Automation
2008
Kunsten at vejlede et konstruktionsprojekt
Dansk Universitetspædagogisk Tidsskrift·2007Open Access
SIPP Policy Dialogue Number 15 Spring 2007
oURspace (University of Regina)·2007Open Access
mGTK: an SML binding of Gtk+
USENIX Annual Technical Conference·2004· 3 cited
Incremental execution of transformation specifications
ACM SIGPLAN Notices·2004· 1 cited
page 1 of 2Next →

Frequent Co-authors

Fritz Henglein(4), Ganesh Sittampalam(2), Oege de Moor(2), Martin Elsman(2), Jakob Grue Simonsen(2), Michael Kirkedal Thomsen(2), Henning Niss(2), Andrzej Filinski(2), Thomas Bracht Laumann Jespersen(1), Philip Munksgaard(1), Christian Stefansen(1), Troels Henriksen(1), Cosmin E. Oancea(1), Niclas Hedam(1), M. Clausen(1), Philippe Bonnet(1), Sangjin Lee(1), Matteo Magnani(1), Ira Assent(1), Kasper Hornbæk(1)