Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro Lopez-Garcia, Manuel Hermenegildo, J. P. Gallagher, Kerstin Eder. Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Foundational and Practical Aspects of Resource Analysis. Fourth International Workshop FOPARA 2015, Revised Selected Papers, Springer, 2016. To appear.