Quantitative Analysis of Assertion Violations in Probabilistic Programs

Jinyi Wang$^*$, Yican Sun$^*$, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady

July 2021

PDF

Type

Publication

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI'21)