Yue Li

37 papers A* 4A 6B 2C 1Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
ChiSA: Static Analysis for Lightweight Chisel Verification.
Proc. ACM Program. Lang.
Jiacai Cui, Qinlin Chen, Zhongsheng Zhan, Tian Tan, Yue Li
2026 J jnl
Qihe: A General-Purpose Static Analysis Framework for Verilog.
CoRR
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li
2026 J jnl
Scaling Inter-procedural Dataflow Analysis on the Cloud.
ACM Trans. Program. Lang. Syst.
Zewen Sun, Yujin Zhang, Yueyang Wang, Duanchen Xu, Yiyu Zhang, Yun Qi, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo, Zhiqiang Zuo
2025 J jnl
Bridge the Islands: Pointer Analysis for Microservice Systems.
Proc. ACM Softw. Eng.
Teng Zhang, Yufei Liang, Ganlin Li, Tian Tan, Chang Xu, Yue Li
2025 A* conf
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs.
ICSE
Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, Yue Li
2025 A* conf
PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps.
ICSE
Menglong Chen, Tian Tan, Minxue Pan, Yue Li
2025 J jnl
Pointer Analysis for Database-Backed Applications.
Proc. ACM Program. Lang.
Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, Yue Li
2025 J jnl
Two Approaches to Fast Bytecode Frontend for Static Analysis.
Proc. ACM Program. Lang.
Chenxi Li, Haoran Lin, Tian Tan, Yue Li
2024 J jnl
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis.
IEEE Trans. Software Eng.
Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, Chenxi Cui
2024 J jnl
Scaling Inter-procedural Dataflow Analysis on the Cloud.
CoRR
Zewen Sun, Yujin Zhang, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Yi Li, Zhaokang Wang, Yue Li, Xuandong Li, Zhiqiang Zuo, Qingda Lu, Wenwen Peng, Shengjian Guo
2023 — conf
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework.
ESEC/SIGSOFT FSE
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo
2023 J jnl
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis.
CoRR
Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
2023 J jnl
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis.
Proc. ACM Program. Lang.
Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
2023 A conf
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics.
ISSTA
Tian Tan, Yue Li
2023 J jnl
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.
Proc. ACM Program. Lang.
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li
2022 J jnl
Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics.
CoRR
Tian Tan, Yue Li
2021 A* conf
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.
PLDI
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
2021 J jnl
Making pointer analysis more precise by unleashing the power of selective context sensitivity.
Proc. ACM Program. Lang.
Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis
2020 J jnl
A Principled Approach to Selective Context Sensitivity for Pointer Analysis.
ACM Trans. Program. Lang. Syst.
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2019 J jnl
Understanding and Analyzing Java Reflection.
ACM Trans. Softw. Eng. Methodol.
Yue Li, Tian Tan, Jingling Xue
2018 J jnl
Precision-guided context sensitivity for pointer analysis.
Proc. ACM Program. Lang.
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2018 J jnl
Ripple: Reflection analysis for Android apps in incomplete information environments.
Softw. Pract. Exp.
Yifei Zhang, Yue Li, Tian Tan, Jingling Xue
2018 — conf
Scalability-first pointer analysis with self-tuning context-sensitivity.
ESEC/SIGSOFT FSE
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2017 A* conf
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata.
PLDI
Tian Tan, Yue Li, Jingling Xue
2017 A conf
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely.
ISSRE
Jie Liu, Yue Li, Tian Tan, Jingling Xue
2017 — conf
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments.
CODASPY
Yifei Zhang, Tian Tan, Yue Li, Jingling Xue
2017 J jnl
Understanding and Analyzing Java Reflection.
CoRR
Yue Li, Tian Tan, Jingling Xue
2016 B conf
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.
SAS
Tian Tan, Yue Li, Jingling Xue
2016 J jnl
Program Tailoring: Slicing by Sequential Criteria (Artifact).
Dagstuhl Artifacts Ser.
Tian Tan, Yue Li, Yifei Zhang, Jingling Xue
2016 A conf
Program Tailoring: Slicing by Sequential Criteria.
ECOOP
Yue Li, Tian Tan, Yifei Zhang, Jingling Xue
2016 J jnl
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments.
CoRR
Yifei Zhang, Tian Tan, Yue Li, Jingling Xue
2016 — —
Understanding and analyzing Java reflection.
Yue Li
2015 B conf
Effective Soundness-Guided Reflection Analysis.
SAS
Yue Li, Tian Tan, Jingling Xue
2014 A conf
Self-inferencing Reflection Resolution for Java.
ECOOP
Yue Li, Tian Tan, Yulei Sui, Jingling Xue
2013 A conf
Query-directed adaptive heap cloning for optimizing compilers.
CGO
Yulei Sui, Yue Li, Jingling Xue
2012 A conf
What Is System Hang and How to Handle It.
ISSRE
Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma
2011 C conf
A Method for Constructing Fault Trees from AADL Models.
ATC
Yue Li, Yian Zhu, Chunyan Ma, Meng Xu