| 2026 | ESOP | A Formally Verified Procedure for Width Inference in FIRRTL. | Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen |
| 2026 | FM | Can LLM Aid in Solving Constraints with Inductive Definitions? | Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu |
| 2025 | AAAI | Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. | Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang |
| 2025 | ACNS | LaserGuider: A Laser Based Physical Backdoor Attack Against Deep Neural Networks. | Yongjie Xu, Guangke Chen, Fu Song, Yuqi Chen |
| 2025 | APLAS | Decision Procedure for a Theory of String Sequences. | Denghang Hu, Taolue Chen, Philipp Rmmer, Fu Song, Zhilin Wu |
| 2025 | ICCAD | BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. | Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu |
| 2025 | NDSS | SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers. | Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu |
| 2025 | SETTA | Separation Logic with Heap Variables: A Decision Procedure and Its Application. | Xie Li, Yutian Zhu, Taolue Chen, Fu Song, Zhilin Wu |
| 2024 | FM | Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks. | Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu |
| 2024 | FM | Certified Quantization Strategy Synthesis for Neural Networks. | Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong |
| 2024 | ICSE | When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference. | Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Li Li |
| 2024 | ISSTA | FDI: Attack Neural Code Generation Systems through User Feedback Channel. | Zhensu Sun, Xiaoning Du, Xiapu Luo, Fu Song, David Lo, Li Li |
| 2024 | NDSS | SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. | Guangke Chen, Yedi Zhang, Fu Song |
| 2024 | SETTA | Formal Verification of RISC-V Processor Chisel Designs. | Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu |
| 2023 | ATVA | An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. | Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu |
| 2023 | CAV | Automated Verification of Correctness for Masked Arithmetic Programs. | Mingyang Liu, Fu Song, Taolue Chen |
| 2023 | CAV | QEBVerif: Quantization Error Bound Verification of Neural Networks. | Yedi Zhang, Fu Song, Jun Sun |
| 2023 | DAC | SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison. | Limin Wang, Lei Bu, Fu Song |
| 2023 | ICSE | Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems. | Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li |
| 2022 | CAV | PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. | Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu |
| 2022 | WWW | CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning. | Zhensu Sun, Xiaoning Du, Fu Song, Mingze Ni, Li Li |
| 2022 | SAS | CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. | Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu |
| 2021 | CAV | BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. | Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen |
| 2021 | ISSRE | Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps. | Sen Chen, Lingling Fan, Cuiyun Gao, Fu Song, Yang Liu |
| 2021 | ISSRE | Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. | Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen |
| 2021 | ISSTA | Attack as defense: characterizing adversarial examples using robustness. | Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun |
| 2021 | SP | Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. | Guangke Chen, Sen Chen, Lingling Fan, Xiaoning Du, Zhe Zhao, Fu Song, Yang Liu |
| 2021 | SETTA | ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. | Yongjie Xu, Fu Song, Taolue Chen |
| 2021 | TASE | Inferring Loop Invariants for Multi-Path Loops. | Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, Lintan Sun |
| 2020 | ISSTA | Patch based vulnerability matching for binary programs. | Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, Ting Liu |
| 2019 | AAAI | Probabilistic Alternating-Time | Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu |
| 2019 | FASE | SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. | Min Zhang, Fu Song, Frdric Mallet, Xiaohong Chen |
| 2019 | TACAS | Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. | Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen |
| 2019 | TASE | Android Malware Family Classification and Characterization Using CFG and DFG. | Zhiwu Xu, Kerong Ren, Fu Song |
| 2018 | CAV | Android Stack Machine. | Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan |
| 2018 | CAV | SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks. | Jun Zhang, Pengfei Gao, Fu Song, Chao Wang |
| 2018 | TASE | KRust: A Formal Executable Semantics of Rust. | Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang |
| 2017 | CONCUR | Tractability of Separation Logic with Inductive Definitions: Beyond Lists. | Taolue Chen, Fu Song, Zhilin Wu |
| 2017 | ICFEM | Model Checking Pushdown Epistemic Game Structures. | Taolue Chen, Fu Song, Zhilin Wu |
| 2017 | ICSE | SPAIN: security patch analysis for binaries towards understanding the pain and pills. | Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu, Fu Song |
| 2017 | SETTA | Reasoning About Periodicity on Infinite Words. | Wanwei Liu, Fu Song, Ge Zhou |
| 2017 | TASE | Optimizing backbone filtering. | Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song |
| 2016 | AAAI | Global Model Checking on Pushdown Multi-Agent Systems. | Taolue Chen, Fu Song, Zhilin Wu |
| 2016 | IJCAI | Verifying Pushdown Multi-Agent Systems against Strategy Logics. | Taolue Chen, Fu Song, Zhilin Wu |
| 2015 | CONCUR | On the Satisfiability of Indexed Linear Temporal Logics. | Taolue Chen, Fu Song, Zhilin Wu |
| 2015 | CONCUR | On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. | Fu Song, Weikai Miao, Geguang Pu, Min Zhang |
| 2014 | APLAS | Model-Checking for Android Malware Detection. | Fu Song, Tayssir Touili |
| 2013 | APLAS | Model Checking Dynamic Pushdown Networks. | Fu Song, Tayssir Touili |
| 2013 | IFM | Model-Checking Software Library API Usage Rules. | Fu Song, Tayssir Touili |
| 2013 | TACAS | LTL Model-Checking for Malware Detection. | Fu Song, Tayssir Touili |
| 2012 | FM | Efficient Malware Detection Using Model-Checking. | Fu Song, Tayssir Touili |
| 2012 | TACAS | Pushdown Model Checking for Malware Detection. | Fu Song, Tayssir Touili |
| 2011 | CONCUR | Efficient CTL Model-Checking for Pushdown Systems. | Fu Song, Tayssir Touili |