SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis

10/10/2020
by   Yicheng Luo, et al.
5

Probabilistic software analysis aims at quantifying the probability of a target event occurring during the execution of a program processing uncertain incoming data or written itself using probabilistic programming constructs. Recent techniques combine classic static analysis methods with inference procedure to obtain accurate quantification of the probability of rare target events, such as failures in a mission-critical system. However, current techniques face several scalability and applicability limitations when analyzing software processing with high-dimensional multivariate distributions. In this paper, we present SYMbolic Parallel Adaptive Importance Sampling (SYMPAIS), a new algorithm that combines symbolic execution with adaptive importance sampling to analyze probabilistic programs. Our method provides a general solution that scales to systems with high-dimensional inputs and demonstrates superior performance in quantifying rare events compared to prior work. Preliminary experimental results support the potential efficacy of our solution.

READ FULL TEXT
research
09/13/2022

Large deviation theory-based adaptive importance sampling for rare events in high dimensions

We propose a method for the accurate estimation of rare event or failure...
research
08/11/2020

Learning with rare data: Using active importance sampling to optimize objectives dominated by rare events

Deep neural networks, when optimized with sufficient data, provide accur...
research
07/01/2020

Hamiltonian MCMC methods for estimating rare events probabilities in high-dimensional problems

Accurate and efficient estimation of rare events probabilities is of sig...
research
10/20/2019

Amortized Rejection Sampling in Universal Probabilistic Programming

Existing approaches to amortized inference in probabilistic programs wit...
research
09/07/2017

Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting

Probabilistic program analysis aims to quantify the probability that a g...
research
06/19/2021

Accelerated Policy Evaluation: Learning Adversarial Environments with Adaptive Importance Sampling

The evaluation of rare but high-stakes events remains one of the main di...
research
04/04/2022

Test Against High-Dimensional Uncertainties: Accelerated Evaluation of Autonomous Vehicles with Deep Importance Sampling

Evaluating the performance of autonomous vehicles (AV) and their complex...

Please sign up or login with your details

Forgot password? Click here to reset