Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks | Publicación