Author

Bowen ZHANG

0 works0 citations

Recent research

  • AI & ComputingOpen access

    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...

    Proceedings of the ACM on Programming Languages2026-10-010 citationsDOI