All Stories

  1. EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction

    Article • Proceedings of the ACM on Management of Data, May 2026, ACM (Association for Computing Machinery)

    Zhiyong Wu, Linzhang Wang

  2. Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks

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

    Linzhang Wang

  3. Improving Test Efficacy for Large-Scale Android Applications by Exploiting GUI and Functional Equivalence

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

    Linzhang Wang

  4. Recover Function Signature from Combined Constraints

    Article • November 2025, ACM (Association for Computing Machinery)

    Linzhang Wang

  5. Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations

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

    Linzhang Wang

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

  7. Posing New Challenges to Function Entry Identification Through Fine-Grained CFI Obfuscation

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

    Linzhang Wang

  8. Solving Floating-Point Constraints with Continuous Optimization

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

    Linzhang Wang

  9. Distance-Aware Test Input Selection for Deep Neural Networks

    Article • September 2024, ACM (Association for Computing Machinery)

    Linzhang Wang

  10. Medusa: Unveil Memory Exhaustion DoS Vulnerabilities in Protocol Implementations

    Article • May 2024, ACM (Association for Computing Machinery)

    Dr. rer. nat. Sheikh Mahbub Habib, Linzhang Wang

  11. Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks

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

    Linzhang Wang

  12. Finding Cross-Rule Optimization Bugs in Datalog Engines

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

    Linzhang Wang

  13. Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications

    Article • April 2024, ACM (Association for Computing Machinery)

    Linzhang Wang

  14. An Explanation Method for Models of Code

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

    Linzhang Wang

  15. OCFI: Make Function Entry Identification Hard Again

    Article • July 2023, ACM (Association for Computing Machinery)

    Linzhang Wang

  16. Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets

    Article • October 2022, ACM (Association for Computing Machinery)

    Linzhang Wang

  17. Graph Neural Network based Two-Phase Fault Localization Approach

    Article • June 2022, ACM (Association for Computing Machinery)

    Linzhang Wang

  18. Detecting Defects in Deep Learning Systems: a Survey

    Article • June 2022, ACM (Association for Computing Machinery)

    Linzhang Wang, Junjie Zhou

  19. DeepLabel: Automated Issue Classification for Issue Tracking Systems

    Article • June 2022, ACM (Association for Computing Machinery)

    Linzhang Wang

  20. JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace

    Article • June 2021, ACM (Association for Computing Machinery)

    Linzhang Wang, Harry Xu

  21. Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code

    Article • June 2021, ACM (Association for Computing Machinery)

    Linzhang Wang, Harry Xu

  22. Learning semantic program embeddings with graph interval neural network

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

    Linzhang Wang

  23. Firmware Fuzzing: The State of the Art

    Article • November 2020, ACM (Association for Computing Machinery)

    Linzhang Wang

  24. Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning

    Article • November 2020, ACM (Association for Computing Machinery)

    Linzhang Wang

  25. Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan

    Article • ACM Transactions on Computer Systems, May 2020, ACM (Association for Computing Machinery)

    Linzhang Wang, Harry Xu

  26. DangDone

    Article • September 2018, ACM (Association for Computing Machinery)

    Linzhang Wang

  27. Detecting missing checks for identifying insufficient attack protections

    Article • May 2018, ACM (Association for Computing Machinery)

    Linzhang Wang

  28. BovInspector: automatic inspection and repair of buffer overflow vulnerabilities

    Article • August 2016, ACM (Association for Computing Machinery)

    Linzhang Wang

  29. Exploit imbalanced cell writes to mitigate write disturbance in dense phase change memory

    Article • June 2015, ACM (Association for Computing Machinery)

    Linzhang Wang

  30. Selective restore

    Article • June 2015, ACM (Association for Computing Machinery)

    Linzhang Wang

  31. Steering symbolic execution to less traveled paths

    Article • ACM SIGPLAN Notices, October 2013, ACM (Association for Computing Machinery)

    Linzhang Wang

  32. Steering symbolic execution to less traveled paths

    Article • October 2013, ACM (Association for Computing Machinery)

    Linzhang Wang