Abstract Interpretation of Probabilistic Semantics
Abstract elided by the publisher.
Related papers
- Probabilistic coherence spaces are fully abstract for probabilistic PCF POPL 2014
- Probabilistic programming semantics for name generation POPL 2021
- Bayesian strategies: probabilistic programs as generalised graphical models ESOP 2021
- Probabilistic Abstract Interpretation ESOP 2012
- Backwards Abstract Interpretation of Probabilistic Programs ESOP 2001
- AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty SAS 2025
- Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities PLDI 2026
- Probabilistic Programming Inference via Intensional Semantics ESOP 2019