EnergyTimers (SOSP 2019 SRC)