Maximiliano Klemen

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 20

Top Topics

Top Venues

Theory Pract. Log. Program.

Microprocess. Microsystems

Publications

Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs. CoRR (2024)
Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. ICLP (2023)
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS (2021)
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)
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS (2020)
Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. SAS (2020)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. CoRR (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
A General Framework for Static Cost Analysis of Parallel Logic Programs. LOPSTR (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)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
Towards Static Performance Guarantees for Programs with Run-Time Checks. ICLP (Technical Communications) (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
An Approach to Static Performance Guarantees for Programs with Run-time Checks. CoRR (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
Static Performance Guarantees for Programs with Runtime Checks. PPDP (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)
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)
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)
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)
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
Towards Energy Consumption Verification via Static Analysis. CoRR (2015)