On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. - Shankaranarayanan Krishna; Aniket Lal; Andreas Pavlogiannis; Omkar Tuppe (Proc. ACM Program. Lang., 2024)