Zhiwu Xu

Orcid: 0000-0001-6727-440X

Affiliations:
  • Shenzhen University, College of Computer Science and Software Engineering, China
  • Guangdong Power Grid Company, Guangzhou, China (former)
  • Paris Diderot University, France (PhD 2013)


According to our database1, Zhiwu Xu authored at least 45 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
MetaVSR: A Novel Approach to Video Super-Resolution for Arbitrary Magnification.
Proceedings of the MultiMedia Modeling - 30th International Conference, 2024

2023
Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming.
IEEE Trans. Reliab., September, 2023

Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters.
Proceedings of the Theoretical Aspects of Software Engineering, 2023

Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022
Transfer-based Adversarial Attack with Rectified Adam and Color Invariance.
Int. J. Softw. Informatics, 2022

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

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.
Proceedings of the 31st USENIX Security Symposium, 2022

Controlled Concurrency Testing via Periodical Scheduling.
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.
ACM Trans. Softw. Eng. Methodol., 2021

Extracting automata from neural networks using active learning.
PeerJ Comput. Sci., 2021

Bidirectional stochastic configuration network for regression problems.
Neural Networks, 2021

A permission-dependent type system for secure information flow analysis.
J. Comput. Secur., 2021

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection.
Proceedings of the 30th USENIX Security Symposium, 2021

Charge Prediction for Criminal Law with Semantic Attributes.
Proceedings of the Smart Computing and Communication - 6th International Conference, 2021

Demystifying "bad" error messages in data science libraries.
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.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020
Inclusion algorithms for one-unambiguous regular expressions and their applications.
Sci. Comput. Program., 2020

A Program Logic for Reasoning About C11 Programs With Release-Sequences.
IEEE Access, 2020

Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Understanding Performance Concerns in the API Documentation of Data Science Libraries.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

FlashRegex: Deducing Anti-ReDoS Regexes from Examples.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

MemLock: memory usage guided fuzzing.
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.
Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

Adversarial Attacks on Deep Learning Models of Computer Vision: A Survey.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2020

Research Progress of Zero-Shot Learning Beyond Computer Vision.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2020

Ensemble Neural Networks with Random Weights for Classification Problems.
Proceedings of the ACAI 2020: 3rd International Conference on Algorithms, 2020

2019
Type Learning for Binaries and Its Applications.
IEEE Trans. Reliab., 2019

Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions.
Comput. J., 2019

Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor.
IEEE Access, 2019

Android Malware Family Classification and Characterization Using CFG and DFG.
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?
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Probabilistic Alternating-Time <i>µ</i>-Calculus.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
State-taint analysis for detecting resource bugs.
Sci. Comput. Program., 2018

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG.
Proceedings of the Formal Methods and Software Engineering, 2018

Towards 'Verifying' a Water Treatment System.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

A Permission-Dependent Type System for Secure Information Flow Analysis.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017
Effective Malware Detection Based on Behaviour and Data Features.
Proceedings of the Smart Computing and Communication, 2017

Learning Types for Binaries.
Proceedings of the Formal Methods and Software Engineering, 2017

2016
State-Taint Analysis for Detecting Resource Bugs.
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.
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.
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).
PhD thesis, 2013

A Self-Supervised Framework for Clustering Ensemble.
Proceedings of the Web-Age Information Management - 14th International Conference, 2013

2011
A Toolkit for Generating Sentences from Context-Free Grammars.
Int. J. Softw. Informatics, 2011

Set-theoretic foundation of parametric polymorphism and subtyping.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011


  Loading...