-
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.
-
Paper in STTT
The (white) paper Replicable Theory by Benjamin Kaminski has been published in the International Journal on Software Tools for Technology Transfer (STTT). It had been presented at the 1st Workshop on Reproducibility and Replication of Research Results (RRRR)It discusses ways to improve reproducibility and replicability of purely theoretical research.
-
Paper at OOPSLA 2024
The paper Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers by Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, and Alexandra Silva has been accepted at OOPSLA 2024. The paper presents a novel weakest pre calculus for reasoning about quantitative hyperproperties over nondeterministic and probabilistic programs.
-
Selected JACM Article from 2022
Our paper Generative Datalog with Continuous Distributions (joint work with Martin Grohe, Joost-Pieter Katoen, and Peter Lindner) was featured as one of eight selected articles published in 2022 in the Journal of the ACM. It describes a new way to give semantics to Datalog, a declarative probabilistic programming language used in the context of probabilistic…