Aniket Lal

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Symbolic Execution

Transitive Closure

Top Venues

Proc. ACM Program. Lang.

Publications

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