Probabilistic Resource Analysis by Program Transformation
Programming Languages
2016-12-16 v2
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.
Cite
@article{arxiv.1608.01106,
title = {Probabilistic Resource Analysis by Program Transformation},
author = {Maja H. Kirkeby and Mads Rosendahl},
journal= {arXiv preprint arXiv:1608.01106},
year = {2016}
}