BibTeX records: Maximiliano Klemen

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics