The set constraint/CFL reachability connection in practice.

John Kodumal, Alex Aiken

Browse the full PLDI paper archive.