关注
Yue Li
Yue Li
Department of Computer Science and Technology, Nanjing University
在 nju.edu.cn 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata
T Tan, Y Li, J Xue
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
862017
Precision-guided context sensitivity for pointer analysis
Y Li, T Tan, A Møller, Y Smaragdakis
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
732018
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
T Tan, Y Li, J Xue
International Static Analysis Symposium, 489-510, 2016
712016
Self-inferencing reflection resolution for Java
Y Li, T Tan, Y Sui, J Xue
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
692014
Understanding and analyzing java reflection
Y Li, T Tan, J Xue
ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (2), 1-50, 2019
632019
Scalability-first pointer analysis with self-tuning context-sensitivity
Y Li, T Tan, A Møller, Y Smaragdakis
Proceedings of the 2018 26th ACM joint meeting on european software …, 2018
632018
A principled approach to selective context sensitivity for pointer analysis
Y Li, T Tan, A Møller, Y Smaragdakis
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (2), 1-40, 2020
442020
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
442013
Effective soundness-guided reflection analysis
Y Li, T Tan, J Xue
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
432015
Program tailoring: Slicing by sequential criteria
Y Li, T Tan, Y Zhang, J Xue
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
392016
Ripple: Reflection analysis for android apps in incomplete information environments
Y Zhang, T Tan, Y Li, J Xue
Proceedings of the Seventh ACM on Conference on Data and Application …, 2017
342017
What is system hang and how to handle it
Y Zhu, Y Li, J Xue, T Tan, J Shi, Y Shen, C Ma
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
302012
Making pointer analysis more precise by unleashing the power of selective context sensitivity
T Tan, Y Li, X Ma, C Xu, Y Smaragdakis
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021
192021
Reflection analysis for java: Uncovering more reflective targets precisely
J Liu, Y Li, T Tan, J Xue
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
192017
Chianina: An evolving graph system for flow-and context-sensitive analyses of million lines of C code
Z Zuo, Y Zhang, Q Pan, S Lu, Y Li, L Wang, X Li, GH Xu
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
152021
A method for constructing fault trees from AADL models
Y Li, Y Zhu, C Ma, M Xu
Autonomic and Trusted Computing: 8th International Conference, ATC 2011 …, 2011
142011
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
T Tan, Y Li
Proceedings of the ACM SIGSOFT International Symposium on Software Testing …, 2023
10*2023
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
W Ma, S Yang, T Tan, X Ma, C Xu, Y Li
Proceedings of the ACM on Programming Languages 7 (PLDI), 539-564, 2023
72023
The essence of Verilog: A tractable and tested operational semantics for Verilog
Q Chen, N Zhang, J Wang, T Tan, C Xu, X Ma, Y Li
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 234-263, 2023
22023
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
H Li, T Tan, Y Li, J Lu, H Meng, L Cao, Y Huang, L Li, L Gao, P Di, L Lin, ...
IEEE Transactions on Software Engineering, 2024
2024
系统目前无法执行此操作,请稍后再试。
文章 1–20