All Stories

  1. DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance

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

    Dr. Song Wei Song

  2. Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing

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

    Dr. Song Wei Song

  3. Integrating Various Software Artifacts for Better LLM-based Bug Localization and Program Repair

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

    Dr. Song Wei Song

  4. GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go

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

    Dr. Song Wei Song

  5. Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor

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

    Dr. Song Wei Song

  6. VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts

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

    Dr. Song Wei Song

  7. FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts

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

    Dr. Song Wei Song

  8. FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees

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

    Dr. Song Wei Song

  9. Risky Dynamic Typing-related Practices in Python: An Empirical Study

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

    Dr. Song Wei Song, Lin Chen

  10. TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts

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

    Dr. Song Wei Song

  11. PermDroid: automatically testing permission-related behaviour of Android applications

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

    Dr. Song Wei Song

  12. UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities

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

    Dr. Song Wei Song

  13. IMGDroid: Detecting Image Loading Defects in Android Applications

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Song Wei Song

  14. IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Song Wei Song

  15. Towards programming and verification for activity-oriented smart home systems

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

    Dr. Song Wei Song

  16. ServDroid: detecting service usage inefficiencies in Android applications

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

    Dr. Song Wei Song

  17. EFFECTIVE TEST CASES FOR SERVICE-ORIENTED WORKFLOW APPLICATIONS

    Article • Software Testing Verification and Reliability, September 2015, Wiley

    Dr. Song Wei Song

  18. FuAET: a tool for developing fuzzy self-adaptive software systems

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

    Dr. Song Wei Song