Maja Hanne Kirkeby

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Term Rewriting Systems

Empirical Analysis

Laplace Transform

Energy Efficiency

Top Venues

Publications

Lars-Bo Husted Vadgaard, Maja Hanne Kirkeby, Ken Friis Larsen, Michael Kirkedal Thomsen
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. RC (2024)
Maja Hanne Kirkeby, Bernardo Santos, João Paulo Fernandes, Alberto Pardo
Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations. SAC (2024)
Kerstin I. Eder, Timo Hönig, Daniel Mossé, Max Plauth, Maja Hanne Kirkeby
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341). Dagstuhl Reports 12 (8) (2022)
Maja Hanne Kirkeby
Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses. QAPL@ETAPS (2019)
Maja Hanne Kirkeby, Robert Glück
Semi-inversion of Conditional Constructor Term Rewriting Systems. LOPSTR (2019)