Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs
We present \textsc{ISymb} an incremental
symbolic inference framework
for probabilistic programs in situations when
some loop-manipulated array data, upon
which their probabilistic models are conditioned,
undergoes small changes. To tackle the path
explosion challenge, \textsc{ISymb} is intra-procedurally
path-sensitive except
that it conducts a ``meet-over-all-paths''
analysis within an iteration of a loop
(conditioned on some observed array data).
By recomputing only the
probability distributions for the
paths affected, \textsc{ISymb} avoids
expensive symbolic inference from scratch while
also being
precision-preserving. Our evaluation with a set of
existing benchmarks shows that
\textsc{ISymb} can lead to orders of magnitude
performance improvements compared to its
non-incremental counterpart (under small changes in
observed array data).
Mon 24 JunDisplayed time zone: Tijuana, Baja California change
14:00 - 15:30 | |||
14:00 20mTalk | Scalable Verification of Probabilistic Networks PLDI Research Papers Steffen Smolka Cornell University, Praveen Kumar Cornell University, David M. Kahn Carnegie Mellon University, USA, Nate Foster Cornell University, Justin Hsu University of Wisconsin-Madison, USA, Dexter Kozen Cornell University, Alexandra Silva University College London DOI Pre-print Media Attached | ||
14:20 20mTalk | Cost Analysis of Nondeterministic Probabilistic Programs PLDI Research Papers Peixin Wang Shanghai Jiao Tong University, Hongfei Fu IST Austria, Amir Kafshdar Goharshady IST Austria, Krishnendu Chatterjee IST Austria, Xudong Qin East China Normal University, China, Wenjun Shi East China Normal University, China Media Attached | ||
14:40 20mTalk | Gen: A General-Purpose Probabilistic Programming System with Programmable Inference PLDI Research Papers Marco Cusumano-Towner MIT-CSAIL, Feras Saad Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology, USA, Vikash K. Mansinghka MIT Media Attached | ||
15:00 20mTalk | Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs PLDI Research Papers Media Attached |