AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty.

Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic

Browse the full SAS paper archive.