Probabilistic Resource Analysis by Program Transformation

Maja Hanne Kirkeby; Mads Rosendahl

doi:10.1007/978-3-319-46559-3_4

Probabilistic Resource Analysis by Program Transformation

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Abstract

The aim of a probabilistic resource analysis is to derive a probability
distribution of possible resource usage for a program from a probability
distribution of its input.We present an automated multi-phase rewriting
based method to analyze programs written in a subset of C. It generates a
probability distribution of the resource usage as a possibly uncomputable
expression and then transforms it into a closed form expression using over
approximations. We present the technique, outline the implementation and
show results from experiments with the system.

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	9964
Sider (fra-til)	60-80
Antal sider	21
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-319-46559-3_4
Status	Udgivet - 2016

Link til dokument

10.1007/978-3-319-46559-3_4

ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager), Strand, D. L. (Projektleder) & Bohr, N. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning

Citer dette

@article{a62378b822f54fd69b0c70ef5f3b03a4,

title = "Probabilistic Resource Analysis by Program Transformation",

abstract = "The aim of a probabilistic resource analysis is to derive a probability distribution of possible resource usage for a program from a probability distribution of its input. We present an automated multiphase rewriting based method to analyze programs written in a subset of C. It generates a probability distribution of the resource usage as a possibly uncomputable expression and then transforms it into a closed form expression using over-approximations. We present the technique, outline the implementation and show results from experiments with the system.",

author = "Kirkeby, {Maja Hanne} and Mads Rosendahl",

year = "2016",

doi = "10.1007/978-3-319-46559-3_4",

language = "English",

volume = "9964",

pages = "60--80",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - JOUR

T1 - Probabilistic Resource Analysis by Program Transformation

AU - Kirkeby, Maja Hanne

AU - Rosendahl, Mads

PY - 2016

Y1 - 2016

N2 - The aim of a probabilistic resource analysis is to derive a probability distribution of possible resource usage for a program from a probability distribution of its input. We present an automated multiphase rewriting based method to analyze programs written in a subset of C. It generates a probability distribution of the resource usage as a possibly uncomputable expression and then transforms it into a closed form expression using over-approximations. We present the technique, outline the implementation and show results from experiments with the system.

AB - The aim of a probabilistic resource analysis is to derive a probability distribution of possible resource usage for a program from a probability distribution of its input. We present an automated multiphase rewriting based method to analyze programs written in a subset of C. It generates a probability distribution of the resource usage as a possibly uncomputable expression and then transforms it into a closed form expression using over-approximations. We present the technique, outline the implementation and show results from experiments with the system.

U2 - 10.1007/978-3-319-46559-3_4

DO - 10.1007/978-3-319-46559-3_4

M3 - Journal article

SN - 0302-9743

VL - 9964

SP - 60

EP - 80

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

Probabilistic Resource Analysis by Program Transformation

Abstract

Link til dokument

Projekter

ENTRA: Whole-Systems Energy Transparency

Citer dette