Benjamin Lucien Kaminski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Generative Datalog with continuous distributions Journal of the ACM	2024-06-06	Paper
Probabilistic program verification via inductive synthesis of inductive invariants	2024-04-05	Paper
Rule-based conditioning of probabilistic data Lecture Notes in Computer Science	2023-07-28	Paper
Lower Bounds for Possibly Divergent Probabilistic Programs	2023-02-12	Paper
Latticed \(k\)-induction with an application to probabilistic programs (available as arXiv preprint)	2022-03-25	Paper
Generating functions for probabilistic programs (available as arXiv preprint)	2022-03-23	Paper
Expected Runtime Analyis by Program Verification Foundations of Probabilistic Programming	2021-02-16	Paper
Optimistic value iteration (available as arXiv preprint)	2021-02-09	Paper
\textsf{PrIC3}: property directed reachability for MDPs (available as arXiv preprint)	2021-02-09	Paper
A weakest pre-expectation semantics for mixed-sign expectations	2021-01-19	Paper
A weakest pre-expectation semantics for mixed-sign expectations (available as arXiv preprint)	2021-01-19	Paper
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times (available as arXiv preprint)	2019-09-13	Paper
On the hardness of analyzing probabilistic programs Acta Informatica	2019-03-21	Paper
Weakest precondition reasoning for expected runtimes of randomized algorithms Journal of the ACM	2019-02-25	Paper
Bounded model checking for probabilistic programs (available as arXiv preprint)	2018-10-25	Paper
Reasoning about Recursive Probabilistic Programs Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Inferring covariances for probabilistic programs (available as arXiv preprint)	2018-01-11	Paper
Conditioning in probabilistic programming Electronic Notes in Theoretical Computer Science	2016-12-16	Paper
Weakest precondition reasoning for expected run-times of probabilistic programs Programming Languages and Systems	2016-04-26	Paper
Understanding probabilistic programs Lecture Notes in Computer Science	2015-11-04	Paper
On the hardness of almost-sure termination Mathematical Foundations of Computer Science 2015	2015-09-16	Paper

Research outcomes over time

This page was built for person: Benjamin Lucien Kaminski