Typing XHTML Web Applications in ML. - Martin Elsman; Ken Friis Larsen (PADL, 2004)

Incremental execution of transformation specifications. - Ganesh Sittampalam; Oege de Moor; Ken Friis Larsen (POPL, 2004)

mGTK: An SML Binding of Gtk+. - Ken Friis Larsen; Henning Niss (USENIX ATC, FREENIX Track, 2004)

A MuDDy Experience-ML Bindings to a BDD Library. - Ken Friis Larsen (DSL, 2009)

POETS: Process-oriented event-driven transaction systems. - Fritz Henglein; Ken Friis Larsen; Jakob Grue Simonsen; Christian Stefansen (J. Log. Algebraic Methods Program., 2009)

Generic multiset programming for language-integrated querying. - Fritz Henglein; Ken Friis Larsen (ICFP-WGP, 2010)

Generic multiset programming with discrimination-based joins and symbolic Cartesian products. - Fritz Henglein; Ken Friis Larsen (High. Order Symb. Comput., 2010)

Functional High Performance Financial IT. - Jost Berthold; Andrzej Filinski; Fritz Henglein; Ken Friis Larsen; Mogens Steffensen; Brian Vinter (Trends in Functional Programming, 2011)

An embedded DSL for stochastic processes: research article. - Michael Flænø Werk; Joakim Ahnfelt-Rønne; Ken Friis Larsen (FHPC@ICFP, 2012)

SkyView: a user evaluation of the skyline operator. - Matteo Magnani; Ira Assent; Kasper Hornbæk; Mikkel R. Jakobsen; Ken Friis Larsen (CIKM, 2013)

Session types for Rust. - Thomas Bracht Laumann Jespersen; Philip Munksgaard; Ken Friis Larsen (WGP@ICFP, 2015)

Design and GPGPU performance of Futhark's redomap construct. - Troels Henriksen; Ken Friis Larsen; Cosmin E. Oancea (ARRAY@PLDI, 2016)

Encryption and Reversible Computations - Work-in-progress Paper. - Dominik Táborský; Ken Friis Larsen; Michael Kirkedal Thomsen (RC, 2018)

Delilah: eBPF-offload on Computational Storage. - Niclas Hedam; Morten Tychsen Clausen; Philippe Bonnet; Sangjin Lee 001; Ken Friis Larsen (DaMoN, 2023)

Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. - Lars-Bo Husted Vadgaard; Maja Hanne Kirkeby; Ken Friis Larsen; Michael Kirkedal Thomsen (RC, 2024)

Statistical investigations into the geometry and homology of random programs. - Jon Sporring; Ken Friis Larsen (CoRR, 2024)

Axiomatising an information flow logic based on partial equivalence relations. - Andrzej Filinski; Ken Friis Larsen; Thomas P. Jensen (Int. J. Softw. Tools Technol. Transf., 2024)