دنبال کردن
Zhiwu Xu
Zhiwu Xu
College of Computer Science and Software Engineering (CSSE), Shenzhen University
ایمیل تأیید شده در szu.edu.cn - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
1512020
CDGDroid: Android malware detection based on deep learning using CFG and DFG‏
Z Xu, K Ren, S Qin, F Craciun‏
Formal Methods and Software Engineering: 20th International Conference on …, 2018‏
772018
Set-theoretic foundation of parametric polymorphism and subtyping‏
G Castagna, Z Xu‏
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011‏
652011
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‏
562014
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‏
552015
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‏
542021
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‏
522019
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‏
282020
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‏
282011
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‏
282010
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‏
262022
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‏
252021
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‏
242024
Research progress of zero-shot learning beyond computer vision‏
W Cao, C Zhou, Y Wu, Z Ming, Z Xu, J Zhang‏
Algorithms and Architectures for Parallel Processing: 20th International …, 2020‏
242020
State-taint analysis for detecting resource bugs‏
Z Xu, C Wen, S Qin‏
Science of Computer Programming 162, 93-109, 2018‏
242018
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‏
212021
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‏
192018
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‏
162024
Probabilistic Alternating-Time µ-Calculus‏
F Song, Y Zhang, T Chen, Y Tang, Z Xu‏
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6179-6186, 2019‏
162019
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‏
152024
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20