Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder. Energy Transparency for Deeply Embedded Programs. ACM Trans. Architecture and Code Optimization, Vol. tbc, Num. tbc, 2017.
ENTRA: Whole-systems energy transparency
Kerstin Eder, John P. Gallagher, Pedro Lopez-Garcia, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl. ENTRA: Whole-systems energy transparency. Microprocessors and Microsystems – Embedded Hardware Design, Vol. 47, pages 278–286, 2016.
Swallow: Building an Energy-Transparent Many-Core Embedded Real-Time System
Hollis, Simon J., Steve Kerrison. Swallow: Building an Energy-Transparent Many-Core Embedded Real-Time System. 2016 Design, Automation & Test in Europe (to appear), IEEE, March 2016. To appear.
An Energy-Aware Programming Approach for Mobile Application Development Guided by a Fine-Grained Energy Model
Xueliang Li, John P. Gallagher. An Energy-Aware Programming Approach for Mobile Application Development Guided by a Fine-Grained Energy Model. Roskilde University, February 2016. submitted for publication.
Interpolant tree automata and their application in Horn clause verification
Bishoksan Kafle, John P. Gallagher. Interpolant tree automata and their application in Horn clause verification. CoRR, February 2016. submitted to a workshop.
A Transformational Approach to Parametric Accumulated-cost Static Profiling
Rémy Haemmerlé, Pedro Lopez-Garcia, Umer Liqat, M. Klemen, J. P. Gallagher, Manuel Hermenegildo. A Transformational Approach to Parametric Accumulated-cost Static Profiling. Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016), LNCS, Springer, 2016. To appear.
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
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.
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks
Umer Liqat, Zorana Bankovic, Pedro Lopez-Garcia, Manuel Hermenegildo. Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2016), 2016. arXiv:1601.02800.
Fine-Grained Energy Modeling for Mobile Application Source Code
Xueliang Li, John P. Gallagher. Fine-Grained Energy Modeling for Mobile Application Source Code. Roskilde University, December 2015. submitted for publication.
Solving non-linear Horn clauses using a linear solver
Bishoksan Kafle. Solving non-linear Horn clauses using a linear solver. CoRR, December 2015. submitted to a workshop.
