All Stories

  1. Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses

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

    Linzhang Wang

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

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

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

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

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

  7. Recover Function Signature from Combined Constraints

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

    Linzhang Wang

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

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

  10. Solving Floating-Point Constraints with Continuous Optimization

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

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

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

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

    Linzhang Wang

  16. An Explanation Method for Models of Code

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

    Linzhang Wang

  17. OCFI: Make Function Entry Identification Hard Again

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

    Linzhang Wang

  20. Detecting Defects in Deep Learning Systems: a Survey

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

    Linzhang Wang, Junjie Zhou

  21. DeepLabel: Automated Issue Classification for Issue Tracking Systems

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

    Linzhang Wang

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

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

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

  25. Firmware Fuzzing: The State of the Art

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

    Linzhang Wang

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

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

    Linzhang Wang

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

  28. DangDone

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

    Linzhang Wang

  29. Detecting missing checks for identifying insufficient attack protections

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

    Linzhang Wang

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

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

    Linzhang Wang

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

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

    Linzhang Wang

  32. Selective restore

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

    Linzhang Wang

  33. Steering symbolic execution to less traveled paths

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

    Linzhang Wang

  34. Steering symbolic execution to less traveled paths

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

    Linzhang Wang