PSense: Automatic Sensitivity Analysis for Probabilistic Programs
PSense: Automatic Sensitivity Analysis for Probabilistic Programs
复制标题
DOI:
10.1007/978-3-030-01090-4_23
复制
发表时间:
2018-10
期刊:
影响因子:
--
通讯作者:
Zixin Huang;Zhenbang Wang;Sasa Misailovic
中科院分区:
文献类型:
--
作者:
Zixin Huang;Zhenbang Wang;Sasa Misailovic
PSense is a novel system for sensitivity analysis of probabilistic programs. It computes the impact that a noise in the values of the parameters of the prior distributions and the data have on the program’s result. PSense relates the program executions with and without noise using a developer-providedsensitivity metric. PSense calculates the impact as a set of symbolic functions of each noise variable and supports various non-linear sensitivity metrics. Our evaluation on 66 programs from the literature and five common sensitivity metrics demonstrates the effectiveness of PSense.