Maja H. Kirkeby

29 papers C 4Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — conf
Static Analysis for Hardware Design.
Languages, Compilers, Analysis
Mads Rosendahl, Maja H. Kirkeby
2025 J jnl
Energy-efficiency of software and hardware algorithms.
Comput. Sci. Inf. Syst.
Maja H. Kirkeby, Thomas Krabben, Maria Bendix Mikkelsen, Mads Rosendahl, Mathias Marquar Arhipenko Larsen, Martin Sundman, Tjark Petersen, Martin Schoeberl
2025 J jnl
Evaluating End-User Device Energy Models in Sustainability Reporting of Browser-Based Web Services.
CoRR
Maja H. Kirkeby, Timmie Lagermann
2025 J jnl
Framework Matters: Energy Efficiency of UI Automation Testing Frameworks.
CoRR
Timmie Lagermann, Kristina Carter, Su Mei Gwen Ho, Luis Cruz, Kerstin Eder, Maja H. Kirkeby
2025 J jnl
Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices.
CoRR
Luis Cruz, João Paulo Fernandes, Maja H. Kirkeby, Silverio Martínez-Fernández, June Sallou, Hina Anwar, Enrique Barba Roque, Justus Bogner, Joel Castaño, Fernando Castor, Aadil Chasmawala, Simão Cunha, Daniel Feitosa, Alexandra González, Andreas Jedlitschka, Patricia Lago, Henry Muccini, Ana Oprescu, Pooja Rani, João Saraiva, Federica Sarro, Raghavendra Selvan, Karthik Vaidhyanathan, Roberto Verdecchia, Ivan P. Yamshchikov
2025 J jnl
Special issue on computer systems and resource awareness*: Editorial.
Comput. Sci. Inf. Syst.
Gordana Rakic, Maja H. Kirkeby, Padma Iyenghar, Zoran Budimac
2025 — conf
Static Communication Analysis for Hardware Design.
PLACES@ETAPS
Mads Rosendahl, Maja H. Kirkeby
2024 — ed.
Proceedings of the 3rd International Workshop on Resource AWareness of Systems and Society, Maribor, Slovenia, July 2nd - 5th, 2024.
RAW
Hamza Baniata, Maja H. Kirkeby
2023 J jnl
Energy Complexity for Sorting Algorithms in Java.
CoRR
Kristina Carter, Su Mei Gwen Ho, Mathias Marquar Arhipenko Larsen, Martin Sundman, Maja H. Kirkeby
2022 J jnl
Energy Consumption and Performance of Heapsort in Hardware and Software.
CoRR
Maja H. Kirkeby, Thomas Krabben, Mathias Marquar Arhipenko Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
2022 J jnl
Towards Comparing Performance of Algorithms in Hardware and Software.
CoRR
Maja H. Kirkeby, Martin Schoeberl
2021 — conf
An Approach to Estimating Energy Consumption of Web-based IT Systems.
CERCIRAS
Maja H. Kirkeby, John P. Gallagher, Bent Thomsen
2021 — conf
An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion.
VPT@ETAPS
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
2020 C conf
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems.
PPDP
Maja H. Kirkeby, Robert Glück
2019 J jnl
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.
Int. J. Approx. Reason.
Maja H. Kirkeby, Henning Christiansen
2018 C conf
Confluence of CHR Revisited: Invariants and Modulo Equivalence.
LOPSTR
Henning Christiansen, Maja H. Kirkeby
2018 J jnl
Confluence of CHR revisited: invariants and modulo equivalence.
CoRR
Henning Christiansen, Maja H. Kirkeby
2018 — conf
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs.
WFLP
Henning Christiansen, Maja H. Kirkeby
2018 J jnl
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs.
CoRR
Henning Christiansen, Maja H. Kirkeby
2017 C conf
Confluence and Convergence in Probabilistically Terminating Reduction Systems.
LOPSTR
Maja H. Kirkeby, Henning Christiansen
2017 J jnl
Confluence and Convergence in Probabilistically Terminating Reduction Systems.
CoRR
Maja H. Kirkeby, Henning Christiansen
2017 J jnl
On proving confluence modulo equivalence for Constraint Handling Rules.
Formal Aspects Comput.
Henning Christiansen, Maja H. Kirkeby
2016 J jnl
ENTRA: Whole-Systems Energy Transparency.
CoRR
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
2016 J jnl
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems
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
2016 J jnl
On Proving Confluence Modulo Equivalence for Constraint Handling Rules.
CoRR
Henning Christiansen, Maja H. Kirkeby
2016 J jnl
Probabilistic Resource Analysis by Program Transformation.
CoRR
Maja H. Kirkeby, Mads Rosendahl
2015 — conf
Probabilistic Output Analysis by Program Manipulation.
QAPL
Mads Rosendahl, Maja H. Kirkeby
2015 — conf
Probabilistic Resource Analysis by Program Transformation.
FOPARA
Maja H. Kirkeby, Mads Rosendahl
2014 C conf
Confluence Modulo Equivalence in Constraint Handling Rules.
LOPSTR
Henning Christiansen, Maja H. Kirkeby