Cited By
View all- Chen MKatoen JKlinkenberg LWinkler T(2022)Does a Program Yield the Right Distribution?Computer Aided Verification10.1007/978-3-031-13185-1_5(79-101)Online publication date: 7-Aug-2022
- Lee WYu HRival XYang H(2019)Towards verified stochastic variational inference for probabilistic programsProceedings of the ACM on Programming Languages10.1145/33710844:POPL(1-33)Online publication date: 20-Dec-2019
- Bornholt JMytkowicz TMcKinley KBalasubramonian RDavis AAdve S(2014) Uncertain< T > Proceedings of the 19th international conference on Architectural support for programming languages and operating systems10.1145/2541940.2541958(51-66)Online publication date: 24-Feb-2014
- Show More Cited By