Cited By
View all- Chatterjee KGoharshady ENovotný PŽikelić Đ(2024)Equivalence and Similarity Refutation for Probabilistic ProgramsProceedings of the ACM on Programming Languages10.1145/36564628:PLDI(2098-2122)Online publication date: 20-Jun-2024
- Wang PYang TFu HLi GOng C(2024)Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial SolvingProceedings of the ACM on Programming Languages10.1145/36564328:PLDI(1361-1386)Online publication date: 20-Jun-2024
- Chatterjee KGoharshady AMeggendorfer TŽikelić Đ(2024)Quantitative Bounds on Resource Usage of Probabilistic ProgramsProceedings of the ACM on Programming Languages10.1145/36498248:OOPSLA1(362-391)Online publication date: 29-Apr-2024
- Show More Cited By