Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Maximiliano Klemen
@inproceedings{DBLP:journals/corr/abs-2309-07259, author = {Maximiliano Klemen and Miguel {\'{A}}. Carreira{-}Perpi{\~{n}}{\'{a}}n and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a}, editor = {Enrico Pontelli and Stefania Costantini and Carmine Dodaro and Sarah Alice Gaggl and Roberta Calegari and Artur S. d'Avila Garcez and Francesco Fabiano and Alessandra Mileo and Alessandra Russo and Francesca Toni}, title = {Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis}, booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP} 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023}, series = {{EPTCS}}, volume = {385}, pages = {155--168}, year = {2023}, url = {https://doi.org/10.4204/EPTCS.385.16}, doi = {10.4204/EPTCS.385.16}, timestamp = {Wed, 25 Oct 2023 16:09:20 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2309-07259.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Lopez-GarciaKLH21, author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Maximiliano Klemen and Umer Liqat and Manuel V. Hermenegildo}, title = {A general framework for static profiling of parametric resource usage - {CORRIGENDUM}}, journal = {Theory Pract. Log. Program.}, volume = {21}, number = {2}, pages = {291}, year = {2021}, url = {https://doi.org/10.1017/S1471068420000447}, doi = {10.1017/S1471068420000447}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/Lopez-GarciaKLH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2109-04631, author = {Bishoksan Kafle and John P. Gallagher and Manuel V. Hermenegildo and Maximiliano Klemen and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Jos{\'{e}} F. Morales}, editor = {Hossein Hojjat and Bishoksan Kafle}, title = {Regular Path Clauses and Their Application in Solving Loops}, booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021}, series = {{EPTCS}}, volume = {344}, pages = {22--35}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.344.3}, doi = {10.4204/EPTCS.344.3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-04631.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/es/Klemen20, author = {Maximiliano Klemen}, title = {A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking}, school = {Technical University of Madrid, Spain}, year = {2020}, url = {https://oa.upm.es/66526/}, timestamp = {Thu, 16 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/es/Klemen20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/PerezKLMH20, author = {Victor Perez{-}Carrasco and Maximiliano Klemen and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Jos{\'{e}} Francisco Morales and Manuel V. Hermenegildo}, editor = {David Pichardie and Mihaela Sighireanu}, title = {Cost Analysis of Smart Contracts Via Parametric Resource Analysis}, booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual Event, November 18-20, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12389}, pages = {7--31}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-65474-0\_2}, doi = {10.1007/978-3-030-65474-0\_2}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/PerezKLMH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2008-02931, author = {John P. Gallagher and Manuel V. Hermenegildo and Bishoksan Kafle and Maximiliano Klemen and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Jos{\'{e}} F. Morales}, editor = {Laurent Fribourg and Matthias Heizmann}, title = {From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation}, booktitle = {Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020}, series = {{EPTCS}}, volume = {320}, pages = {50--64}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.320.4}, doi = {10.4204/EPTCS.320.4}, timestamp = {Mon, 26 Apr 2021 11:43:53 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-02931.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Klemen0GMH19, author = {Maximiliano Klemen and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and John P. Gallagher and Jos{\'{e}} F. Morales and Manuel V. Hermenegildo}, editor = {Maurizio Gabbrielli}, title = {A General Framework for Static Cost Analysis of Parallel Logic Programs}, booktitle = {Logic-Based Program Synthesis and Transformation - 29th International Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12042}, pages = {19--35}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-45260-5\_2}, doi = {10.1007/978-3-030-45260-5\_2}, timestamp = {Fri, 23 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Klemen0GMH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-13272, author = {Maximiliano Klemen and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and John P. Gallagher and Jos{\'{e}} F. Morales and Manuel V. Hermenegildo}, title = {Towards a General Framework for Static Cost Analysis of Parallel Logic Programs}, journal = {CoRR}, volume = {abs/1907.13272}, year = {2019}, url = {http://arxiv.org/abs/1907.13272}, eprinttype = {arXiv}, eprint = {1907.13272}, timestamp = {Fri, 23 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-13272.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Lopez-GarciaDKL18, author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Luthfi Darmawan and Maximiliano Klemen and Umer Liqat and Francisco Bueno and Manuel V. Hermenegildo}, title = {Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption}, journal = {Theory Pract. Log. Program.}, volume = {18}, number = {2}, pages = {167--223}, year = {2018}, url = {https://doi.org/10.1017/S1471068418000042}, doi = {10.1017/S1471068418000042}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/Lopez-GarciaDKL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KlemenS0MH18, author = {Maximiliano Klemen and Nataliia Stulova and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Jos{\'{e}} F. Morales and Manuel V. Hermenegildo}, editor = {Alessandro Dal Pal{\`{u}} and Paul Tarau and Neda Saeedloei and Paul Fodor}, title = {Towards Static Performance Guarantees for Programs with Run-Time Checks}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom}, series = {OASIcs}, volume = {64}, pages = {10:1--10:2}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/OASIcs.ICLP.2018.10}, doi = {10.4230/OASICS.ICLP.2018.10}, timestamp = {Tue, 15 Feb 2022 09:40:05 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KlemenS0MH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/KlemenS0MH18, author = {Maximiliano Klemen and Nataliia Stulova and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Jos{\'{e}} F. Morales and Manuel V. Hermenegildo}, editor = {David Sabel and Peter Thiemann}, title = {Static Performance Guarantees for Programs with Runtime Checks}, booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main, Germany, September 03-05, 2018}, pages = {13:1--13:13}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3236950.3236970}, doi = {10.1145/3236950.3236970}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/KlemenS0MH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-04451, author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Luthfi Darmawan and Maximiliano Klemen and Umer Liqat and Francisco Bueno and Manuel V. Hermenegildo}, title = {Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption}, journal = {CoRR}, volume = {abs/1803.04451}, year = {2018}, url = {http://arxiv.org/abs/1803.04451}, eprinttype = {arXiv}, eprint = {1803.04451}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-04451.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-02380, author = {Maximiliano Klemen and Nataliia Stulova and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Jos{\'{e}} F. Morales and Manuel V. Hermenegildo}, title = {An Approach to Static Performance Guarantees for Programs with Run-time Checks}, journal = {CoRR}, volume = {abs/1804.02380}, year = {2018}, url = {http://arxiv.org/abs/1804.02380}, eprinttype = {arXiv}, eprint = {1804.02380}, timestamp = {Fri, 23 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-02380.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/EderGLMBGHHKKKK16, author = {Kerstin Eder and John P. Gallagher and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Henk L. Muller and Zorana Bankovic and Kyriakos Georgiou and R{\'{e}}my Haemmerl{\'{e}} and Manuel V. Hermenegildo and Bishoksan Kafle and Steve Kerrison and Maja H. Kirkeby and Maximiliano Klemen and Xueliang Li and Umer Liqat and Jeremy Morse and Morten Rhiger and Mads Rosendahl}, title = {{ENTRA:} Whole-systems energy transparency}, journal = {Microprocess. Microsystems}, volume = {47}, pages = {278--286}, year = {2016}, url = {https://doi.org/10.1016/j.micpro.2016.07.003}, doi = {10.1016/J.MICPRO.2016.07.003}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mam/EderGLMBGHHKKKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Lopez-GarciaKLH16, author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Maximiliano Klemen and Umer Liqat and Manuel V. Hermenegildo}, title = {A general framework for static profiling of parametric resource usage}, journal = {Theory Pract. Log. Program.}, volume = {16}, number = {5-6}, pages = {849--865}, year = {2016}, url = {https://doi.org/10.1017/S1471068416000442}, doi = {10.1017/S1471068416000442}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/Lopez-GarciaKLH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/HaemmerleLLKGH16, author = {R{\'{e}}my Haemmerl{\'{e}} and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Umer Liqat and Maximiliano Klemen and John P. Gallagher and Manuel V. Hermenegildo}, editor = {Oleg Kiselyov and Andy King}, title = {A Transformational Approach to Parametric Accumulated-Cost Static Profiling}, booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS} 2016, Kochi, Japan, March 4-6, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9613}, pages = {163--180}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-29604-3\_11}, doi = {10.1007/978-3-319-29604-3\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/HaemmerleLLKGH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EderGLMBGHHKKKK16, author = {Kerstin Eder and John P. Gallagher and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Henk L. Muller and Zorana Bankovic and Kyriakos Georgiou and R{\'{e}}my Haemmerl{\'{e}} and Manuel V. Hermenegildo and Bishoksan Kafle and Steve Kerrison and Maja H. Kirkeby and Maximiliano Klemen and Xueliang Li and Umer Liqat and Jeremy Morse and Morten Rhiger and Mads Rosendahl}, title = {{ENTRA:} Whole-Systems Energy Transparency}, journal = {CoRR}, volume = {abs/1606.04074}, year = {2016}, url = {http://arxiv.org/abs/1606.04074}, eprinttype = {arXiv}, eprint = {1606.04074}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/EderGLMBGHHKKKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/0001KLH16, author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Maximiliano Klemen and Umer Liqat and Manuel V. Hermenegildo}, title = {A General Framework for Static Profiling of Parametric Resource Usage}, journal = {CoRR}, volume = {abs/1608.02780}, year = {2016}, url = {http://arxiv.org/abs/1608.02780}, eprinttype = {arXiv}, eprint = {1608.02780}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/0001KLH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CorberaRANVGDTNDGSOLHKLHVSCC15, author = {Francisco Corbera and Andr{\'{e}}s Rodr{\'{\i}}guez and Rafael Asenjo and Angeles G. Navarro and Antonio Vilches and Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and Ismat Chaib Draa and Jamel Tayeb and Sma{\"{\i}}l Niar and Mikael Desertot and Daniel Gregorek and Robert Schmidt and Alberto Garc{\'{\i}}a Ortiz and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and R{\'{e}}my Haemmerl{\'{e}} and Maximiliano Klemen and Umer Liqat and Manuel V. Hermenegildo and Radim Vavr{\'{\i}}k and Albert Sa{\`{a}}{-}Garriga and David Castells{-}Rufas and Jordi Carrabina}, title = {Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems {(HIP3ES)} 2015}, journal = {CoRR}, volume = {abs/1501.03064}, year = {2015}, url = {http://arxiv.org/abs/1501.03064}, eprinttype = {arXiv}, eprint = {1501.03064}, timestamp = {Thu, 16 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CorberaRANVGDTNDGSOLHKLHVSCC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Lopez-GarciaHKL15, author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and R{\'{e}}my Haemmerl{\'{e}} and Maximiliano Klemen and Umer Liqat and Manuel V. Hermenegildo}, title = {Towards Energy Consumption Verification via Static Analysis}, journal = {CoRR}, volume = {abs/1512.09369}, year = {2015}, url = {http://arxiv.org/abs/1512.09369}, eprinttype = {arXiv}, eprint = {1512.09369}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Lopez-GarciaHKL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.