Exploring On Abstraction Refinement For Program Analyses In Datalog
Exploring On Abstraction Refinement For Program Analyses In Datalog reveals several interesting facts.
- Presented by Zheng Guo. Presented at POPL'20.
- Making Formulog Fast: An Argument for Unconventional
- Abstraction Refinement
- Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ...
- This paper addresses the scalability challenges of symbolic
In-Depth Information on On Abstraction Refinement For Program Analyses In Datalog
Intro for the paper http://rgrig.appspot.com/static/papers/zhang2014.pdf Slides: ... Scaling Program Paper: https://dl.acm.org/citation.cfm?id=3276509
This video is part of the Udacity course "
Stay tuned for more updates related to On Abstraction Refinement For Program Analyses In Datalog.
