Publikationer pr. år
Publikationer pr. år
Personlig profil
Forskning
Energiforbrug af software, Analyse af software, Automatiske Program transformationer
Emneord
- Datalogi, IT
- Software's Energiforbrug
- Analyse af Software
- Program inversion
Publikationsnetværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
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, I: Computer Science and Information Systems. 22, 2, s. 649-671 23 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil47 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 flere, , 2025, I: ACM SIGSOFT Software Engineering Notes. 50, 3, s. 14–23Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
-
Special Issue on Computer Systems and Resource Awareness: Editorial
Rakić, G., Kirkeby, M. H., Iyenghar, P. & Budimac, Z., 2025, I: Computer Science and Information Systems. 22, 2, s. i-iv 4 s.Publikation: Bidrag til tidsskrift › Leder
-
Static Communication Analysis for Hardware Design
Rosendahl, M. & Kirkeby, M. H., 27 maj 2025, Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software : Hamilton, Canada, 4th May 2025. Derakhshan, F. & Hoffmann, J. (red.). EPTCS, s. 34-43 10 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 420).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil29 Downloads (Pure) -
Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations
Kirkeby, M. H., Santos, B., Fernandes, J. P. & Pardo, A., 8 apr. 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, s. 1104-1113 10 s. (Proceedings of the ACM Symposium on Applied Computing).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil5 Citationer (Scopus)157 Downloads (Pure)
-
Grønne IT-indkøb
Pries-Heje, J. (Projektleder), Christensen, T. B. (Projektdeltager), Boulus-Rødje, N. (Projektdeltager) & Kirkeby, M. H. (Projektdeltager)
01/01/2024 → 31/07/2028
Projekter: Projekt › Forskning
-
Energy Analysis of Transformed Programs
Kirkeby, M. H. (Projektdeltager) & Fernandes, J. P. (Projektdeltager)
29/04/2022 → 16/05/2022
Projekter: Projekt › Forskning
-
Energy and Performance Trade-offs in Hardware and Software Implementations
Kirkeby, M. H. (Projektleder), Rosendahl, M. (Projektdeltager), Krabben, T. (Projektdeltager) & Schoeberl, M. (Projektdeltager)
01/02/2022 → 31/01/2023
Projekter: Projekt › Forskning
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager) & Lu, H. (Projektdeltager)
07/09/2021 → 31/05/2022
Projekter: Projekt › Forskning
-
CERCIRAS: COST Action CA19135: Connecting Education and Research Communities for an Innovative Resource Aware Society
Kirkeby, M. H. (Projektdeltager)
29/09/2020 → 28/09/2024
Projekter: Projekt › Forskning
Aktiviteter
-
CERCIRAS Training School 2022
Vardanega, T. (Arrangør), Bilic, I. (Arrangør), Kirkeby, M. H. (Arrangør), Schoeberl, M. (Arrangør), Pezzarossa, L. (Arrangør), Fernandes, J. P. (Arrangør), Santos, B. (Arrangør), Kertesz, A. (Arrangør) & Baniata, H. (Arrangør)
19 sep. 2022 → 24 sep. 2022Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Begivenhed)
Kirkeby, M. H. (Medlem)
7 sep. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Begivenhed)
Kirkeby, M. H. (Medlem)
17 aug. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Begivenhed)
Kirkeby, M. H. (Medlem)
20 jun. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Energy-Labeling Web-based IT Systems
Kirkeby, M. H. (Oplægsholder)
17 mar. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Presse/medier
-
Ekspert om AI-strømforbrug: »Vi lader de store techvirksomheder slippe afsted med for meget«
01/11/2024
1 element af Mediedækning
Presse/medie
-
AI er en tikkende bombe under datacentres galoperende elforbrug
11/10/2024
1 element af Mediedækning
Presse/medie
-
Digital Tech Summit: AI er en tikkende bombe i datacentres galoperende elforbrug
19/09/2024
1 element af Mediedækning
Presse/medie
-
Datacentres elforbrug eksploderer og stiller kæmpe krav til industrien
04/09/2024
3 elementer af Mediedækning
Presse/medie
-