[VMCAI'24] Guaranteed inference for probabilistic programs: a parallelisable, small-step o... | ACM SIGPLAN | Podwise