Probabilistic Resource Analysis by Program Transformation

Research output: Contribution to journalJournal articleResearchpeer-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.
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.
LanguageEnglish
Book seriesLecture Notes in Computer Science
Volume9964
Pages60-80
ISSN0302-9743
DOIs
StatePublished - 2016

Cite this

@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 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.",
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",

}

Probabilistic Resource Analysis by Program Transformation. / Kirkeby, Maja Hanne; Rosendahl, Mads.

In: Lecture Notes in Computer Science, Vol. 9964, 2016, p. 60-80.

Research output: Contribution to journalJournal articleResearchpeer-review

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 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.

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 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.

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

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

M3 - Journal article

VL - 9964

SP - 60

EP - 80

JO - Lecture Notes in Computer Science

T2 - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -