Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhiwu Xu 0001
Person information
- unicode name: 许智武
- affiliation: Shenzhen University, College of Computer Science and Software Engineering, China
- affiliation (former): Guangdong Power Grid Company, Guangzhou, China
- affiliation (PhD 2013): Paris Diderot University, France
Other persons with the same name
- Zhiwu Xu 0002 — Chinese Academy of Sciences, Key Laboratory of Electromagnetic Radiation and Sensing Technology, Beijing, China
- Zhiwu Xu 0003 — Shanghai University, Department of Mechanical and Electronic Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2013
[b1]Zhiwu Xu:
Parametric Polymorphism For XML Processing Languages. (Polymorphisme Param'trique Pour Le Traitement De Documents XXML). Paris Diderot University, France, 2013
Journal Articles
- 2024
- [j14]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): 129:1-129:35 (2024) - 2023
- [j13]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): 1191-1205 (2023) - 2022
- [j12]Jia Ding, Zhiwu Xu:
Transfer-based Adversarial Attack with Rectified Adam and Color Invariance. Int. J. Softw. Informatics 12(4): 437-452 (2022) - 2021
- [j11]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): 161-228 (2021) - [j10]Weipeng Cao, Zhongwu Xie, Jianqiang Li, Zhiwu Xu, Zhong Ming, Xizhao Wang:
Bidirectional stochastic configuration network for regression problems. Neural Networks 140: 237-246 (2021) - [j9]Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He:
Extracting automata from neural networks using active learning. PeerJ Comput. Sci. 7: e436 (2021) - [j8]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): 49:1-49:28 (2021) - 2020
- [j7]Mengda He, Shengchao Qin, Zhiwu Xu:
A Program Logic for Reasoning About C11 Programs With Release-Sequences. IEEE Access 8: 173874-173903 (2020) - [j6]Haiming Chen, Zhiwu Xu:
Inclusion algorithms for one-unambiguous regular expressions and their applications. Sci. Comput. Program. 193: 102436 (2020) - 2019
- [j5]Weipeng Cao, Zhong Ming, Zhiwu Xu, Jiyong Zhang, Qiang Wang:
Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor. IEEE Access 7: 179746-179757 (2019) - [j4]Zhiwu Xu, Ping Lu, Haiming Chen:
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions. Comput. J. 62(9): 1322-1341 (2019) - [j3]Zhiwu Xu, Cheng Wen, Shengchao Qin:
Type Learning for Binaries and Its Applications. IEEE Trans. Reliab. 68(3): 893-912 (2019) - 2018
- [j2]Zhiwu Xu, Cheng Wen, Shengchao Qin:
State-taint analysis for detecting resource bugs. Sci. Comput. Program. 162: 93-109 (2018) - 2011
- [j1]Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. Int. J. Softw. Informatics 5(4): 659-676 (2011)
Conference and Workshop Papers
- 2024
- [c32]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: 124:1-124:13 - [c31]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: 300-313 - 2023
- [c30]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: 2427-2443 - [c29]Yulin Wu, Zhiwu Xu, Shengchao Qin:
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. TASE 2023: 344-363 - 2022
- [c28]Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin:
Controlled Concurrency Testing via Periodical Scheduling. ICSE 2022: 474-486 - [c27]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: 4183-4200 - 2021
- [c26]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: 1210-1222 - [c25]Yida Tao, Zhihui Chen, Yepang Liu, Jifeng Xuan, Zhiwu Xu, Shengchao Qin:
Demystifying "bad" error messages in data science libraries. ESEC/SIGSOFT FSE 2021: 818-829 - [c24]Cong Zhou, Weipeng Cao, Zhiwu Xu:
Charge Prediction for Criminal Law with Semantic Attributes. SmartCom 2021: 208-217 - [c23]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: 3847-3864 - 2020
- [c22]Ye Liu, Weipeng Cao, Zhong Ming, Qiang Wang, Jiyong Zhang, Zhiwu Xu:
Ensemble Neural Networks with Random Weights for Classification Problems. ACAI 2020: 15:1-15:5 - [c21]Jia Ding, Zhiwu Xu:
Adversarial Attacks on Deep Learning Models of Computer Vision: A Survey. ICA3PP (3) 2020: 396-408 - [c20]Weipeng Cao, Cong Zhou, Yuhao Wu, Zhong Ming, Zhiwu Xu, Jiyong Zhang:
Research Progress of Zero-Shot Learning Beyond Computer Vision. ICA3PP (2) 2020: 538-551 - [c19]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: 1962-1965 - [c18]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: 765-777 - [c17]Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao:
FlashRegex: Deducing Anti-ReDoS Regexes from Examples. ASE 2020: 659-671 - [c16]Yida Tao, Jiefang Jiang, Yepang Liu, Zhiwu Xu, Shengchao Qin:
Understanding Performance Concerns in the API Documentation of Data Science Libraries. ASE 2020: 895-906 - [c15]Zhiwu Xu, Xiongya Hu, Yida Tao, Shengchao Qin:
Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram. TASE 2020: 153-160 - 2019
- [c14]Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu:
Probabilistic Alternating-Time µ-Calculus. AAAI 2019: 6179-6186 - [c13]Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin:
How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? ASE 2019: 665-668 - [c12]Zhiwu Xu, Kerong Ren, Fu Song:
Android Malware Family Classification and Characterization Using CFG and DFG. TASE 2019: 49-56 - 2018
- [c11]Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu:
A Permission-Dependent Type System for Secure Information Flow Analysis. CSF 2018: 218-232 - [c10]Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu:
Towards 'Verifying' a Water Treatment System. FM 2018: 73-92 - [c9]Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun:
CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. ICFEM 2018: 177-193 - 2017
- [c8]Zhiwu Xu, Cheng Wen, Shengchao Qin:
Learning Types for Binaries. ICFEM 2017: 430-446 - [c7]Zhiwu Xu, Cheng Wen, Shengchao Qin, Zhong Ming:
Effective Malware Detection Based on Behaviour and Data Features. SmartCom 2017: 53-66 - 2016
- [c6]Zhiwu Xu, Dongxiao Fan, Shengchao Qin:
State-Taint Analysis for Detecting Resource Bugs. TASE 2016: 168-175 - 2015
- [c5]Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate:
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. POPL 2015: 289-302 - 2014
- [c4]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: 5-18 - 2013
- [c3]Liang Du, Yi-Dong Shen, Zhiyong Shen, Jianying Wang, Zhiwu Xu:
A Self-Supervised Framework for Clustering Ensemble. WAIM 2013: 253-264 - 2011
- [c2]Giuseppe Castagna, Zhiwu Xu:
Set-theoretic foundation of parametric polymorphism and subtyping. ICFP 2011: 94-106 - 2010
- [c1]Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. SEFM 2010: 118-122
Informal and Other Publications
- 2024
- [i4]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 abs/2404.00762 (2024) - 2022
- [i3]Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming:
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. CoRR abs/2207.00759 (2022) - 2020
- [i2]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 abs/2012.15489 (2020) - 2017
- [i1]Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu:
A Permission-Dependent Type System for Secure Information Flow Analysis. CoRR abs/1709.09623 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
