All Stories

  1. Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity

    Article • Proceedings of the ACM on Programming Languages, June 2026, ACM (Association for Computing Machinery)

    Jiayi Wang, Linzhang Wang

  2. SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis

    Article • ACM Transactions on Software Engineering and Methodology, October 2025, ACM (Association for Computing Machinery)

    Linzhang Wang, Jiayi Wang