[oopsla'25] On Abstraction Refinement For Bayesian Program Analysis

2026 14:46
Synopsis
On Abstraction Refinement for Bayesian Program Analysis (Video, OOPSLA2 2025) Yuanfeng Shi, Yifan Zhang, and Xin Zhang ...

You Might Also Like

[OOPSLA] Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation 24:22
[oopsla] Learning A Strategy For Adapting A Program Analysis...
2016
[OOPSLA'25] The Simple Essence of Monomorphization 13:40
[oopsla'25] The Simple Essence Of Monomorphization
2026
"Aha" Moment of LLMs is a Lie: The Geometric Solution 34:27
"aha" Moment Of Llms Is A Lie: The Geometric Solution
2026
Lect-25 abstractions and refinements 54:33
Lect-25 Abstractions And Refinements
2012
Abstraction Refinement Guided by a Learnt Probabilistic Model 24:27
Abstraction Refinement Guided By A Learnt Probabilistic Mode...
2017
[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
Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling 23:29
Bayesian Synthesis Of Probabilistic Programs For Automatic D...
2020
Introduction to Refinement and Abstraction in TLA+ 3:30
Introduction To Refinement And Abstraction In Tla+
2023
Bayesian Optimization with Gradients - NIPS 2017 3:14
Bayesian Optimization With Gradients - Nips 2017
2018
Bayesian optimization: implicit information about optimum in Gaussian process 18:53
Bayesian Optimization: Implicit Information About Optimum In...
2025
Bayesian Optimization 8:15
Bayesian Optimization
2026
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.