The Case for Energy Clarity

Thumbnail

Event details

Date 25.08.2025
Hour 15:0017:00
Speaker Fan Chung
Location
Category Conferences - Seminars
EDIC candidacy exam
Exam president: Prof. Martin Odersky
Thesis advisor: Prof. George Candea
Co-examiner: Prof. David Atienza

Abstract
Fan's thesis is focused on reasoning about the resource usage of applications, with the goal of achieving "energy clarity", i.e., understanding how the software and hardware energy usage is influenced by inputs, configurations, and system states. He is investigating the concept of "energy interfaces", which are ways to summarize an application's energy behavior analogously to how functional interfaces summarize functional behavior. These energy interfaces should enable developers to better understand energy usage: they can read and execute the interfaces, they can use the interfaces to specify energy constraints (e.g.,. upper bounds), and so on.
For the candidacy exam, he is proposing to discuss existing work on resource usage analysis, use cases for such energy interfaces, and his preliminary work on obtaining energy interfaces for real-world applications. He published some of these initial thoughts in HotOS (https://dslab.epfl.ch/pubs/energy-clarity.pdf).

Selected papers

Practical information

  • General public
  • Free

Tags

EDIC candidacy exam

Share