Maja H. Kirkeby

Orcid: 0000-0003-0033-2438

Affiliations:
  • Roskilde Universit, Denmark


According to our database1, Maja H. Kirkeby authored at least 20 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.
Proceedings of the Reversible Computation - 16th International Conference, 2024

2023
Energy Complexity for Sorting Algorithms in Java.
CoRR, 2023

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

Energy Consumption and Performance of Heapsort in Hardware and Software.
CoRR, 2022

Towards Comparing Performance of Algorithms in Hardware and Software.
CoRR, 2022

2021
An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion.
Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

An Approach to Estimating Energy Consumption of Web-based IT Systems.
Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS), 2021

2020
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems.
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.
Int. J. Approx. Reason., 2019

Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses.
Proceedings of the Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, 2019

Semi-inversion of Conditional Constructor Term Rewriting Systems.
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.
Proceedings of the Functional and Constraint Logic Programming, 2018

Confluence of CHR Revisited: Invariants and Modulo Equivalence.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

2017
On proving confluence modulo equivalence for Constraint Handling Rules.
Formal Aspects Comput., 2017

Confluence and Convergence in Probabilistically Terminating Reduction Systems.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2016
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems, 2016

2015
Probabilistic Output Analysis by Program Manipulation.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Probabilistic Resource Analysis by Program Transformation.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2014
Confluence Modulo Equivalence in Constraint Handling Rules.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014


  Loading...