Maja H. Kirkeby
Orcid: 0000-0003-0033-2438Affiliations:
- Roskilde Universit, Denmark
According to our database1,
Maja H. Kirkeby
authored at least 20 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
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
2022
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341).
Dagstuhl Reports, 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
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
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
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
2017
Formal Aspects Comput., 2017
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
2016
2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015
2014
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014