Robust Resource Bounds with Static Analysis and Bayesian Inference.
Long PhamFeras A. SaadJan HoffmannPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- bayesian inference
- static analysis
- probabilistic model
- dynamic analysis
- prior information
- source code
- hyperparameters
- variational inference
- symbolic execution
- java card
- bayesian model
- statistical inference
- variational bayes
- particle filter
- test suite
- abstract interpretation
- expectation propagation
- hierarchical bayesian
- regular expressions
- upper bound
- error rate
- graphical models
- markov random field
- dynamic programming
- database