BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Semantics for Reactive Probabilistic Programming - Christine Tasso
 n (Institut Supérieur de l’Aéronautique et de l’Espace)
DTSTART:20251128T140000Z
DTEND:20251128T150000Z
UID:TALK236083@talks.cam.ac.uk
CONTACT:Ioannis Markakis
DESCRIPTION:Synchronous languages are now a standard industrial tool for c
 ritical embedded systems. Designers write high-level specifications by com
 posing streams of values using block diagrams. These languages have been e
 xtended with Bayesian reasoning to program state-space models which comput
 e a stream of distributions given a stream of observations [1].\n\nThis ta
 lk aims at describing semantics for probabilistic synchronous languages\, 
 based on a joint work with Guillaume Baudart and Louis Mandel [2]. The key
  idea is to interpret probabilistic expressions as a stream of non-normali
 zed density functions which maps random variable values to a result and a 
 positive score. Two equivalent semantics are presented: the co-iterative s
 emantics is executable while the relational semantics is easy to use for p
 roving program equivalence. The semantical framework is applied to prove t
 he correctness of a program transformation required to run an optimized in
 ference algorithm.\n\n[1] Reactive Probabilistic Programming\, Guillaume B
 audart et al\, PLDI 2020\n[2] Scheduled agnostic Semantics for Reactive Pr
 obabilistic Programming\, Guillaume Baudart\, Louis Mandel\, Christine Tas
 son\, ACM Transactions on Probabilistic Machine Learning 2025
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR