Automatic inference of bounds on resource consumption

Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Jesús Correas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Abu Naser Masud; German Puebla; José Miguel Rojas; Guillermo Román-Díez; Damiano Zanardini

doi:10.1007/978-3-642-40615-7_4

Automatic inference of bounds on resource consumption

Elvira Albert
, Diego Esteban Alonso-Blas
, Puri Arenas
, Jesús Correas
, Antonio Flores-Montoya
, Samir Genaim
, Miguel Gómez-Zamalloa
, Abu Naser Masud
, German Puebla
, José Miguel Rojas
, Guillermo Román-Díez
, Damiano Zanardini

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

In this tutorial paper, we overview the techniques that underlie the automatic inference of resource consumption bounds. We first explain the basic techniques on a Java-like sequential language. Then, we describe the extensions that are required to apply our method on concurrent ABS programs. Finally, we discuss some advanced issues in resource analysis, including the inference of non-cumulative resources and the treatment of shared mutable data.

Original language	English
Title of host publication	Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures
Pages	119-144
Number of pages	26
DOIs	https://doi.org/10.1007/978-3-642-40615-7_4
State	Published - 9 Sep 2013
Externally published	Yes
Event	11th International Symposium on Formal Methods for Components and Objects, FMCO 2012 - Bertinoro, Italy Duration: 24 Sep 2012 → 28 Sep 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7866 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Symposium on Formal Methods for Components and Objects, FMCO 2012
Country/Territory	Italy
City	Bertinoro
Period	24/09/12 → 28/09/12

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-40615-7_4

Cite this

Albert, E., Alonso-Blas, D. E., Arenas, P., Correas, J., Flores-Montoya, A., Genaim, S., Gómez-Zamalloa, M., Masud, A. N., Puebla, G., Rojas, J. M., Román-Díez, G., & Zanardini, D. (2013). Automatic inference of bounds on resource consumption. In Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures (pp. 119-144). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7866 LNCS). https://doi.org/10.1007/978-3-642-40615-7_4

Albert, Elvira ; Alonso-Blas, Diego Esteban ; Arenas, Puri et al. / Automatic inference of bounds on resource consumption. Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures. 2013. pp. 119-144 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4e811d33fcf94eb8b0a7b5dfab3c18ba,

title = "Automatic inference of bounds on resource consumption",

abstract = "In this tutorial paper, we overview the techniques that underlie the automatic inference of resource consumption bounds. We first explain the basic techniques on a Java-like sequential language. Then, we describe the extensions that are required to apply our method on concurrent ABS programs. Finally, we discuss some advanced issues in resource analysis, including the inference of non-cumulative resources and the treatment of shared mutable data.",

author = "Elvira Albert and Alonso-Blas, \{Diego Esteban\} and Puri Arenas and Jes{\'u}s Correas and Antonio Flores-Montoya and Samir Genaim and Miguel G{\'o}mez-Zamalloa and Masud, \{Abu Naser\} and German Puebla and Rojas, \{Jos{\'e} Miguel\} and Guillermo Rom{\'a}n-D{\'i}ez and Damiano Zanardini",

year = "2013",

month = sep,

day = "9",

doi = "10.1007/978-3-642-40615-7\_4",

language = "English",

isbn = "9783642406140",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "119--144",

booktitle = "Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures",

note = "11th International Symposium on Formal Methods for Components and Objects, FMCO 2012 ; Conference date: 24-09-2012 Through 28-09-2012",

}

Albert, E, Alonso-Blas, DE, Arenas, P, Correas, J, Flores-Montoya, A, Genaim, S, Gómez-Zamalloa, M, Masud, AN, Puebla, G, Rojas, JM, Román-Díez, G & Zanardini, D 2013, Automatic inference of bounds on resource consumption. in Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7866 LNCS, pp. 119-144, 11th International Symposium on Formal Methods for Components and Objects, FMCO 2012, Bertinoro, Italy, 24/09/12. https://doi.org/10.1007/978-3-642-40615-7_4

Automatic inference of bounds on resource consumption. / Albert, Elvira; Alonso-Blas, Diego Esteban; Arenas, Puri et al.
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures. 2013. p. 119-144 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7866 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Automatic inference of bounds on resource consumption

AU - Albert, Elvira

AU - Alonso-Blas, Diego Esteban

AU - Arenas, Puri

AU - Correas, Jesús

AU - Flores-Montoya, Antonio

AU - Genaim, Samir

AU - Gómez-Zamalloa, Miguel

AU - Masud, Abu Naser

AU - Puebla, German

AU - Rojas, José Miguel

AU - Román-Díez, Guillermo

AU - Zanardini, Damiano

PY - 2013/9/9

Y1 - 2013/9/9

N2 - In this tutorial paper, we overview the techniques that underlie the automatic inference of resource consumption bounds. We first explain the basic techniques on a Java-like sequential language. Then, we describe the extensions that are required to apply our method on concurrent ABS programs. Finally, we discuss some advanced issues in resource analysis, including the inference of non-cumulative resources and the treatment of shared mutable data.

AB - In this tutorial paper, we overview the techniques that underlie the automatic inference of resource consumption bounds. We first explain the basic techniques on a Java-like sequential language. Then, we describe the extensions that are required to apply our method on concurrent ABS programs. Finally, we discuss some advanced issues in resource analysis, including the inference of non-cumulative resources and the treatment of shared mutable data.

UR - https://www.scopus.com/pages/publications/84883431843

U2 - 10.1007/978-3-642-40615-7_4

DO - 10.1007/978-3-642-40615-7_4

M3 - Conference contribution

AN - SCOPUS:84883431843

SN - 9783642406140

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 119

EP - 144

BT - Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures

T2 - 11th International Symposium on Formal Methods for Components and Objects, FMCO 2012

Y2 - 24 September 2012 through 28 September 2012

ER -

Albert E, Alonso-Blas DE, Arenas P, Correas J, Flores-Montoya A, Genaim S et al. Automatic inference of bounds on resource consumption. In Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Revised Lectures. 2013. p. 119-144. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-40615-7_4

Automatic inference of bounds on resource consumption

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this