Umer Liqat

20 papers C 2Misc 3Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
A general framework for static profiling of parametric resource usage - CORRIGENDUM.
Theory Pract. Log. Program.
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2019 J jnl
A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms.
J. Multiple Valued Log. Soft Comput.
Zorana Bankovic, Umer Liqat, Pedro López-García
2018 — —
A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development.
Umer Liqat
2018 J jnl
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption.
CoRR
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2018 J jnl
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
Theory Pract. Log. Program.
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2017 J jnl
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors.
Log. J. IGPL
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2017 C conf
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks.
LOPSTR
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2016 J jnl
A General Framework for Static Profiling of Parametric Resource Usage.
CoRR
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2016 Misc conf
A Transformational Approach to Parametric Accumulated-Cost Static Profiling.
FLOPS
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
2016 J jnl
A general framework for static profiling of parametric resource usage.
Theory Pract. Log. Program.
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2016 J jnl
ENTRA: Whole-Systems Energy Transparency.
CoRR
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
2016 J jnl
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
2016 J jnl
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.
CoRR
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
2015 Misc conf
A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation.
AIAI
Zorana Bankovic, Umer Liqat, Pedro López-García
2015 — conf
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
FOPARA
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
2015 J jnl
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
CoRR
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
2015 J jnl
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015.
CoRR
Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina
2015 J jnl
Towards Energy Consumption Verification via Static Analysis.
CoRR
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2015 Misc conf
Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling.
HAIS
Zorana Bankovic, Umer Liqat, Pedro López-García
2013 C conf
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.
LOPSTR
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder