vix.ing · top · new · best · stats · spec

Towards Probabilistic Program Slicing

2022/01/26 by Singer, Jeremy
#Probability #slicing #speculation

paper · doi:10.4230/dagsemproc.05451.9

Abstract

This paper outlines the concept of extitprobabilistic program slicing. It walks through a simple example before describing some algorithmic concerns. Then three motivating applications are described. Finally it highlights existing work that may be built upon, and future work that needs immediate attention if this idea is to succeed.

Related