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 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:15
|Models for Probabilistic Programs with an Adversary|
|The Semantics of Figaro, an Embedded Probabilistic Programming Language|
|Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics?|