[oopsla'25] A Domain-specific Probabilistic Programming Language For Reasoning About Reasoning(…)

2026 15:32
Synopsis
A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo) (Video, ...

You Might Also Like

[OOPSLA'25] Multi-Language Probabilistic Programming 14:13
[oopsla'25] Multi-language Probabilistic Programming
2026
Gen: A General-Purpose Probabilistic Programming System with Programmable Inference 23:03
Gen: A General-purpose Probabilistic Programming System With...
2020
[OOPSLA'25] The Simple Essence of Monomorphization 13:40
[oopsla'25] The Simple Essence Of Monomorphization
2026
Gen: A General-Purpose Probabilistic Programming System with Programmable Inference 0:57
Gen: A General-purpose Probabilistic Programming System With...
2020
[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…) 14:48
[oopsla'25] The Simple Essence Of Overloading: Making Ad-hoc...
2026
Reasoning about Probabilistic Programs - Justin Hsu [1/4] 1:31:41
Reasoning About Probabilistic Programs - Justin Hsu [1/4]
2022
Reasoning about Probabilistic Programs - Justin Hsu [3/4] 1:36:03
Reasoning About Probabilistic Programs - Justin Hsu [3/4]
2022
[OOPSLA'25] Adaptive Shielding via Parametric Safety Proofs 13:54
[oopsla'25] Adaptive Shielding Via Parametric Safety Proofs
2026
Reasoning about Probabilistic Programs - Justin Hsu [2/4] 1:31:27
Reasoning About Probabilistic Programs - Justin Hsu [2/4]
2022
Reasoning about Probabilistic Programs - Justin Hsu [4/4] 1:39:13
Reasoning About Probabilistic Programs - Justin Hsu [4/4]
2022
Intro to Probabilistic Programming Primer 1:21
Intro To Probabilistic Programming Primer
2020
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
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.