3 citations · 5 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2020
Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses
Maja Hanne Kirkeby
We consider reusing established non-probabilistic output analyses (either forward or backwards) that yield over-approximations of a program's pre-image or image relation, e.g., int…
cs.PL2016★ 2 cited
Probabilistic Resource Analysis by Program Transformation
Maja H. Kirkeby, Mads Rosendahl
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 prese…
cs.PL2015★ 3 cited
Probabilistic Output Analysis by Program Manipulation
Mads Rosendahl, Maja H. Kirkeby
The aim of a probabilistic output analysis is to derive a probability distribution of possible output values for a program from a probability distribution of its input. We present…