2 citations · 7 across the 7 of their papers we have counts for
1 paper · 1 filter
Di Wang, Thomas Reps
Due to their quantitative nature, probabilistic programs pose non-trivial challenges for designing compositional and efficient program analyses. Many analyses for probabilistic pro…