Maximiliano Klemen

According to our database, Maximiliano Klemen authored at least 18 papers between 2015 and 2024.

Collaborative distances:

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

2024

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs.

Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García

CoRR, 2024

2023

Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis.

Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

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

Regular Path Clauses and Their Application in Solving Loops.

Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

2020

A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking.

Maximiliano Klemen

PhD thesis, 2020

From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation.

John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

Cost Analysis of Smart Contracts Via Parametric Resource Analysis.

Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo

Proceedings of the Static Analysis - 27th International Symposium, 2020

2019

Towards a General Framework for Static Cost Analysis of Parallel Logic Programs.

Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo

CoRR, 2019

A General Framework for Static Cost Analysis of Parallel Logic Programs.

Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo

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

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

An Approach to Static Performance Guarantees for Programs with Run-time Checks.

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo

CoRR, 2018

Static Performance Guarantees for Programs with Runtime Checks.

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Towards Static Performance Guarantees for Programs with Run-Time Checks.

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

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

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