Research output per year
Research output per year
Personal profile
Research
Energy consumption of Software, Analysis of Software, Program Transformation
Keywords
- Computer science, IT
- Program Inversion
- Energy-aware Software Development
- Program Analysis
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Approach to Estimating Energy Consumption of Web-based IT Systems
Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, In: CEUR Workshop Proceedings. 3145Research output: Contribution to journal › Conference article › Research › peer-review
-
An inversion tool for conditional term rewriting systems – A case study of Ackermann inversion
Mikkelsen, M. B., Glück, R. & Kirkeby, M. H., 6 Sep 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). EPTCS, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; No. 341).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
Teknologi belaster klimaet: Sådan mindsker du aftrykket fra software og hardware CO2-reduktion Data
Hansen, M. R. P. & Kirkeby, M. H., 1 Dec 2021, pro.ing.dk : Teknologiens Mediehus.Research output: Other contribution › Net publication - Internet publication › Communication
-
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
Kirkeby, M. H. & Glück, R., 1 Sep 2020, PPDP '20: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming. New York: Association for Computing Machinery, p. 1-14 14 p. 9Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Probabilistic Output Analyses for Deterministic Programs: Reusing Existing Non-probabilistic Analyses
Kirkeby, M. H., 20 Jan 2020, Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems Prague, Czech Republic, 7th April 2019. Aldini, A. & Wiklicky, H. (eds.). Open Publishing Association, p. 43-57 (Electronic Proceedings in Theoretical Computer Science; No. 312).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
-
Energy and Performance Trade-offs in Hardware and Software Implementations
Kirkeby, M. H., Rosendahl, M., Krabben, T. & Schoeberl, M.
01/02/2022 → 31/01/2023
Project: Research
-
CERCIRAS: COST Action: CA19135 - Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS)
29/09/2020 → 28/09/2024
Project: Research
-
Energy Analysis of Transformed Programs
Kirkeby, M. H. & Fernandes, J. P.
29/04/2022 → 16/05/2022
Project: Research
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.
07/09/2021 → 31/05/2022
Project: Research
-
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
Activities
-
CERCIRAS Training School 2022
Tullio Vardanega (Organizer), Ivana Bilic (Organizer), Maja Hanne Kirkeby (Organizer), Martin Schoeberl (Organizer), Luca Pezzarossa (Organizer), João Paulo Fernandes (Organizer), Bernardo Santos (Organizer), Attila Kertesz (Organizer) & Hamza Baniata (Organizer)
19 Sep 2022 → 24 Sep 2022Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Event)
Maja Hanne Kirkeby (Member)
7 Sep 2021Activity: Membership › Membership in committee, council, board
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Event)
Maja Hanne Kirkeby (Member)
20 Jun 2021Activity: Membership › Membership in committee, council, board
-
20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Event)
Maja Hanne Kirkeby (Member)
17 Aug 2021Activity: Membership › Membership in committee, council, board
-
Energy-Labeling Web-based IT Systems
Maja Hanne Kirkeby (Speaker)
17 Mar 2021Activity: Talk or presentation › Lecture and oral contribution