On Abstraction Refinement For Program Analyses In Datalog

2015 37:02
Synopsis
Intro for the paper http://rgrig.appspot.com/static/papers/zhang2014.pdf Slides: ...

You Might Also Like

[OOPSLA24] Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural(…) 21:16
[oopsla24] Scaling Abstraction Refinement For Program Analys...
2026
Accelerating Program Analyses in Datalog by Merging Library Facts 12:34
Accelerating Program Analyses In Datalog By Merging Library ...
2022
Abstraction Refinement Guided by a Learnt Probabilistic Model 24:27
Abstraction Refinement Guided By A Learnt Probabilistic Mode...
2017
Incrementalizing Lattice-Based Program Analyses in Datalog 22:37
Incrementalizing Lattice-based Program Analyses In Datalog
2019
Program Synthesis by Type-Guided Abstraction Refinement 20:30
Program Synthesis By Type-guided Abstraction Refinement
2021
The Refinement - Part 4 of Abstraction and Refinement in TLA+ 6:09
The Refinement - Part 4 Of Abstraction And Refinement In Tla...
2023
[POPL 2021] Data Flow Refinement Type Inference (full) 23:45
[popl 2021] Data Flow Refinement Type Inference (full)
2022
Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking 19:08
Predicate Abstraction And Cegar For Nuhfl(z) Validity Checki...
2021
PPA 5/10: Abstract Machines [program analysis crash course] 1:21:19
Ppa 5/10: Abstract Machines [program Analysis Crash Course]
2024
Abstraction and Refinement 1:44
Abstraction And Refinement
2016
Introduction to Refinement and Abstraction in TLA+ 3:30
Introduction To Refinement And Abstraction In Tla+
2023
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.