Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

A Better Approximation for Interleaved Dyck Reachability

ACM SIGPLAN via YouTube

Overview

Explore a 17-minute video presentation from the SOAP 2024 conference that introduces a more precise approximation for interleaved Dyck reachability. Delve into the challenges of context- and field-sensitive static analysis, and discover how the presenters extend the mutual-refinement algorithm to achieve higher precision. Learn about the development of refined CFLs for expressing each type of sensitivity and the application of on-demand analysis to mask out irrelevant graph parts. Examine the experimental results showing significant improvements over existing approaches, with a focus on a challenging benchmark where the new method achieves 51% reduction in reachable pairs compared to recent alternatives.

Syllabus

[SOAP24] A Better Approximation for Interleaved Dyck Reachability

Taught by

ACM SIGPLAN

Reviews

Start your review of A Better Approximation for Interleaved Dyck Reachability

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.