| 2026 | ACL | Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis. | Cheng Wen, Junjie Hu, YiKun Hu, Jie Su, Bin Yu, Dugang Liu, Zhiwu Xu, Weidi Sun, Shengchao Qin, Cong Tian |
| 2026 | SANER | Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation. | Junjie Huang, Cheng Wen, Jie Su, Zhiwu Xu, Bin Yu, Shengchao Qin, Cong Tian |
| 2026 | TASE | Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion. | Yuchen Zhang, Cheng Wen, Zhiwu Xu, Dugang Liu, Jialun Cao, Yuwei Liu, Shengchao Qin, Cong Tian |
| 2024 | CAV | Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. | Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian |
| 2024 | ICFEM | MemSpate: Memory Usage Protocol Guided Fuzzing. | Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin |
| 2024 | INDIN | Depth-Aware Multi-Modal Fusion for Generalized Zero-Shot Learning. | Weipeng Cao, Xuyang Yao, Zhiwu Xu, Yinghui Pan, Yixuan Sun, Dachuan Li, Bohua Qiu, Muheng Wei |
| 2024 | ICSE | RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. | Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He |
| 2024 | KSEM | DSCVSR: A Lightweight Video Super-Resolution for Arbitrary Magnification. | Zixuan Hong, Weipeng Cao, Zhiwu Xu, Zhong Ming, Chuqing Cao, Liang Zheng |
| 2024 | MMM | MetaVSR: A Novel Approach to Video Super-Resolution for Arbitrary Magnification. | Zixuan Hong, Weipeng Cao, Zhiwu Xu, Zhenru Chen, Xi Tao, Zhong Ming, Chuqing Cao, Liang Zheng |
| 2023 | SP | Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation. | Xinyi Wang, Cen Zhang, Yeting Li, Zhiwu Xu, Shuailin Huang, Yi Liu, Yican Yao, Yang Xiao, Yanyan Zou, Yang Liu, Wei Huo |
| 2023 | TASE | Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. | Yulin Wu, Zhiwu Xu, Shengchao Qin |
| 2022 | ICSE | Controlled Concurrency Testing via Periodical Scheduling. | Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin |
| 2021 | ICSE | TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. | Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung |
| 2020 | ICA3PP | Research Progress of Zero-Shot Learning Beyond Computer Vision. | Weipeng Cao, Cong Zhou, Yuhao Wu, Zhong Ming, Zhiwu Xu, Jiyong Zhang |
| 2020 | ICA3PP | Adversarial Attacks on Deep Learning Models of Computer Vision: A Survey. | Jia Ding, Zhiwu Xu |
| 2020 | ICDE | FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. | Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng |
| 2020 | ICSE | MemLock: memory usage guided fuzzing. | Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu |
| 2020 | TASE | Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram. | Zhiwu Xu, Xiongya Hu, Yida Tao, Shengchao Qin |
| 2019 | AAAI | Probabilistic Alternating-Time | Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu |
| 2019 | TASE | Android Malware Family Classification and Characterization Using CFG and DFG. | Zhiwu Xu, Kerong Ren, Fu Song |
| 2018 | FM | Towards 'Verifying' a Water Treatment System. | Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu |
| 2018 | ICFEM | CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. | Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun |
| 2017 | ICFEM | Learning Types for Binaries. | Zhiwu Xu, Cheng Wen, Shengchao Qin |
| 2016 | TASE | State-Taint Analysis for Detecting Resource Bugs. | Zhiwu Xu, Dongxiao Fan, Shengchao Qin |
| 2015 | POPL | Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate |
| 2014 | POPL | Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergue Lenglet, Luca Padovani |
| 2011 | ICFP | Set-theoretic foundation of parametric polymorphism and subtyping. | Giuseppe Castagna, Zhiwu Xu |
| 2010 | SEFM | A Toolkit for Generating Sentences from Context-Free Grammars. | Zhiwu Xu, Lixiao Zheng, Haiming Chen |