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 Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change
|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?