Maja H. Kirkeby

According to our database, Maja H. Kirkeby authored at least 17 papers between 2014 and 2023.

Collaborative distances:

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

2023

Energy Complexity for Sorting Algorithms in Java.

Kristina Carter, Su Mei Gwen Ho, Mathias Marquar Arhipenko Larsen, Martin Sundman, Maja H. Kirkeby

CoRR, 2023

2022

Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341).

Kerstin I. Eder, Timo Hönig, Daniel Mossé, Max Plauth, Maja Hanne Kirkeby

Dagstuhl Reports, 2022

Energy Consumption and Performance of Heapsort in Hardware and Software.

Maja H. Kirkeby, Thomas Krabben, Mathias Marquar Arhipenko Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman

CoRR, 2022

Towards Comparing Performance of Algorithms in Hardware and Software.

Maja H. Kirkeby, Martin Schoeberl

CoRR, 2022

2021

An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion.

Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

2020

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems.

Maja H. Kirkeby, Robert Glück

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2019

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.

Maja H. Kirkeby, Henning Christiansen

Int. J. Approx. Reason., 2019

Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses.

Maja Hanne Kirkeby

Proceedings of the Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, 2019

Semi-inversion of Conditional Constructor Term Rewriting Systems.

Maja Hanne Kirkeby, Robert Glück

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs.

Henning Christiansen, Maja H. Kirkeby

Proceedings of the Functional and Constraint Logic Programming, 2018

Confluence of CHR Revisited: Invariants and Modulo Equivalence.

Henning Christiansen, Maja H. Kirkeby

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

2017

On proving confluence modulo equivalence for Constraint Handling Rules.

Henning Christiansen, Maja H. Kirkeby

Formal Aspects Comput., 2017

Confluence and Convergence in Probabilistically Terminating Reduction Systems.

Maja H. Kirkeby, Henning Christiansen

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2016

ENTRA: Whole-systems energy transparency.

Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl

Microprocess. Microsystems, 2016

2015

Probabilistic Output Analysis by Program Manipulation.

Mads Rosendahl, Maja H. Kirkeby

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Probabilistic Resource Analysis by Program Transformation.

Maja H. Kirkeby, Mads Rosendahl

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2014

Confluence Modulo Equivalence in Constraint Handling Rules.

Henning Christiansen, Maja H. Kirkeby

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014