Etaps 2023 - Verifying Probabilistic Programs: From Theory To Automation

2024 1:40:25
Synopsis
Talk by Joost-Pieter-Pieter Katoen, tutorial speaker, on the 25th of April 2023, during ETAPS 2023 held in Paris by LIP6 and LIPN.

You Might Also Like

ETAPS 2023 - Scaling Formal Verification to Realistic Code with Applications to DeFi Verification 1:04:23
Etaps 2023 - Scaling Formal Verification To Realistic Code W...
2024
[OOPSLA23] A Deductive Verification Infrastructure for Probabilistic Programs 16:37
[oopsla23] A Deductive Verification Infrastructure For Proba...
2025
ETAPS 2016 - Structure and Interpretation of Probabilistic Programs - Andrew D. Gordon 1:02:42
Etaps 2016 - Structure And Interpretation Of Probabilistic P...
2017
Open Problems in Probabilistic Programming Semantics with Eli Sennesh 1:04:35
Open Problems In Probabilistic Programming Semantics With El...
2024
Predictable Probabilistic Programming by Deductive Verification - Joost-Pieter Katoen 51:05
Predictable Probabilistic Programming By Deductive Verificat...
2018
Towards the Automated Synthesis of Probabilistic Programs 32:26
Towards The Automated Synthesis Of Probabilistic Programs
2022
Causal Probabilistic Programming: Automating Reasoning In Simulation Models 59:22
Causal Probabilistic Programming: Automating Reasoning In Si...
2022
Automatic Integration and Differentiation of Probabilistic Programs 54:05
Automatic Integration And Differentiation Of Probabilistic P...
2026
Feras Saad: "Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling" 23:51
Feras Saad: "bayesian Synthesis Of Probabilistic Programs Fo...
2019
Tutorial: Probabilistic Programming 1:58:24
Tutorial: Probabilistic Programming
2017
Sarah Chasins: "Data-Driven Synthesis of Full Probabilistic Programs" 19:07
Sarah Chasins: "data-driven Synthesis Of Full Probabilistic ...
2019
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.