Ken Friis Larsen

According to our database, Ken Friis Larsen authored at least 17 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., August, 2024

Statistical investigations into the geometry and homology of random programs.

Jon Sporring, Ken Friis Larsen

CoRR, 2024

Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.

Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen

Proceedings of the Reversible Computation - 16th International Conference, 2024

2023

Delilah: eBPF-offload on Computational Storage.

Niclas Hedam, Morten Tychsen Clausen, Philippe Bonnet, Sangjin Lee, Ken Friis Larsen

Proceedings of the 19th International Workshop on Data Management on New Hardware, 2023

2018

Encryption and Reversible Computations - Work-in-progress Paper.

Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen

Proceedings of the Reversible Computation - 10th International Conference, 2018

2016

Design and GPGPU performance of Futhark's redomap construct.

Troels Henriksen, Ken Friis Larsen, Cosmin E. Oancea

Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, 2016

2015

Session types for Rust.

Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen

Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, 2015

2013

SkyView: a user evaluation of the skyline operator.

Matteo Magnani, Ira Assent, Kasper Hornbæk, Mikkel R. Jakobsen, Ken Friis Larsen

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

2012

An embedded DSL for stochastic processes: research article.

Michael Flænø Werk, Joakim Ahnfelt-Rønne, Ken Friis Larsen

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2011

Functional High Performance Financial IT.

Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

2010

Generic multiset programming with discrimination-based joins and symbolic Cartesian products.

Fritz Henglein, Ken Friis Larsen

High. Order Symb. Comput., 2010

Generic multiset programming for language-integrated querying.

Fritz Henglein, Ken Friis Larsen

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

2009

POETS: Process-oriented event-driven transaction systems.

Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen

J. Log. Algebraic Methods Program., 2009

A MuDDy Experience-ML Bindings to a BDD Library.

Ken Friis Larsen

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2004

mGTK: An SML Binding of Gtk+.

Ken Friis Larsen, Henning Niss

Proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Incremental execution of transformation specifications.

Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Typing XHTML Web Applications in ML.

Martin Elsman, Ken Friis Larsen

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004