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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Static Analysis for Hardware Design
Rosendahl, M. & Kirkeby, M. H., 2026, Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement. Springer, p. 151-169 19 p. (Lecture Notes in Computer Science, Vol. 15500).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
Energy-efficiency of software and hardware algorithms
Kirkeby, M. H., Krabben, T., Mikkelsen, M. B., Rosendahl, M., Larsen, M., Sundman, M., Petersen, T. & Schoeberl, M., Apr 2025, In: Computer Science and Information Systems. 22, 2, p. 649-671 23 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile43 Downloads (Pure) -
Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices
Cruz, L., Fernandes, J. P., Kirkeby, M. H., Martínez-Fernández, S., Sallou, J., Anwar, H., Roque, E. B., Bogner, J., Castaño, J., Castor, F., Chasmawala, A., Cunha, S., Feitosa, D., González, A., Jedlitschka, A., Lago, P., Muccini, H., Oprescu, A., Rani, P. & Saraiva, J. & 5 others, , 2025, In: ACM SIGSOFT Software Engineering Notes. 50, 3, p. 14–23Research output: Contribution to journal › Journal article › Research
-
Special Issue on Computer Systems and Resource Awareness: Editorial
Rakić, G., Kirkeby, M. H., Iyenghar, P. & Budimac, Z., 2025, In: Computer Science and Information Systems. 22, 2, p. i-iv 4 p.Research output: Contribution to journal › Editorial
-
Static Communication Analysis for Hardware Design
Rosendahl, M. & Kirkeby, M. H., 27 May 2025, Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software : Hamilton, Canada, 4th May 2025. Derakhshan, F. & Hoffmann, J. (eds.). EPTCS, p. 34-43 10 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 420).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile24 Downloads (Pure)
-
Green IT-procurement
Pries-Heje, J. (Project manager), Christensen, T. B. (Project participant), Boulus-Rødje, N. (Project participant) & Kirkeby, M. H. (Project participant)
01/01/2024 → 31/07/2028
Project: Research
-
Energy Analysis of Transformed Programs
Kirkeby, M. H. (Project participant) & Fernandes, J. P. (Project participant)
29/04/2022 → 16/05/2022
Project: Research
-
Energy and Performance Trade-offs in Hardware and Software Implementations
Kirkeby, M. H. (Project manager), Rosendahl, M. (Project participant), Krabben, T. (Project participant) & Schoeberl, M. (Project participant)
01/02/2022 → 31/01/2023
Project: Research
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H. (Project participant), Rosendahl, M. (Project participant), Rhiger, M. (Project participant) & Lu, H. (Project participant)
07/09/2021 → 31/05/2022
Project: Research
-
CERCIRAS: COST Action: CA19135 - Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS)
Kirkeby, M. H. (Project participant)
29/09/2020 → 28/09/2024
Project: Research
Activities
-
CERCIRAS Training School 2022
Vardanega, T. (Organizer), Bilic, I. (Organizer), Kirkeby, M. H. (Organizer), Schoeberl, M. (Organizer), Pezzarossa, L. (Organizer), Fernandes, J. P. (Organizer), Santos, B. (Organizer), Kertesz, A. (Organizer) & Baniata, H. (Organizer)
19 Sept 2022 → 24 Sept 2022Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Event)
Kirkeby, M. H. (Member)
7 Sept 2021Activity: Membership › Membership in committee, council, board
-
20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Event)
Kirkeby, M. H. (Member)
17 Aug 2021Activity: Membership › Membership in committee, council, board
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Event)
Kirkeby, M. H. (Member)
20 Jun 2021Activity: Membership › Membership in committee, council, board
-
Energy-Labeling Web-based IT Systems
Kirkeby, M. H. (Speaker)
17 Mar 2021Activity: Talk or presentation › Lecture and oral contribution
Press/Media
-
Ekspert om AI-strømforbrug: »Vi lader de store techvirksomheder slippe afsted med for meget«
01/11/2024
1 item of Media coverage
Press/Media: Press / Media
-
AI er en tikkende bombe under datacentres galoperende elforbrug
11/10/2024
1 item of Media coverage
Press/Media: Press / Media
-
Digital Tech Summit: AI er en tikkende bombe i datacentres galoperende elforbrug
19/09/2024
1 item of Media coverage
Press/Media: Press / Media
-
Datacentres elforbrug eksploderer og stiller kæmpe krav til industrien
04/09/2024
3 items of Media coverage
Press/Media: Press / Media
-
Vækst i elforbrug vil kræve 350 kæmpevindmøller
31/05/2024
1 item of Media coverage
Press/Media: Press / Media