most citedProving Expected Sensitivity of Probabilistic Programs

36 citations · 36 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2017★ 36 cited

Proving Expected Sensitivity of Probabilistic Programs

Gilles Barthe, Thomas Espitau, Benjamin Grégoire +2

Program sensitivity, also known as Lipschitz continuity, describes how small changes in a program's input lead to bounded changes in the output. We propose an average notion of pro…