Maximiliano Klemen

22 papers B 2C 2Misc 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs.
Theory Pract. Log. Program.
Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
2024 J jnl
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs.
CoRR
Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
2023 B conf
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis.
ICLP
Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García
2021 J jnl
A general framework for static profiling of parametric resource usage - CORRIGENDUM.
Theory Pract. Log. Program.
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2021 — conf
Regular Path Clauses and Their Application in Solving Loops.
HCVS@ETAPS
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
2020 — —
A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking.
Maximiliano Klemen
2020 B conf
Cost Analysis of Smart Contracts Via Parametric Resource Analysis.
SAS
Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
2020 — conf
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation.
VPT/HCVS@ETAPS
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
2019 C conf
A General Framework for Static Cost Analysis of Parallel Logic Programs.
LOPSTR
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
2019 J jnl
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs.
CoRR
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
An Approach to Static Performance Guarantees for Programs with Run-time Checks.
CoRR
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption.
CoRR
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2018 J jnl
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
Theory Pract. Log. Program.
Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo
2018 C conf
Static Performance Guarantees for Programs with Runtime Checks.
PPDP
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2018 — conf
Towards Static Performance Guarantees for Programs with Run-Time Checks.
ICLP (Technical Communications)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2016 J jnl
A General Framework for Static Profiling of Parametric Resource Usage.
CoRR
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2016 Misc conf
A Transformational Approach to Parametric Accumulated-Cost Static Profiling.
FLOPS
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
2016 J jnl
A general framework for static profiling of parametric resource usage.
Theory Pract. Log. Program.
Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo
2016 J jnl
ENTRA: Whole-Systems Energy Transparency.
CoRR
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
2016 J jnl
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems
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
2015 J jnl
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015.
CoRR
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
2015 J jnl
Towards Energy Consumption Verification via Static Analysis.
CoRR
Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo