| 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 Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 179 | 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 | 85 | 2018 |
| Enchanting program specification synthesis by large language models using static analysis and program verification C Wen, J Cao, J Su, Z Xu, S Qin, M He, H Li, SC Cheung, C Tian International Conference on Computer Aided Verification, 302-328, 2024 | 78 | 2024 |
| Set-theoretic foundation of parametric polymorphism and subtyping G Castagna, Z Xu Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011 | 69 | 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 | 61 | 2014 |
| Bidirectional stochastic configuration network for regression problems W Cao, Z Xie, J Li, Z Xu, Z Ming, X Wang Neural Networks 140, 237-246, 2021 | 60 | 2021 |
| Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? C Wen, Y Cai, B Zhang, J Su, Z Xu, D Liu, S Qin, Z Ming, T Cong ACM Transactions on Knowledge Discovery from Data 18 (7), 1-34, 2024 | 57 | 2024 |
| 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 | 57 | 2019 |
| 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 | 57 | 2015 |
| Flashregex: Deducing anti-redos regexes from examples Y Li, Z Xu, J Cao, H Chen, T Ge, SC Cheung, H Zhao Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 37 | 2020 |
| Controlled concurrency testing via periodical scheduling C Wen, M He, B Wu, Z Xu, S Qin Proceedings of the 44th International Conference on Software Engineering …, 2022 | 36 | 2022 |
| ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection Y Li, Z Chen, J Cao, Z Xu, Q Peng, H Chen, L Chen, SC Cheung 30th {USENIX} Security Symposium ({USENIX} Security 21), 3847-3864, 2021 | 34 | 2021 |
| 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 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 29 | 2021 |
| Research progress of zero-shot learning beyond computer vision W Cao, C Zhou, Y Wu, Z Ming, Z Xu, J Zhang International conference on algorithms and architectures for parallel …, 2020 | 28 | 2020 |
| 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 | 28 | 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 | 28 | 2010 |
| RPG: Rust library fuzzing with pool-based fuzz target generation and generic support Z Xu, B Wu, C Wen, B Zhang, S Qin, M He Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 24 | 2024 |
| State-taint analysis for detecting resource bugs Z Xu, C Wen, S Qin Science of Computer Programming 162, 93-109, 2018 | 24 | 2018 |
| Abstraction and refinement: Towards scalable and exact verification of neural networks J Liu, Y Xing, X Shi, F Song, Z Xu, Z Ming ACM Transactions on Software Engineering and Methodology 33 (5), 1-35, 2024 | 23 | 2024 |
| 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 | 20 | 2018 |
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at acm.org
