Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan
Stan is a widely used probabilistic programming language, whose development has been driven, primarily, by applications in statistics. Despite its established role in computational statistics, it has been studied little in the programming languages (PL) community. In this talk, I will highlight some of the interesting PL features of Stan as well as some of the challenges and opportunities for research it raises for our discipline.
Conference DayTue 15 JanDisplayed time zone: Belfast change
09:00 - 10:30
|Probabilistic Lambda Calculus: Beyond Deterministic Evaluation|
|Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan|
Matthijs VákárUniversity of OxfordFile Attached