Follow
Umer Liqat
Umer Liqat
Other namesUmer Liaqat Ali
Unknown affiliation
Verified email at alumnos.upm.es - Homepage
Title
Cited by
Cited by
Year
Energy consumption analysis of programs based on XMOS ISA-level models
U Liqat, S Kerrison, A Serrano, K Georgiou, P Lopez-Garcia, N Grech, ...
Logic-Based Program Synthesis and Transformation: 23rd International …, 2014
902014
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
432015
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
302018
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
212016
A transformational approach to parametric accumulated-cost static profiling
R Haemmerlé, P López-García, U Liqat, M Klemen, JP Gallagher, ...
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016
172016
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
162016
Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks
U Liqat, Z Banković, P Lopez-Garcia, MV Hermenegildo
Logic-Based Program Synthesis and Transformation: 27th International …, 2018
122018
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
112016
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
92015
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
Artificial Intelligence Applications and Innovations: 11th IFIP WG 12.5 …, 2015
72015
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
Hybrid Artificial Intelligent Systems: 10th International Conference, HAIS …, 2015
62015
Inferring Energy Consumption at Different Software Levels: ISA vs
U Liqat, K Georgiou, S Kerrison, P Lopez-Garcia, MV Hermenegildo, ...
LLVM IR. Technical report, FET 318337 ENTRA Project, 2014
52014
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
42017
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
A general framework for static profiling of parametric resource usage–CORRIGENDUM
P López-García, M Klemen, U Liqat, MV Hermenegildo
Theory and Practice of Logic Programming 21 (2), 291-291, 2021
2021
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 using CiaoPP
P López García, MV Hermenegildo, M Klemen, U Liqat
The ALP Newsletter 30 (3), 1-6, 2017
2017
Energy consumption analysis and verification by transformantion into horn clauses and abstract interpretation
MV Hermenegildo, M Klemen, U Liqat, P López García
Open Publishing Association 253, 4-6, 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
The system can't perform the operation now. Try again later.
Articles 1–20