AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty
Abstract elided by the publisher.
Related papers
- Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl) ICFP 2026
- Sound compilation of reals POPL 2014
- AURA: a programming language for authorization and audit ICFP 2008
- A general construction for abstract interpretation of higher-order automatic differentiation OOPSLA 2022
- Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers CGO 2022
- Probabilistic Access Policies with Automated Reasoning Support CAV 2024
- Accelerated Data-Flow Analysis SAS 2007
- A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation VMCAI 2023