• Tutorial 1 : Running ProbFuzz and understanding the output
  This tutorial discusses how to run ProbFuzz and generate probabilistic programs for 3 tools
• Tutorial 2 : Adding a custom template
  This tutorial shows how to create a new template for ProbFuzz
• Tutorial 3 : Managing config
  This tutorial discuss the format of config and how to change ProbFuzz and tool level parameters

We characterized the kinds of bugs that are common in existing open-source systems. To the best of our knowledge, this is the first systematic study of bugs in PP systems. We studied three systems: Edward, Pyro, and Stan. They are written in multiple programming languages, are hosted on GitHub, have been adopted by both industry and researchers, are actively developed, and implement many language features and inference algorithms that are common to most PP systems. In total, we categorized over 118 commits about bugs as being PP systems-related.

Testing Probabilistic Programming Systems
Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
( ESEC/FSE 2018 ), Lake Buena Vista, FL, USA, November 2018.

• Saikat Dutta
  PhD Student
  Department of Computer Science
  University of Illinois, Urbana-Champaign
  saikatd2@illinois.edu

• Owolabi Legunsen
  PhD Student
  Department of Computer Science
  University of Illinois, Urbana-Champaign
  legunse2@illinois.edu

• Zixin Huang
  PhD Student
  Department of Computer Science
  University of Illinois, Urbana-Champaign
  zixinh2@illinois.edu

• Sasa Misailovic
  Assistant Professor
  Department of Computer Science
  University of Illinois, Urbana-Champaign
  misailo@illinois.edu