Get started
Author

Umer Liqat

Observed names: Liqat, Umer, U Liqat, U. LIQAT, U. Liqat
ORCID: 0000-0001-9104-8410
Observed ORCID: 0000-0001-9104-8410
OpenAlex ID: A5068998348
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
2014 · Umer Liqat, Steve Kerrison, et al. · Lecture notes in computer science · 108
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
2018 · P. LOPEZ-GARCIA, L. DARMAWAN, et al. · Theory and Practice of Logic Programming · 37
PDF
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
2016 · U. Liqat, K. Georgiou, et al. · Lecture notes in computer science · 37
PDF
ENTRA: Whole-systems energy transparency
2016 · Kerstin Eder, John P. Gallagher, et al. · Microprocessors and Microsystems · 24
A general framework for static profiling of parametric resource usage
2016 · P. LOPEZ-GARCIA, M. KLEMEN, et al. · Theory and Practice of Logic Programming · 15
A Transformational Approach to Parametric Accumulated-Cost Static Profiling
2016 · R. Haemmerlé, P. López-García, et al. · Lecture notes in computer science · 10
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
2018 · Umer Liqat, Zorana Banković, et al. · Lecture notes in computer science · 8
PDF
Towards Energy Consumption Verification via Static Analysis
2015 · Lopez-Garcia, Pedro, Haemmerle, Remy, et al. · Hispana · 7
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015
2015 · Corbera, Francisco, Rodríguez, Andrés, et al. · arXiv (Cornell University) · 4
PDF
Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling
2015 · Zorana Banković, Umer Liqat, et al. · Lecture notes in computer science · 4
A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation
2015 · Zorana Banković, Umer Liqat, et al. · IFIP advances in information and communication technology · 4
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors
2017 · U Liqat, Z Banković, et al. · Logic Journal of IGPL · 3
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks
2016 · Umer Liqat, Zorana Banković, et al. · Hispana · 3
A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms.
2019 · Zorana Banković, Umer Liqat, et al. · DIGITAL.CSIC (Spanish National Research Council (CSIC)) · 2
A general framework for static profiling of parametric resource usage – CORRIGENDUM
2020 · P. LOPEZ-GARCIA, M. KLEMEN, et al. · Theory and Practice of Logic Programming
PDF
A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development
2018 · Umer Liqat · UPM Digital Archive (Technical University of Madrid)
PDF
Energy Consumption Analysis and Verification by Transformation into Horn Clauses and Abstract Interpretation
2017 · Manuel V. Hermenegildo, Maximiliano Klemen, et al. · Electronic Proceedings in Theoretical Computer Science
Energy consumption analysis and verificationusing CiaoPP
2017 · Pedro López-García, Manuel V. Hermenegildo, et al. · Hispana
PDF
Energy consumption analysis and verification by transformantion into horn clauses and abstract interpretation
2017 · Manuel V. Hermenegildo, Maximiliano Klemen, et al. · Hispana
ENTRA:全システムエネルギー透過【Powered by NICT】
2016 · Eder Kerstin, P Gallagher John, et al. · Microprocessors and Microsystems
Towards Energy Consumption Verification via Static Analysis
2015 · Pedro López-García, Rémy Haemmerlé, et al.
Works count: 25
Citation count: 266
H-index: 7
I10-index: 6
Year
Topic
Type