Yulei Sui
Title
Cited by
Cited by
Year
SVF: interprocedural static value-flow analysis in LLVM
Y Sui, J Xue
Proceedings of the 25th international conference on compiler construction …, 2016
1652016
Static memory leak detection using full-sparse value-flow analysis
Y Sui, D Ye, J Xue
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1082012
Detecting memory leaks statically with full-sparse value-flow analysis
Y Sui, D Ye, J Xue
IEEE Transactions on Software Engineering 40 (2), 107-122, 2014
742014
On-demand strong update analysis via value-flow refinement
Y Sui, J Xue
Proceedings of the 2016 24th ACM SIGSOFT international symposium on …, 2016
612016
Self-inferencing reflection resolution for Java
Y Li, T Tan, Y Sui, J Xue
European Conference on Object-Oriented Programming, 27-53, 2014
552014
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA
Y Sui, S Ye, J Xue, PC Yew
Programming Languages and Systems, 155-171, 2011
502011
Sparse flow-sensitive pointer analysis for multithreaded programs
Y Sui, P Di, J Xue
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
462016
Region-based selective flow-sensitive pointer analysis
S Ye, Y Sui, J Xue
International Static Analysis Symposium, 319-336, 2014
422014
Query-directed adaptive heap cloning for optimizing compilers
Y Sui, Y Li, J Xue
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation …, 2013
402013
Accelerating dynamic detection of uses of undefined values with static value-flow analysis
D Ye, Y Sui, J Xue
Proceedings of Annual IEEE/ACM International Symposium on Code Generation …, 2014
392014
Spatio-temporal context reduction: A pointer-analysis-based static approach for detecting use-after-free vulnerabilities
H Yan, Y Sui, S Chen, J Xue
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
372018
Multi-modal attention network learning for semantic source code retrieval
Y Wan, J Shu, Y Sui, G Xu, Z Zhao, J Wu, PS Yu
arXiv preprint arXiv:1909.13516, 2019
352019
Boosting the precision of virtual call integrity protection with partial pointer analysis for C++
X Fan, Y Sui, X Liao, J Xue
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
332017
Automatic parallelization of tiled loop nests with enhanced fine-grained parallelism on GPUs
P Di, D Ye, Y Su, Y Sui, J Xue
2012 41st International Conference on Parallel Processing, 350-359, 2012
322012
Machine-learning-guided typestate analysis for static use-after-free detection
H Yan, Y Sui, S Chen, J Xue
Proceedings of the 33rd Annual Computer Security Applications Conference, 42-54, 2017
292017
Typestate-guided fuzzer for discovering use-after-free vulnerabilities
H Wang, X Xie, Y Li, C Wen, Y Li, Y Liu, S Qin, H Chen, Y Sui
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020
262020
Making context‐sensitive inclusion‐based pointer analysis practical for compilers using parameterised summarisation
Y Sui, S Ye, J Xue, J Zhang
Software: Practice and Experience 44 (12), 1485-1510, 2014
262014
Parallel pointer analysis with cfl-reachability
Y Su, D Ye, J Xue
2014 43rd International Conference on Parallel Processing, 451-460, 2014
262014
WPBound: Enforcing spatial memory safety efficiently at runtime with weakest preconditions
D Ye, Y Su, Y Sui, J Xue
2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014
252014
Loop-oriented array-and field-sensitive pointer analysis for automatic SIMD vectorization
Y Sui, X Fan, H Zhou, J Xue
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016
232016
The system can't perform the operation now. Try again later.
Articles 1–20