C L Zhang

SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries

The application of high-precision value-flow analysis is experiencing a paradigm shift from planned executions to online ad hoc queries driven by human auditors and AI agents. However, existing techniques struggle in this interactive setting: exhaustive offline tabulation is fund...

Empirical Post-Generation Correctness Assessment for Natural-Language Access to Urban PostGIS Databases

Natural-language interfaces make urban spatial databases accessible, but generated structured query language (SQL) can execute successfully while returning a semantically incorrect answer. We evaluate a post-generation correctness-ranking layer on 18,900 candidates from Nanjing,...