Paper at OOPSLA 2026


The paper noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning by Tobias Gürtler and Benjamin Kaminski has been accepted for publication at the International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2026). It presents a novel inference algorithm for discrete, loop-free probabilisitic programs that additionally feature (non-probabilistic) nondeterminism.


Leave a Reply

Your email address will not be published. Required fields are marked *