Zhiwu Xu

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