Resource usage analysis and its application to resource certification

Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini

doi:10.1007/978-3-642-03829-7_9

Resource usage analysis and its application to resource certification

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

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

9 Scopus citations

Abstract

Resource usage is one of the most important characteristics of programs. Automatically generated information about resource usage can be used in multiple ways, both during program development and deployment. In this paper we discuss and present examples on how such information is obtained in COSTA, a state of the art static analysis system. COSTA obtains safe symbolic upper bounds on the resource usage of a large class of general-purpose programs written in a mainstream programming language such as Java (bytecode). We also discuss the application of resource-usage information for code certification, whereby code not guaranteed to run within certain user-specified bounds is rejected.

Original language	English
Title of host publication	Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures
Editors	Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
Pages	258-288
Number of pages	31
DOIs	https://doi.org/10.1007/978-3-642-03829-7_9
State	Published - 28 Sep 2009
Externally published	Yes

Publication series

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

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-03829-7_9

Cite this

Albert, E., Arenas, P., Genaim, S., Puebla, G., & Zanardini, D. (2009). Resource usage analysis and its application to resource certification. In A. Aldini, G. Barthe, & R. Gorrieri (Eds.), Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures (pp. 258-288). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5705 LNCS). https://doi.org/10.1007/978-3-642-03829-7_9

Albert, Elvira ; Arenas, Puri ; Genaim, Samir et al. / Resource usage analysis and its application to resource certification. Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures. editor / Alessandro Aldini ; Gilles Barthe ; Roberto Gorrieri. 2009. pp. 258-288 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{602f62d808494675916b8658cb646144,

title = "Resource usage analysis and its application to resource certification",

abstract = "Resource usage is one of the most important characteristics of programs. Automatically generated information about resource usage can be used in multiple ways, both during program development and deployment. In this paper we discuss and present examples on how such information is obtained in COSTA, a state of the art static analysis system. COSTA obtains safe symbolic upper bounds on the resource usage of a large class of general-purpose programs written in a mainstream programming language such as Java (bytecode). We also discuss the application of resource-usage information for code certification, whereby code not guaranteed to run within certain user-specified bounds is rejected.",

author = "Elvira Albert and Puri Arenas and Samir Genaim and Germ{\'a}n Puebla and Damiano Zanardini",

year = "2009",

month = sep,

day = "28",

doi = "10.1007/978-3-642-03829-7\_9",

language = "English",

isbn = "364203828X",

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

pages = "258--288",

editor = "Alessandro Aldini and Gilles Barthe and Roberto Gorrieri",

booktitle = "Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures",

}

Albert, E, Arenas, P, Genaim, S, Puebla, G & Zanardini, D 2009, Resource usage analysis and its application to resource certification. in A Aldini, G Barthe & R Gorrieri (eds), Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5705 LNCS, pp. 258-288. https://doi.org/10.1007/978-3-642-03829-7_9

Resource usage analysis and its application to resource certification. / Albert, Elvira; Arenas, Puri; Genaim, Samir et al.
Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures. ed. / Alessandro Aldini; Gilles Barthe; Roberto Gorrieri. 2009. p. 258-288 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5705 LNCS).

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

TY - GEN

T1 - Resource usage analysis and its application to resource certification

AU - Albert, Elvira

AU - Arenas, Puri

AU - Genaim, Samir

AU - Puebla, Germán

AU - Zanardini, Damiano

PY - 2009/9/28

Y1 - 2009/9/28

N2 - Resource usage is one of the most important characteristics of programs. Automatically generated information about resource usage can be used in multiple ways, both during program development and deployment. In this paper we discuss and present examples on how such information is obtained in COSTA, a state of the art static analysis system. COSTA obtains safe symbolic upper bounds on the resource usage of a large class of general-purpose programs written in a mainstream programming language such as Java (bytecode). We also discuss the application of resource-usage information for code certification, whereby code not guaranteed to run within certain user-specified bounds is rejected.

AB - Resource usage is one of the most important characteristics of programs. Automatically generated information about resource usage can be used in multiple ways, both during program development and deployment. In this paper we discuss and present examples on how such information is obtained in COSTA, a state of the art static analysis system. COSTA obtains safe symbolic upper bounds on the resource usage of a large class of general-purpose programs written in a mainstream programming language such as Java (bytecode). We also discuss the application of resource-usage information for code certification, whereby code not guaranteed to run within certain user-specified bounds is rejected.

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

U2 - 10.1007/978-3-642-03829-7_9

DO - 10.1007/978-3-642-03829-7_9

M3 - Conference contribution

AN - SCOPUS:70349326083

SN - 364203828X

SN - 9783642038280

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

SP - 258

EP - 288

BT - Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures

A2 - Aldini, Alessandro

A2 - Barthe, Gilles

A2 - Gorrieri, Roberto

ER -

Albert E, Arenas P, Genaim S, Puebla G, Zanardini D. Resource usage analysis and its application to resource certification. In Aldini A, Barthe G, Gorrieri R, editors, Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures. 2009. p. 258-288. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-03829-7_9

Resource usage analysis and its application to resource certification

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this