Cited By
View all- Lundén DBorgström JBroman D(2021)Correctness of Sequential Monte Carlo Inference for Probabilistic Programming LanguagesProgramming Languages and Systems10.1007/978-3-030-72019-3_15(404-431)Online publication date: 23-Mar-2021
- Huang MFu HChatterjee KGoharshady A(2019)Modular verification for almost-sure termination of probabilistic programsProceedings of the ACM on Programming Languages10.1145/33605553:OOPSLA(1-29)Online publication date: 10-Oct-2019
- Wang PFu HGoharshady AChatterjee KQin XShi WMcKinley KFisher K(2019)Cost analysis of nondeterministic probabilistic programsProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314581(204-220)Online publication date: 8-Jun-2019
- Show More Cited By