Leveraging Types and Typestate for Peripheral Cost Analysis
NJPLS, University of Pennsylvania, Philadelphia, PA, USA
I presented in-progress work on developing a type system to automically perform energy cost analysis for embedded systems with stateful peripherals.