Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study

Probabilistic programming systems allow developers to model random phenomena and perform reasoning about the model efficiently. As the number and adoption of probabilistic programming systems are growing significantly, the reliability of such systems is also becoming increasingly important. It is thus crucial to analyze existing bugs in similar systems to ensure the reliability of these systems. T...