@misc{indiciae0fb8dca25a3e,
  title = {Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks},
  author = {Umer Liqat and Zorana Bankovic and Pedro Lopez-Garcia and Manuel V. Hermenegildo},
  year = {2017},
  url = {https://arxiv.org/abs/1601.02800},
  note = {Source identifier: 1601.02800}
}