Umer Liqat

Identifiers

• name variant Umer Liqat 0.60 · backfill

Papers (5)

1. Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption cs.PL · 2018 · author #4
2. A General Framework for Static Profiling of Parametric Resource Usage cs.PL · 2016 · author #3
3. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks cs.DC · 2016 · author #1
4. Towards Energy Consumption Verification via Static Analysis cs.PL · 2015 · author #4
5. Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015 cs.DC · 2015 · author #17

Mentions

• 1501.03064 #17 · backfill · confidence 0.70 Umer Liqat

Frequent Coauthors

• Manuel V. Hermenegildo 5 shared papers
• Pedro Lopez-Garcia 5 shared papers
• Maximiliano Klemen 4 shared papers
• Alberto Garcia-Ortiz 1 shared papers
• Albert Sa\`a-Garriga 1 shared papers
• Andr\'es Rodr\'iguez 1 shared papers
• Angeles Navarro 1 shared papers
• Antonio Vilches 1 shared papers
• Daniel Gregorek 1 shared papers
• David Castells-Rufas 1 shared papers
• Francisco Bueno 1 shared papers
• Francisco Corbera 1 shared papers
• Ismat Chaib Draa 1 shared papers
• Jamel Tayeb 1 shared papers
• Jordi Carrabina 1 shared papers
• Luthfi Darmawan 1 shared papers
• Maria Garzaran 1 shared papers
• Mikael Desertot 1 shared papers
• Radim Vav\v{r}\'ik 1 shared papers
• Rafael Asenjo 1 shared papers