Statische Analyse zur Prädiktion des Energieverbrauchs von Programmen
- News
- Studium
Die nächste Vorlesung im Rahmen der Ringvorlesung zu Informatik und Nachhaltigkeit findet am Mittwoch, 4.6.2025, 16:15 Uhr, im Raum E.23 in der Otto-Hahn-Str. 14, statt.
Ben Hermann: Statische Analyse zur Prädiktion des Energieverbrauchs von Programmen
Abstract:
Den Stromverbrauch eines Programms zu messen, erfordert es auszuführen. Das ist jedoch nicht immer möglich: Es kann Sicherheitsbedenken geben oder vielleicht steht die endgültige Ausführungsumgebung noch nicht ganz fest. Zudem verbraucht die Messung selbst Energie. Will man sie sauber durchführen misst man mehrere Durchläufe. Ich zeige in meinem Vortrag einen anderen Weg. Unser Forschungsprojekt SPEAR erlaubt es nur anhand des Programmcodes eine Voraussage des Energieverbrauchs beliebiger (C-)Programme zu erhalten. Wir nutzen dazu Verfahren der statischen Programmanalyse und erreichen Ergebnisse, die sehr nah an eigentliche Messungen sind. Das erlaubt es Entwickler:innen schon beim Programmieren auf den Energieverbrauch ihrer Lösung zu achten.
Bemerkungen:
Das SPEAR-Projekt hat den Nachhaltigkeitspreis der Fakultät für Informatik 2024 in der Kategorie Technische Nachhaltigkeit gewonnen. Und beim Forum Junge Spitzenforschung 2025: „Energie und Klima – Gemeinsam für die Zukunft“ hat es den zweiten Preis erreicht.