Articles in Books and Other Collections:
- U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, M. V. Hermenegildo, J. P. Gallagher, K. Eder.
Inferring Energy Consumption at Different
Software Levels: ISA vs. LLVM IR.
Foundational and Practical Aspects of Resource Analysis. Fourth International Workshop FOPARA 2015, Revised Selected Papers,
Lecture Notes in Computer Science,
Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:
- R. Haemmerlé, P. Lopez-Garcia, U. Liqat, M. Klemen, J. P. Gallagher, M. V. Hermenegildo.
A Transformational Approach to Parametric
Accumulated-cost Static Profiling.
Thirteenth International Symposium on Functional
and Logic Programming (FLOPS 2016),
Publications in Refereed Workshops:
- U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo.
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.
Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2016),
Last updated on Tue Feb 2 15:16:50 CET 2016