Zhiwu Xu

According to our database, Zhiwu Xu authored at least 51 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian

ACM Trans. Knowl. Discov. Data, August, 2024

Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.

Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming

ACM Trans. Softw. Eng. Methodol., June, 2024

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

Proceedings of the MultiMedia Modeling - 30th International Conference, 2024

DSCVSR: A Lightweight Video Super-Resolution for Arbitrary Magnification.

Zixuan Hong, Weipeng Cao, Zhiwu Xu, Zhong Ming, Chuqing Cao, Liang Zheng

Proceedings of the Knowledge Science, Engineering and Management, 2024

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

Proceedings of the 22nd IEEE International Conference on Industrial Informatics, 2024

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

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

MemSpate: Memory Usage Protocol Guided Fuzzing.

Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2024

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming.

Zhiwu Xu, Yazheng Liu, Shengchao Qin, Zhong Ming

IEEE Trans. Reliab., September, 2023

Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters.

Yulin Wu, Zhiwu Xu, Shengchao Qin

Proceedings of the Theoretical Aspects of Software Engineering, 2023

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

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

Transfer-based Adversarial Attack with Rectified Adam and Color Invariance.

Jia Ding, Zhiwu Xu

Int. J. Softw. Informatics, 2022

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.

Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao

Proceedings of the 31st USENIX Security Symposium, 2022

Controlled Concurrency Testing via Periodical Scheduling.

Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study.

Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin

ACM Trans. Softw. Eng. Methodol., 2021

Extracting automata from neural networks using active learning.

Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He

PeerJ Comput. Sci., 2021

Bidirectional stochastic configuration network for regression problems.

Weipeng Cao, Zhongwu Xie, Jianqiang Li, Zhiwu Xu, Zhong Ming, Xizhao Wang

Neural Networks, 2021

A permission-dependent type system for secure information flow analysis.

Zhiwu Xu, Hongxu Chen, Alwen Tiu, Yang Liu, Kunal Sareen

J. Comput. Secur., 2021

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection.

Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung

Proceedings of the 30th USENIX Security Symposium, 2021

Charge Prediction for Criminal Law with Semantic Attributes.

Cong Zhou, Weipeng Cao, Zhiwu Xu

Proceedings of the Smart Computing and Communication - 6th International Conference, 2021

Demystifying "bad" error messages in data science libraries.

Yida Tao, Zhihui Chen, Yepang Liu, Jifeng Xuan, Zhiwu Xu, Shengchao Qin

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

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

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Inclusion algorithms for one-unambiguous regular expressions and their applications.

Haiming Chen, Zhiwu Xu

Sci. Comput. Program., 2020

A Program Logic for Reasoning About C11 Programs With Release-Sequences.

Mengda He, Shengchao Qin, Zhiwu Xu

IEEE Access, 2020

Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram.

Zhiwu Xu, Xiongya Hu, Yida Tao, Shengchao Qin

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Understanding Performance Concerns in the API Documentation of Data Science Libraries.

Yida Tao, Jiefang Jiang, Yepang Liu, Zhiwu Xu, Shengchao Qin

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

FlashRegex: Deducing Anti-ReDoS Regexes from Examples.

Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

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

Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

Adversarial Attacks on Deep Learning Models of Computer Vision: A Survey.

Jia Ding, Zhiwu Xu

Proceedings of the Algorithms and Architectures for Parallel Processing, 2020

Research Progress of Zero-Shot Learning Beyond Computer Vision.

Weipeng Cao, Cong Zhou, Yuhao Wu, Zhong Ming, Zhiwu Xu, Jiyong Zhang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2020

Ensemble Neural Networks with Random Weights for Classification Problems.

Ye Liu, Weipeng Cao, Zhong Ming, Qiang Wang, Jiyong Zhang, Zhiwu Xu

Proceedings of the ACAI 2020: 3rd International Conference on Algorithms, 2020

2019

Type Learning for Binaries and Its Applications.

Zhiwu Xu, Cheng Wen, Shengchao Qin

IEEE Trans. Reliab., 2019

Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions.

Zhiwu Xu, Ping Lu, Haiming Chen

Comput. J., 2019

Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor.

Weipeng Cao, Zhong Ming, Zhiwu Xu, Jiyong Zhang, Qiang Wang

IEEE Access, 2019

Android Malware Family Classification and Characterization Using CFG and DFG.

Zhiwu Xu, Kerong Ren, Fu Song

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Probabilistic Alternating-Time <i>µ</i>-Calculus.

Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

State-taint analysis for detecting resource bugs.

Zhiwu Xu, Cheng Wen, Shengchao Qin

Sci. Comput. Program., 2018

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG.

Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun

Proceedings of the Formal Methods and Software Engineering, 2018

Towards 'Verifying' a Water Treatment System.

Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu

Proceedings of the Formal Methods - 22nd International Symposium, 2018

A Permission-Dependent Type System for Secure Information Flow Analysis.

Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Effective Malware Detection Based on Behaviour and Data Features.

Zhiwu Xu, Cheng Wen, Shengchao Qin, Zhong Ming

Proceedings of the Smart Computing and Communication, 2017

Learning Types for Binaries.

Zhiwu Xu, Cheng Wen, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2017

2016

State-Taint Analysis for Detecting Resource Bugs.

Zhiwu Xu, Dongxiao Fan, Shengchao Qin

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Parametric Polymorphism For XML Processing Languages. (Polymorphisme Param'trique Pour Le Traitement De Documents XXML).

Zhiwu Xu

PhD thesis, 2013

A Self-Supervised Framework for Clustering Ensemble.

Liang Du, Yi-Dong Shen, Zhiyong Shen, Jianying Wang, Zhiwu Xu

Proceedings of the Web-Age Information Management - 14th International Conference, 2013

2011

A Toolkit for Generating Sentences from Context-Free Grammars.

Zhiwu Xu, Lixiao Zheng, Haiming Chen

Int. J. Softw. Informatics, 2011

Set-theoretic foundation of parametric polymorphism and subtyping.

Giuseppe Castagna, Zhiwu Xu

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011