All Stories

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

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

    Dr. Song Wei Song

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

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

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

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

    Dr. Song Wei Song

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

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

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

    Dr. Song Wei Song

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

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

    Dr. Song Wei Song

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

  9. IMGDroid: Detecting Image Loading Defects in Android Applications

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

    Dr. Song Wei Song

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

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

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

    Dr. Song Wei Song

  12. ServDroid: detecting service usage inefficiencies in Android applications

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

    Dr. Song Wei Song

  13. EFFECTIVE TEST CASES FOR SERVICE-ORIENTED WORKFLOW APPLICATIONS

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

    Dr. Song Wei Song

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

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

    Dr. Song Wei Song