Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification

Published in OOPSLA, 2025