The Semantics of Figaro, an Embedded Probabilistic Programming Language
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.
Sat 23 Jan
|10:30 - 10:50|
|10:50 - 11:00|
|11:00 - 11:20|
|11:20 - 11:30|
|11:30 - 12:15|
Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics?