Browsing by Author Sui, Y

Showing results 1 to 14 of 14
Issue DateTitleAuthor(s)
1-Dec-2018Parallel construction of interprocedural memory SSA formSui, Y; Yan, H; Zheng, Z; Zhang, Y; Xue, J
6-Sep-2018Value-Flow-Based Demand-Driven Pointer Analysis for C and C++Sui, Y; Xue, J
5-Sep-2018Permission Analysis of Health and Fitness Apps in IoT Programming FrameworksNobakht, M; Sui, Y; Seneviratne, A; Hu, W
28-May-2018CoBOT: Static C/C++ bug detection in the presence of incomplete codeGao, Q; Ma, S; Shao, S; Sui, Y; Zhao, G; Ma, L; Ma, X; Duan, F; Deng, X; Zhang, S; Chen, X
27-May-2018POSTER: Live path control flow integrityBarbar, M; Sui, Y; Zhang, H; Chen, S; Xue, J
1-Apr-2018Managing high-performance computing applications as an on-demand service on federated cloudsHou, Z; Wang, Y; Sui, Y; Gu, J; Zhao, T; Zhou, X
1-Feb-2018Loop-Oriented pointer analysis for automatic SIMD vectorizationSui, Y; Fan, X; Zhou, H; Xue, J
1-Jan-2018Launch-Mode-Aware Context-Sensitive Activity Transition AnalysisZhang, Y; Sui, Y; Xue, J
1-Jan-2018Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free VulnerabilitiesYan, H; Sui, Y; Chen, S; Xue, J
1-Jan-2018Live path CFI against control flow hijacking attacksBarbar, M; Sui, Y; Zhang, H; Chen, S; Xue, J
4-Dec-2017Machine-learning-guided typestate analysis for static use-After-free detectionYan, H; Sui, Y; Chen, S; Xue, J
10-Jul-2017Boosting the precision of virtual call integrity protection with partial pointer analysis for C++Fan, X; Sui, Y; Liao, X; Xue, J
7-May-2015Investigation of a tubular dual-stator flux-switching permanent-magnet linear generator for free-piston energy converterSui, Y; Zheng, P; Tong, C; Yu, B; Zhu, S; Zhu, J
7-May-2015A novel five-phase fault-tolerant modular in-wheel permanent-magnet synchronous machine for electric vehiclesSui, Y; Zheng, P; Wu, F; Wang, P; Cheng, L; Zhu, J