Zhiwu Xu
Zhiwu Xu
College of Computer Science and Software Engineering (CSSE), Shenzhen University
Verified email at szu.edu.cn - Homepage
Title
Cited by
Cited by
Year
Set-theoretic foundation of parametric polymorphism and subtyping
G Castagna, Z Xu
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
472011
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation
G Castagna, K Nguyen, Z Xu, H Im, S Lenglet, L Padovani
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
412014
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction
G Castagna, K Nguyen, Z Xu, P Abate
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
322015
A toolkit for generating sentences from context-free grammars
Z Xu, L Zheng, H Chen
International Journal of Software and Informatics 5 (4), 659-676, 2011
222011
A toolkit for generating sentences from context-free grammars
Z Xu, L Zheng, H Chen
Proceedings of the 2010 8th IEEE International Conference on Software …, 2010
222010
Memlock: Memory usage guided fuzzing
C Wen, H Wang, Y Li, S Qin, Y Liu, Z Xu, H Chen, X Xie, G Pu, T Liu
42nd International Conference on Software Engineering, 2020
142020
CDGDroid: Android malware detection based on deep learning using CFG and DFG
Z Xu, K Ren, S Qin, F Craciun
International Conference on Formal Engineering Methods, 177-193, 2018
122018
A permission-dependent type system for secure information flow analysis
H Chen, A Tiu, Z Xu, Y Liu
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 218-232, 2018
92018
Android malware family classification and characterization using CFG and DFG
XU Zhiwu, K Ren, F Song
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
72019
Effective malware detection based on behaviour and data features
Z Xu, C Wen, S Qin, Z Ming
International Conference on Smart Computing and Communication, 53-66, 2017
52017
Learning types for binaries
Z Xu, C Wen, S Qin
International Conference on Formal Engineering Methods, 430-446, 2017
52017
State-Taint Analysis for Detecting Resource Bugs
Z Xu, D Fan, S Qin
Theoretical Aspects of Software Engineering (TASE), 2016 10th International …, 2016
52016
A self-supervised framework for clustering ensemble
L Du, YD Shen, Z Shen, J Wang, Z Xu
International Conference on Web-Age Information Management, 253-264, 2013
52013
Parametric Polymorphism for XML Processing Languages
Z Xu
Université Paris-Diderot-Paris VII, 2013
5*2013
Towards ‘Verifying’a Water Treatment System
J Wang, J Sun, Y Jia, S Qin, Z Xu
International Symposium on Formal Methods, 73-92, 2018
42018
How do api selections affect the runtime performance of data analytics tasks?
Y Tao, S Tang, Y Liu, Z Xu, S Qin
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
32019
Probabilistic Alternating-Time µ-Calculus
F Song, Y Zhang, T Chen, Y Tang, Z Xu
Proceedings of the AAAI Conference on Artificial Intelligence 33, 6179-6186, 2019
22019
基于文法分支覆盖的短句子生成算法
郑黎晓, 许智武, 陈海明
软件学报 22 (11), 2564-2576, 2011
22011
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
Y Li, Z Xu, J Cao, H Chen, T Ge, SC Cheung, H Zhao
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
12020
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Y Li, S Li, Z Xu, J Cao, Z Chen, Y Hu, H Chen, SC Cheung
arXiv preprint arXiv:2012.15489, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20