[oopsla'25] Multi-language Probabilistic Programming
Synopsis
Multi-Language Probabilistic Programming (Video, OOPSLA1 2025) Sam Stites, John M. Li, and Steven Holtzen (Northeastern ...
You Might Also Like
![[OOPSLA'25] A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning(…)](https://i.ytimg.com/vi/rPz5Xk1frG8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDxuYq5c63xn79GE_l64N_P1guIrw)
![[OOPSLA'25] A Language for Quantifying Quantum Network Behavior](https://i.ytimg.com/vi/ytPQyhuo0Ao/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDxdfu_4wpTlY0WmJvOv7y045Eg0A)
![[OOPSLA'25] Scaling Optimization Over Uncertainty via Compilation](https://i.ytimg.com/vi/YYXcC5WucmY/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAJvWy84fjzb5bjE7FhcJwHGjUx-g)
![[OOPSLA'25] Structural Abstraction and Refinement for Probabilistic Programs](https://i.ytimg.com/vi/pkwFTCuJieo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBMhkUX0k37p6wz2-OHMKdUt9c2Jw)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
![[OOPSLA'25] Tuning Random Generators: Property-Based Testing as Probabilistic Programming](https://i.ytimg.com/vi/NZ1dKcztoBc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAKzRHnq33TXgsh851PsvcxyMGLKg)
![[OOPSLA'25] Language-Parametric Reference Synthesis](https://i.ytimg.com/vi/5joB1gy_0cU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCA43z1UsclngJ707SzSFp3hedNXw)
![[OOPSLA'25] Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing](https://i.ytimg.com/vi/yoOJyvzODQ8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDGA83Fn9kkuN8HV3kR9EMVMIjbYA)
![[OOPSLA'25] Incremental Certified Programming](https://i.ytimg.com/vi/7uQnVfyK6YA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWSMZfbVxLXPcpgDRGjkp8mALIKg)
![[OOPSLA'25] A Unifying Approach to Product Constructions for Quantitative Temporal Inference](https://i.ytimg.com/vi/BzCPpBNBcOI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBOIR66tP5zmjyGauxrsX7_s-Uc-A)
![[08x11] What is Probabilistic Programming?](https://i.ytimg.com/vi/eafbKLSN_xQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCR1dS0cl8NHcRH0wwMxGU8f0mKXQ)
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.