Zhiwu Xu

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 48

Top Topics

Malware Detection

Semantic Attributes

Top Venues

Publications

Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? ACM Trans. Knowl. Discov. Data 18 (7) (2024)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR (2024)
Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. ICSE (2024)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) (2024)
Zixuan Hong, Weipeng Cao, Zhiwu Xu, Zhenru Chen, Xi Tao, Zhong Ming, Chuqing Cao, Liang Zheng
MetaVSR: A Novel Approach to Video Super-Resolution for Arbitrary Magnification. MMM (1) (2024)
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? IEEE Trans. Knowl. Data Eng. 18 (7) (2024)
Zixuan Hong, Weipeng Cao, Zhiwu Xu, Zhong Ming, Chuqing Cao, Liang Zheng
DSCVSR: A Lightweight Video Super-Resolution for Arbitrary Magnification. KSEM (1) (2024)
Zhiwu Xu, Yazheng Liu, Shengchao Qin, Zhong Ming
Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming. IEEE Trans. Reliab. 72 (3) (2023)
Yulin Wu, Zhiwu Xu, Shengchao Qin
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. TASE (2023)
Xinyi Wang, Cen Zhang, Yeting Li, Zhiwu Xu, Shuailin Huang, Yi Liu, Yican Yao, Yang Xiao, Yanyan Zou, Yang Liu, Wei Huo
Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation. SP (2023)
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. CoRR (2022)
Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin
Controlled Concurrency Testing via Periodical Scheduling. ICSE (2022)
Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. USENIX Security Symposium (2022)
Jia Ding, Zhiwu Xu
Transfer-based Adversarial Attack with Rectified Adam and Color Invariance. Int. J. Softw. Informatics 12 (4) (2022)
Zhiwu Xu, Hongxu Chen, Alwen Tiu, Yang Liu, Kunal Sareen
A permission-dependent type system for secure information flow analysis. J. Comput. Secur. 29 (2) (2021)
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. ICSE (2021)
Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He
Extracting automata from neural networks using active learning. PeerJ Comput. Sci. 7 (2021)
Weipeng Cao, Zhongwu Xie, Jianqiang Li, Zhiwu Xu, Zhong Ming, Xizhao Wang
Bidirectional stochastic configuration network for regression problems. Neural Networks 140 (2021)
Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin
Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
Cong Zhou, Weipeng Cao, Zhiwu Xu
Charge Prediction for Criminal Law with Semantic Attributes. SmartCom (2021)
Yida Tao, Zhihui Chen, Yepang Liu, Jifeng Xuan, Zhiwu Xu, Shengchao Qin
Demystifying "bad" error messages in data science libraries. ESEC/SIGSOFT FSE (2021)
Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection. USENIX Security Symposium (2021)
Weipeng Cao, Cong Zhou, Yuhao Wu, Zhong Ming, Zhiwu Xu, Jiyong Zhang
Research Progress of Zero-Shot Learning Beyond Computer Vision. ICA3PP (2) (2020)
Haiming Chen, Zhiwu Xu
Inclusion algorithms for one-unambiguous regular expressions and their applications. Sci. Comput. Program. 193 (2020)
Jia Ding, Zhiwu Xu
Adversarial Attacks on Deep Learning Models of Computer Vision: A Survey. ICA3PP (3) (2020)
Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao
FlashRegex: Deducing Anti-ReDoS Regexes from Examples. ASE (2020)
Ye Liu, Weipeng Cao, Zhong Ming, Qiang Wang, Jiyong Zhang, Zhiwu Xu
Ensemble Neural Networks with Random Weights for Classification Problems. ACAI (2020)
Yida Tao, Jiefang Jiang, Yepang Liu, Zhiwu Xu, Shengchao Qin
Understanding Performance Concerns in the API Documentation of Data Science Libraries. ASE (2020)
Mengda He, Shengchao Qin, Zhiwu Xu
A Program Logic for Reasoning About C11 Programs With Release-Sequences. IEEE Access 8 (2020)
Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng
FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. ICDE (2020)
Zhiwu Xu, Xiongya Hu, Yida Tao, Shengchao Qin
Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram. TASE (2020)
Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu
MemLock: memory usage guided fuzzing. ICSE (2020)
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair. CoRR (2020)
Weipeng Cao, Zhong Ming, Zhiwu Xu, Jiyong Zhang, Qiang Wang
Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor. IEEE Access 7 (2019)
Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin
How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? ASE (2019)
Zhiwu Xu, Cheng Wen, Shengchao Qin
Type Learning for Binaries and Its Applications. IEEE Trans. Reliab. 68 (3) (2019)
Zhiwu Xu, Ping Lu, Haiming Chen
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions. Comput. J. 62 (9) (2019)
Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu
-Calculus. AAAI (2019)
Zhiwu Xu, Kerong Ren, Fu Song
Android Malware Family Classification and Characterization Using CFG and DFG. TASE (2019)
Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu
A Permission-Dependent Type System for Secure Information Flow Analysis. CSF (2018)
Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun
CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. ICFEM (2018)
Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
Towards 'Verifying' a Water Treatment System. FM (2018)
Zhiwu Xu, Cheng Wen, Shengchao Qin
State-taint analysis for detecting resource bugs. Sci. Comput. Program. 162 (2018)
Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu
A Permission-Dependent Type System for Secure Information Flow Analysis. CoRR (2017)
Zhiwu Xu, Cheng Wen, Shengchao Qin, Zhong Ming
Effective Malware Detection Based on Behaviour and Data Features. SmartCom (2017)
Zhiwu Xu, Cheng Wen, Shengchao Qin
Learning Types for Binaries. ICFEM (2017)
Zhiwu Xu, Dongxiao Fan, Shengchao Qin
State-Taint Analysis for Detecting Resource Bugs. TASE (2016)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. POPL (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. POPL (2014)
Liang Du, Yi-Dong Shen, Zhiyong Shen, Jianying Wang, Zhiwu Xu
A Self-Supervised Framework for Clustering Ensemble. WAIM (2013)
Zhiwu Xu, Lixiao Zheng, Haiming Chen
A Toolkit for Generating Sentences from Context-Free Grammars. Int. J. Softw. Informatics 5 (4) (2011)
Giuseppe Castagna, Zhiwu Xu
Set-theoretic foundation of parametric polymorphism and subtyping. ICFP (2011)
Zhiwu Xu, Lixiao Zheng, Haiming Chen
A Toolkit for Generating Sentences from Context-Free Grammars. SEFM (2010)