Yulei Sui
TitleCited byYear
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
812012
SVF: interprocedural static value-flow analysis in LLVM
Y Sui, J Xue
Proceedings of the 25th international conference on compiler construction …, 2016
742016
Self-inferencing reflection resolution for Java
Y Li, T Tan, Y Sui, J Xue
European Conference on Object-Oriented Programming, 27-53, 2014
442014
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
432014
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
402011
Region-based selective flow-sensitive pointer analysis
S Ye, Y Sui, J Xue
International Static Analysis Symposium, 319-336, 2014
382014
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
352014
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
342013
On-demand strong update analysis via value-flow refinement
Y Sui, J Xue
Proceedings of the 2016 24th ACM SIGSOFT international symposium on …, 2016
322016
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
302016
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
202014
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
202012
Loop-oriented array-and field-sensitive pointer analysis for automatic SIMD vectorization
Y Sui, XI Fan, H Zhou, J Xue
ACM SIGPLAN Notices 51 (5), 41-51, 2016
192016
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
172017
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
172014
Parallel pointer analysis with CFL-reachability
Y Su, D Ye, J Xue
2014 43rd International Conference on Parallel Processing, 451-460, 2014
162014
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
142018
Adaptive approach to monitor resource for cloud computing platform
Y Gang, S Yu-lei
Computer Engineering and Applications 45 (29), 14-17, 2009
132009
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
122017
Accelerating inclusion-based pointer analysis on heterogeneous CPU-GPU systems
Y Su, D Ye, J Xue
20th Annual International Conference on High Performance Computing, 149-158, 2013
112013
The system can't perform the operation now. Try again later.
Articles 1–20