Literature for Aspects of Quantitative Program Verification


Link to the Homepage: Aspects of Quantitative Program Verification


no image available Atkinson, Eric and Carbin, Michael
Programming and Reasoning with Partial Observability
ACM 2020
no image available Baldan, Paolo et al.
Fixpoint Theory:
Upside Down

Springer 2021
no image available Bao, Jialu et al.
A Bunched Logic for Conditional Independence
IEEE 2021
no image available Bao, Jialu et al.
A Separation Logic for Negative Dependence
ACM 2022
no image available Barthe, Gilles et al.
A Probabilistic Separation Logic
ACM 2020
no image available Batz, Kevin et al.
Weighted Programming
Cornell 2022
no image available Batz, Kevin et al.
Relatively Complete Verification of Probabilistic Programs:
An Expressive Language for Expectation-Based Reasoning

ACM 2021
no image available Batz, Kevin et al.
Quantitative Separation Logic:
A Logic for Reasoning about Probabilistic Pointer Programs

ACM 2019
no image available Baudart, Guillaume et al.
Reactive Probabilistic Programming
ACM 2020
no image available Hark, Marcel et al.
Aiming Low is Harder:
Induction for Lower Bounds in Probabilistic Program Verification

ACM 2020
no image available Jacobs, Bart
The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule
JAIR 2019
no image available Jacobs, Jules
Paradoxes of Probabilistic Programming:
And How to Condition on Events of Measure Zero with Infinitesimal Probabilities

ACM 2021
no image available Kaminski, Benjamin Lucien et al.
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
ACM 2018
no image available Kaminski, Benjamin Lucien
Advanced Weakest Precondition Calculi for Probabilistic Programs
RWTH 2019
no image available Klinkenberg, Lutz et al.
Generating Functions for Probabilistic Programs
Springer 2021
no image available Lee, Wonyeol et al.
Towards Verified Stochastic Variational Inference for Probabilistic Programs
ACM 2020
no image available McIver, Annabelle and Morgan, Carroll
Correctness by Construction for Probabilistic Programs
Springer 2020
no image available O'Hearn, Peter W.
Incorrectness Logic
ACM 2020
no image available Reynolds, J.C.
Separation Logic:
A Logic for Shared Mutable Data Structures

IEEE 2002
no image available Vákár, Matthijs et al.
A Domain Theory for Statistical Probabilistic Programming
ACM 2019
no image available Zhang, Linpeng and Kaminski, Benjamin Lucien
Quantitative Strongest Post:
A Calculus for Reasoning about the Flow of Quantitative Information

Cornell 2022
no image available Zhang, Linpeng et al.
Tropical Geometry of Deep Neural Networks
PMLR 2018