All Stories

  1. Recover Function Signature from Combined Constraints

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

    Linzhang Wang

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

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

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

  5. Solving Floating-Point Constraints with Continuous Optimization

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

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

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

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

    Linzhang Wang

  12. An Explanation Method for Models of Code

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

    Linzhang Wang

  13. OCFI: Make Function Entry Identification Hard Again

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

    Linzhang Wang

  16. Detecting Defects in Deep Learning Systems: a Survey

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

    Linzhang Wang, Junjie Zhou

  17. DeepLabel: Automated Issue Classification for Issue Tracking Systems

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

    Linzhang Wang

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

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

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

  21. Firmware Fuzzing: The State of the Art

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

    Linzhang Wang

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

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

    Linzhang Wang

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

  24. DangDone

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

    Linzhang Wang

  25. Detecting missing checks for identifying insufficient attack protections

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

    Linzhang Wang

  28. Selective restore

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

    Linzhang Wang

  29. Steering symbolic execution to less traveled paths

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

    Linzhang Wang

  30. Steering symbolic execution to less traveled paths

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

    Linzhang Wang