| Set-theoretic foundation of parametric polymorphism and subtyping G Castagna, Z Xu Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011 | 47 | 2011 |
| 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 | 41 | 2014 |
| 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 | 32 | 2015 |
| 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 | 22 | 2011 |
| 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 | 22 | 2010 |
| 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 | 14 | 2020 |
| 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 | 12 | 2018 |
| 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 | 9 | 2018 |
| 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 | 7 | 2019 |
| 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 | 5 | 2017 |
| Learning types for binaries Z Xu, C Wen, S Qin International Conference on Formal Engineering Methods, 430-446, 2017 | 5 | 2017 |
| State-Taint Analysis for Detecting Resource Bugs Z Xu, D Fan, S Qin Theoretical Aspects of Software Engineering (TASE), 2016 10th International …, 2016 | 5 | 2016 |
| 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 | 5 | 2013 |
| 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 | 4 | 2018 |
| 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 | 3 | 2019 |
| 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 | 2 | 2019 |
| 基于文法分支覆盖的短句子生成算法 郑黎晓， 许智武， 陈海明 软件学报 22 (11), 2564-2576, 2011 | 2 | 2011 |
| 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 | 1 | 2020 |
| 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 |
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
