Proving expected sensitivity of probabilistic programs

Proving expected sensitivity of probabilistic programs. Barthe, G., Espitau, T., Grégoire, B., Hsu, J., & Strub, P. Proc. ACM Program. Lang., 2(POPL):57:1–57:29, 2018.

Paper doi bibtex

@article{DBLP:journals/pacmpl/BartheEGHS18,
  author = {Gilles Barthe and Thomas Espitau and
Benjamin Gr{\'{e}}goire and Justin Hsu and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/journals/pacmpl/BartheEGHS18.bib},
  doi = {10.1145/3158145},
  journal = {Proc. {ACM} Program. Lang.},
  number = {{POPL}},
  pages = {57:1--57:29},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  title = {Proving expected sensitivity of probabilistic
programs},
  url = {https://doi.org/10.1145/3158145},
  volume = {2},
  year = {2018}
}

Downloads: 0