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
-
An Approach to Estimating Energy Consumption of Web-based IT Systems
Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, I: CEUR Workshop Proceedings. 3145Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › 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. (red.). EPTCS, s. 33-41 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS; Nr. 341).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
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.Publikation: Andet › Udgivelser på nettet - Net-publikation › Formidling
-
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
Kirkeby, M. H. & Glück, R., 1 sep. 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. New York: Association for Computing Machinery, s. 1-14 14 s. 3414089Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. (red.). Open Publishing Association, Bind 312. s. 43-57 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 312).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang
-
CERCIRAS: COST Action CA19135: Connecting Education and Research Communities for an Innovative Resource Aware Society
29/09/2020 → 28/09/2024
Projekter: Projekt › Forskning
-
Energy Analysis of Transformed Programs
Kirkeby, M. H. & Fernandes, J. P.
29/04/2022 → 16/05/2022
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Forskning
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.
07/09/2021 → 31/05/2022
Projekter: Projekt › Forskning
-
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Projekter: Projekt › Forskning
Aktiviteter
-
CERCIRAS Training School 2022
Tullio Vardanega (Arrangør), Ivana Bilic (Arrangør), Maja Hanne Kirkeby (Arrangør), Martin Schoeberl (Arrangør), Luca Pezzarossa (Arrangør), João Paulo Fernandes (Arrangør), Bernardo Santos (Arrangør), Attila Kertesz (Arrangør) & Hamza Baniata (Arrangør)
19 sep. 2022 → 24 sep. 2022Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Begivenhed)
Maja Hanne Kirkeby (Medlem)
17 aug. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Energy-Labeling Web-based IT Systems
Maja Hanne Kirkeby (Oplægsholder)
17 mar. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Begivenhed)
Maja Hanne Kirkeby (Medlem)
20 jun. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Begivenhed)
Maja Hanne Kirkeby (Medlem)
7 sep. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Presse/medier
-
It-branchen mangler fokus på klimaaftryk fra software
04/11/2023
1 element af Mediedækning
Presse/medie
-
-
Dansk internetteknologi vil barbere op til 10 procent af landets elforbrug: Men der er mange fugle på taget
17/05/2023
1 element af Mediedækning
Presse/medie
-
PRM / Hjemmesider sviner - webbureau tager kampen op med RUC
16/12/2022
1 element af Mediedækning
Presse/medie