[oopsla'25] Tuning Random Generators: Property-based Testing As Probabilistic Programming
Synopsis
Tuning Random Generators: Property-Based Testing as Probabilistic Programming (Video, OOPSLA2 2025) Ryan Tjoa, Poorva ...
You Might Also Like
![[OOPSLA'25] Bennet: Randomized Specification Testing for Heap-Manipulating Programs](https://i.ytimg.com/vi/7BwcfaUGF-4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD0LpIfoO_TYWlYRoTRLtKKYnsnlA)
![[OOPSLA'25] Work Packets: A New Abstraction for GC Software Engineering, Optimization, and(…)](https://i.ytimg.com/vi/Z7VhPGCwMa8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDekrDElLfwac6abhhu6nXrWC-bIQ)
![[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] QbC: Quantum Correctness by Construction](https://i.ytimg.com/vi/fslxi9Qd9Is/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAX4ojA-Y9Toe9d02r6cTivIOwcUQ)
![[OOPSLA'25] An Empirical Evaluation of Property-Based Testing in Python](https://i.ytimg.com/vi/wrkMpLQrRC0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDVcVDsgT-0NbSPUxPWmAsuQA9VdQ)
![[OOPSLA'25] Carapace: Static–Dynamic Information Flow Control in Rust](https://i.ytimg.com/vi/M_IY9uA0LUU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDQoysm3PJmcpNX08nZEc4Zprzu6g)
![[OOPSLA'25] Incremental Certified Programming](https://i.ytimg.com/vi/7uQnVfyK6YA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWSMZfbVxLXPcpgDRGjkp8mALIKg)
![[OOPSLA'25] Garbage Collection for Rust: The Finalizer Frontier](https://i.ytimg.com/vi/g2MqwJnbPjs/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCRZtBB7TdyerQ6bEXpTV16a6EVRg)
![[OOPSLA'25] TraceLinking Implementations with their Verified Designs](https://i.ytimg.com/vi/lHPxUwz8Oc4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAd85JY7dSIMW7LAxw_D3P0-Mk0og)
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.