Umer Liqat

Research Assistant @ IMDEA Software Institute

About me

I have been a research assistant at the IMDEA Software Institute since 2012, where I have been working under the supervision of Pedro López-García. I am also enrolled in Phd program in Technical University of Madrid since 2013.

I did my double degree European Master Program in Computational Logic in 2011, from the Technical University of Madrid (Spain) and Dresden University of Technology (Germany), under the Erasmus Mundus scholarship. Before that, I did my Bachelors degree in Computer Science from the University of the Punjab (Pakistan) in 2007. During and in between the two degrees, I have worked as a Software engineer as well as held a student researcher position at SAP Research Center Dresden (Germany).

Research Interests

Automatic program analysis and verification of resource usage (e.g. energy, time); Static analysis; Abstract execution; Energy-aware software engineering; transformation based analysis framework for multi-language analysis and optimizations trading-off precision/performance/energy; logic programming

Projects

• ENTRA: Whole-Systems Energy Transparency. (SEP 2012 - MAR 2016). European Commission Framework 7 project in the FET Proactive (MINECC) initiative. Partners University of Bristol, XMOS Ltd, and Roskilde University.

Publications

Articles in Refereed Conferences and Journals

• [.pdf]  An Evolutionary Scheduling Approach for Trading-off Accuracy vs. Verifiable Energy in Multicore Processors.
  U. Liqat, Z. Bankovic, P. Lopez-Garcia.
  Logic Journal of the IGPL 2017, Special Issue. To Appear. In Press.


• [.pdf]  A General Framework for Static Profiling of Parametric Resource Usage.
  P. Lopez-Garcia, M. Klemen, U. Liqat, M. Hermenegildo.
  Theory and Practice of Logic Programming (TPLP), 32nd Int’l. Conference on Logic Programming (ICLP’16) Special Issue. Vol. 16, No.5-6, pages 849-865, issn:1471-0684.


• [.pdf]  A General Methodology for Energy-efficient Scheduling in Multicore Environments based on Evolutionary Algorithms.
  Z. Bankovic, U. Liqat, P. Lopez-Garcia.
  Journal of Multiple-Valued Logic and Soft Computing (JMVLSC'16), Special Issue. To Appear. In Press.


• [.pdf]  ENTRA: Whole-Systems Energy Transparency.
  K. Eder, J. P. Gallagher, P. López-García, H. Muller, Z. Banković, K. Georgiou, R. Haemmerlé, M. Hermenegildo, B. Kafle, S. Kerrison, M. Kirkeby, M. Klemen, X. Li, U. Liqat, J. Morse, M. Rhiger, M. Rosendahl.
  Microprocessors and Microsystems (MICPRO'16), issn:0141-9331.


• [.pdf]  Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.
  U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, M. Hermenegildo, J. P. Gallagher, K. Eder.
  Proc. of the Foundational and Practical Aspects of Resource Analysis (FOPARA 2015). Revised Selected Papers, LNCS, Vol. 9964, pages 81-100, Springer, 2016.


• [.pdf]  A Transformational Approach to Parametric Accumulated-cost Static Profiling.
  R. Haemmerlé, P. Lopez-Garcia, U. Liqat, M. Klemen, J. P. Gallagher, M. Hermenegildo.
  Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016), LNCS, Vol. 9613, pages 163--180, Springer, 2016.


• [.pdf]  Trading-off Accuracy vs. Energy in Multicore Processors via Evolutionary Algorithms Combining Loop Perforation and Static Analysis-based Scheduling.
  Z. Bankovic, U. Liqat, P. Lopez-Garcia.
  Hybrid Artificial Intelligent Systems (HAIS 2015), LNCS, Vol. 9121, pages 690--701, Springer, 2015.


• [.pdf]  A Practical Approach for Energy Efficient Scheduling in Multicore Environments by combining Evolutionary and YDS Algorithms with Faster Energy Estimation (BEST PAPER AWARD).
  Z. Bankovic, U. Liqat, P. Lopez-Garcia.
  The 11th International Conference on Artificial Intelligence Applications and Innovations (AIAI 2015), IFIP Advances in Information and Communication Technology, Vol. 458, pages 478--493, Springer, 2015.


• [.pdf]  Energy Consumption Analysis of Programs based on XMOS ISA-Level Models.
  U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. Hermenegildo, K. Eder.
  Logic-Based Program Synthesis and Transformation, 23rd International Symposium (LOPSTR 2013), Revised Selected Papers, LNCS, Vol. 8901, pages 72--90, Springer, 2014.

Publications in Refereed Workshops

• [.pdf]  Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks.
  U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. Hermenegildo.
  International Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2016), arXiv preprint arXiv:1601.02800, 2016.


• [.pdf]  Towards Energy Consumption Verification via Static Analysis.
  P. Lopez-Garcia, R. Haemmerlé, M. Klemen, U. Liqat, M. Hermenegildo.
  International Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2015), arXiv preprint arXiv:1512.09369, 2015.

Articles in Books and Other Collections

• [.pdf]  Towards LLVM-Based Energy Consumption Analysis of Programs.
  K. Georgiou, U. Liqat.
  ICT-Energy (Nanoenergy) Letters, Num. 8, pages 16--17, July 2014.