Zhiwu Xu

According to our database1, Zhiwu Xu authored at least 32 papers between 2011 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

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...