works on
hierarchical cost expressions 1min/max operations 1moment computation 1probabilistic cost analysis 1static analysis 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.PL2026

The Best of Times, the Worst of Times: Moment-Based Analysis of Probabilistic Cost Structures

Chenyu Zhou, Di Wang, Thomas Reps

The paper introduces a compositional static analysis that computes mean, variance, and higher moments of cost distributions for probabilistic programs whose costs involve additive,…