Umer Liqat

According to our database, Umer Liqat authored at least 16 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A general framework for static profiling of parametric resource usage - CORRIGENDUM.

Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2021

2019

A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms.

Zorana Bankovic, Umer Liqat, Pedro López-García

J. Multiple Valued Log. Soft Comput., 2019

2018

A multi-language and multi-platform framework for resource consumption analysis and its application to energy-efficient software development.

Umer Liqat

PhD thesis, 2018

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.

Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2018

2017

An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors.

Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo

Log. J. IGPL, 2017

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks.

Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2016

A general framework for static profiling of parametric resource usage.

Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2016

ENTRA: Whole-systems energy transparency.

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

Microprocess. Microsystems, 2016

Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.

Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo

CoRR, 2016

A Transformational Approach to Parametric Accumulated-Cost Static Profiling.

Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

Towards Energy Consumption Verification via Static Analysis.

Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo

CoRR, 2015

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 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

CoRR, 2015

A Practical Approach for Energy Efficient Scheduling in Multicore Environments by Combining Evolutionary and YDS Algorithms with Faster Energy Estimation.

Zorana Bankovic, Umer Liqat, Pedro López-García

Proceedings of the Artificial Intelligence Applications and Innovations, 2015

Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling.

Zorana Bankovic, Umer Liqat, Pedro López-García

Proceedings of the Hybrid Artificial Intelligent Systems - 10th International Conference, 2015

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.

Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2013

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models.

Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013