The goal of this paper is to show how semantics can be defined for a real-world probabilistic programming language. Figaro has had numerous applications in areas such as malware analysis, climate modeling, vehicle health maintenance, and intelligence analysis.

The Semantics of Figaro, an Embedded Probabilistic Programming Language

Talk slides on Figaro semantics

Avi Pfeffer and Brian Ruttenberg, Charles River Analytics