All Stories

  1. Posing New Challenges to Function Entry Identification through Fine-Grained CFI Obfuscation

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

    Linzhang Wang

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

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

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

  5. Recover Function Signature from Combined Constraints

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

    Linzhang Wang

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

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

  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. Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity

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

    Jiayi Wang, Linzhang Wang

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

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

    Linzhang Wang

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

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

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

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

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

    Linzhang Wang

  15. An Explanation Method for Models of Code

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

    Linzhang Wang

  16. OCFI: Make Function Entry Identification Hard Again

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

    Linzhang Wang

  19. Detecting Defects in Deep Learning Systems: a Survey

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

    Linzhang Wang, Junjie Zhou

  20. DeepLabel: Automated Issue Classification for Issue Tracking Systems

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

    Linzhang Wang

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

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

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

  24. Firmware Fuzzing: The State of the Art

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

    Linzhang Wang

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

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

    Linzhang Wang

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

  27. DangDone

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

    Linzhang Wang

  28. Detecting missing checks for identifying insufficient attack protections

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

    Linzhang Wang

  31. Selective restore

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

    Linzhang Wang

  32. Steering symbolic execution to less traveled paths

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

    Linzhang Wang

  33. Steering symbolic execution to less traveled paths

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

    Linzhang Wang