Ken Friis Larsen

17 papers A* 1A 1C 4Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
Axiomatising an information flow logic based on partial equivalence relations.
Int. J. Softw. Tools Technol. Transf.
Andrzej Filinski, Ken Friis Larsen, Thomas P. Jensen
2024 C conf
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.
RC
Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen
2024 J jnl
Statistical investigations into the geometry and homology of random programs.
CoRR
Jon Sporring, Ken Friis Larsen
2023 C conf
Delilah: eBPF-offload on Computational Storage.
DaMoN
Niclas Hedam, Morten Tychsen Clausen, Philippe Bonnet, Sangjin Lee, Ken Friis Larsen
2018 C conf
Encryption and Reversible Computations - Work-in-progress Paper.
RC
Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen
2016 — conf
Design and GPGPU performance of Futhark's redomap construct.
ARRAY@PLDI
Troels Henriksen, Ken Friis Larsen, Cosmin E. Oancea
2015 — conf
Session types for Rust.
WGP@ICFP
Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen
2013 A conf
SkyView: a user evaluation of the skyline operator.
CIKM
Matteo Magnani, Ira Assent, Kasper Hornbæk, Mikkel R. Jakobsen, Ken Friis Larsen
2012 — conf
An embedded DSL for stochastic processes: research article.
FHPC@ICFP
Michael Flænø Werk, Joakim Ahnfelt-Rønne, Ken Friis Larsen
2011 — conf
Functional High Performance Financial IT.
Trends in Functional Programming
Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter
2010 — conf
Generic multiset programming for language-integrated querying.
ICFP-WGP
Fritz Henglein, Ken Friis Larsen
2010 J jnl
Generic multiset programming with discrimination-based joins and symbolic Cartesian products.
High. Order Symb. Comput.
Fritz Henglein, Ken Friis Larsen
2009 — conf
A MuDDy Experience-ML Bindings to a BDD Library.
DSL
Ken Friis Larsen
2009 J jnl
POETS: Process-oriented event-driven transaction systems.
J. Log. Algebraic Methods Program.
Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen
2004 A* conf
Incremental execution of transformation specifications.
POPL
Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen
2004 C conf
Typing XHTML Web Applications in ML.
PADL
Martin Elsman, Ken Friis Larsen
2004 — conf
mGTK: An SML Binding of Gtk+.
USENIX ATC, FREENIX Track
Ken Friis Larsen, Henning Niss