Probabilistic Trees

Presenter: Linyu Yang

Abstract: Discussion about modelling probabilistic behaviors with a variant of interaction trees.

URLs:

• POPL'20, ITrees: https://dl.acm.org/doi/10.1145/3371119
• POPL'23, CTrees: https://dl.acm.org/doi/10.1145/3571254
• Measure-Theory-Based PPL Semantics:
  • LICS'16, Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints: https://dl.acm.org/doi/10.1145/2933575.2935313
  • ESOP'17, Commutative Semantics for Probabilistic Programming: https://link.springer.com/chapter/10.1007/978-3-662-54434-1_32
  • Foundations of Probabilistic Programming, Probabilistic Programs as Measures: https://www.cambridge.org/core/books/foundations-of-probabilistic-programming/probabilistic-programs-as-measures/B136E6A9577C71C1DA141257272D2AD9