Benjamin Lucien Kaminski

Proc. ACM Program. Lang., October, 2023

A Deductive Verification Infrastructure for Probabilistic Programs - Artifact Evaluation.

[BibT_eX]

[DOI]

Dataset, July, 2023

Lower Bounds for Possibly Divergent Probabilistic Programs.

[BibT_eX]

[DOI]

Shenghua Feng

Mingshuai Chen

Han Su

Naijun Zhan

Proc. ACM Program. Lang., April, 2023

A Calculus for Amortized Expected Runtimes.

[BibT_eX]

[DOI]

Lena Verscht

Proc. ACM Program. Lang., January, 2023

Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond.

[BibT_eX]

[DOI]

Lena Verscht

CoRR, 2023

The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions.

[BibT_eX]

[DOI]

Akihisa Yamada

Dieter Hofbauer

Fred Mesnard

Étienne Payet

CoRR, 2023

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.

[BibT_eX]

[DOI]

Mingshuai Chen

Sebastian Junges

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Quantitative strongest post: a calculus for reasoning about the flow of quantitative information.

[BibT_eX]

[DOI]

Linpeng Zhang

Proc. ACM Program. Lang., 2022

Weighted programming: a programming paradigm for specifying mathematical models.

[BibT_eX]

[DOI]

Adrian Gallus

Tobias Winkler

Proc. ACM Program. Lang., 2022

Generative Datalog with Continuous Distributions.

[BibT_eX]

[DOI]

Martin Grohe

Peter Lindner

J. ACM, 2022

Weighted Programming.

[BibT_eX]

[DOI]

Adrian Gallus

Tobias Winkler

CoRR, 2022

Quantitative Strongest Post.

[BibT_eX]

[DOI]

Linpeng Zhang

CoRR, 2022

2021

Probabilistic Data with Continuous Distributions.

[BibT_eX]

[DOI]

Martin Grohe

Peter Lindner

SIGMOD Rec., 2021

Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

A pre-expectation calculus for probabilistic sensitivity.

[BibT_eX]

[DOI]

Alejandro Aguirre

Gilles Barthe

Justin Hsu

Proc. ACM Program. Lang., 2021

Latticed k-Induction with an Application to Probabilistic Programs.

[BibT_eX]

[DOI]

Mingshuai Chen

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Aiming low is harder: induction for lower bounds in probabilistic program verification.

[BibT_eX]

[DOI]

Marcel Hark

Jürgen Giesl

Proc. ACM Program. Lang., 2020

Relatively Complete Verification of Probabilistic Programs.

[BibT_eX]

[DOI]

CoRR, 2020

Generating Functions for Probabilistic Programs.

[BibT_eX]

[DOI]

Lutz Klinkenberg

Joshua Moerman

Tobias Winkler

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

Optimistic Value Iteration.

[BibT_eX]

[DOI]

Arnd Hartmanns

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

PrIC3: Property Directed Reachability for MDPs.

[BibT_eX]

[DOI]

Sebastian Junges

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Erweiterte Verifikationskalküle für Probabilistische Programme.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2019., 2019

Advanced weakest precondition calculi for probabilistic programs.

[BibT_eX]

[DOI]

PhD thesis, 2019

Quantitative separation logic: a logic for reasoning about probabilistic pointer programs.

[BibT_eX]

[DOI]

Thomas Noll

Proc. ACM Program. Lang., 2019

Aiming Low Is Harder - Inductive Proof Rules for Lower Bounds on Weakest Preexpectations in Probabilistic Program Verification.

[BibT_eX]

[DOI]

Marcel Hark

Jürgen Giesl

CoRR, 2019

Kantorovich Continuity of Probabilistic Programs.

[BibT_eX]

[DOI]

Alejandro Aguirre

Gilles Barthe

Justin Hsu

CoRR, 2019

On the hardness of analyzing probabilistic programs.

[BibT_eX]

[DOI]

Acta Informatica, 2019

2018

A new proof rule for almost-sure termination.

[BibT_eX]

[DOI]

Annabelle McIver

Carroll Morgan

Proc. ACM Program. Lang., 2018

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms.

[BibT_eX]

[DOI]

J. ACM, 2018

Quantitative Separation Logic.

[BibT_eX]

[DOI]

Thomas Noll

CoRR, 2018

Rule-Based Conditioning of Probabilistic Data.

[BibT_eX]

[DOI]

Maurice van Keulen

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2018

2017

A weakest pre-expectation semantics for mixed-sign expectations.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Inferring Covariances for Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Reasoning about Recursive Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2016

Bounded Model Checking for Probabilistic Programs.

[BibT_eX]

[DOI]

Nils Jansen

Christian Dehnert

Lukas Westhofen

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Conditioning in Probabilistic Programming.

[BibT_eX]

[DOI]

Nils Jansen

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

On the Hardness of Almost-Sure Termination.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Understanding Probabilistic Programs.

[BibT_eX]

[DOI]

Friedrich Gretz

Nils Jansen

Proceedings of the Correct System Design, 2015

2014

Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard.

[BibT_eX]

[DOI]

CoRR, 2014

2011

Scalable Symbolic Execution of Distributed Systems.

[BibT_eX]

[DOI]

Raimondas Sasnauskas

Oscar Soria Dustmann