-
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…