Umer Liqat

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 18

Top Topics

Energy Consumption

Energy Efficient

Static Analysis

Top Venues

Theory Pract. Log. Program.

Publications

Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A general framework for static profiling of parametric resource usage - CORRIGENDUM. Theory Pract. Log. Program. 21 (2) (2021)
Zorana Bankovic, Umer Liqat, Pedro López-García
A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms. J. Multiple Valued Log. Soft Comput. 32 (3-4) (2019)
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. CoRR (2018)
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory Pract. Log. Program. 18 (2) (2018)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. Log. J. IGPL 25 (6) (2017)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. LOPSTR (2017)
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
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
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
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. CoRR (2016)
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
A Transformational Approach to Parametric Accumulated-Cost Static Profiling. FLOPS (2016)
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A general framework for static profiling of parametric resource usage. Theory Pract. Log. Program. 16 (5-6) (2016)
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
A General Framework for Static Profiling of Parametric Resource Usage. CoRR (2016)
Zorana Bankovic, Umer Liqat, Pedro López-García
Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling. HAIS (2015)
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
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. CoRR (2015)
Zorana Bankovic, Umer Liqat, Pedro López-García
A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation. AIAI (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA (2015)
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
Towards Energy Consumption Verification via Static Analysis. CoRR (2015)
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR (2013)