Umer Liqat
Umer Liqat
IMDEA Software Institute and Universidad Politecnica de Madrid
Verified email at imdea.org - Homepage
TitleCited byYear
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
622013
Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR
U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, JP Gallagher, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2015
272015
A transformational approach to parametric accumulated-cost static profiling
R Haemmerlé, P López-García, U Liqat, M Klemen, JP Gallagher, ...
International Symposium on Functional and Logic Programming, 163-180, 2016
122016
ENTRA: Whole-systems energy transparency
K Eder, JP Gallagher, P López-García, H Muller, Z Banković, K Georgiou, ...
Microprocessors and Microsystems 47, 278-286, 2016
92016
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks
U Liqat, Z Bankovic, P Lopez-Garcia, MV Hermenegildo
Proceedings of the Workshop on High Performance Energy Efficient Embedded …, 2016
92016
A general framework for static profiling of parametric resource usage
P Lopez-Garcia, M Klemen, U Liqat, MV Hermenegildo
Theory and Practice of Logic Programming 16 (5-6), 849-865, 2016
82016
Towards Energy Consumption Verification via Static Analysis
P Lopez-Garcia, R Haemmerle, M Klemen, U Liqat, MV Hermenegildo
Proceedings of the Workshop on High Performance Energy Efficient Embedded …, 2015
62015
A practical approach for energy efficient scheduling in multicore environments by combining evolutionary and YDS algorithms with faster energy estimation
Z Banković, U Liqat, P López-García
IFIP International Conference on Artificial Intelligence Applications and …, 2015
62015
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
P Lopez-Garcia, L Darmawan, M Klemen, U Liqat, F Bueno, ...
Theory and Practice of Logic Programming 18 (2), 167-223, 2018
52018
Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling
Z Banković, U Liqat, P López-García
International Conference on Hybrid Artificial Intelligence Systems, 690-701, 2015
42015
Inferring energy consumption at different software levels: ISA vs. LLVM IR
U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, MV Hermenegildo, ...
Proc. of the Foundational and Practical Aspects of Resource Analysis …, 2015
42015
Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks
U Liqat, Z Banković, P Lopez-Garcia, MV Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2017
32017
A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms.
Z BANKOVIĆ, U Liqat, P Lopez-Garcia
Journal of Multiple-Valued Logic & Soft Computing 32, 2019
12019
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors
U Liqat, Z Banković, P Lopez-Garcia, MV Hermenegildo
Logic Journal of the IGPL 25 (6), 1006-1019, 2017
12017
A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development
U Liqat
Universidad Politécnica de Madrid, 2018
2018
Energy Consumption Analysis and Verification by Transformation into Horn Clauses and Abstract Interpretation
MV Hermenegildo, M Klemen, U Liqat, PL Garcia
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 4-+, 2017
2017
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015
F Corbera, A Rodríguez, R Asenjo, A Navarro, A Vilches, M Garzaran, ...
arXiv preprint arXiv:1501.03064, 2015
2015
Towards LLVM Based Energy Consumption Analysis of Programs
K Georgiou, U Liqat
ICT Energy Letters, 16--17, 2014
2014
ENTRA: Whole-systems energy transparency
Z Bankoviéc, K Georgiou, R Haemmerléc, MV Hermenegildac, B Kafle, ...
A General Equational Framework for Static Profiling of Parametric Resource Usage∗
P López-García, M Klemen, U Liqat, MV Hermenegildo
The system can't perform the operation now. Try again later.
Articles 1–20