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