All Stories

  1. Augmenting Multi-technique Static Analysis with Large Language Models: A Neuro-symbolic Approach to Smart Contract Vulnerability Detection

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

    Fu Song

  2. SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts

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

    Fu Song

  3. RunTyper: Enhancing Deep Type Inference Using Dynamic Analysis for Python

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

    Fu Song, Guowei Yang

  4. Verification of Bit-Flip Attacks against Quantized Neural Networks

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

    Fu Song

  5. Don’t Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems

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

    Fu Song, Shangwen Wang

  6. K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language

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

    Fu Song

  7. Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks

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

    Fu Song

  8. When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference

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

    Shangwen Wang, Fu Song

  9. Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples

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

    Fu Song

  10. EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis

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

    Fu Song

  11. Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks

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

    Fu Song

  12. CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models

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

    Fu Song