Yue Li

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 22

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

ESEC/SIGSOFT FSE

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, ChenXi Cui
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis. IEEE Trans. Software Eng. 50 (5) (2024)
Tian Tan, Yue Li
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. ISSTA (2023)
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. ESEC/SIGSOFT FSE (2023)
Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. CoRR (2023)
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Tian Tan, Yue Li
Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics. CoRR (2022)
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. PLDI (2021)
Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis
Making pointer analysis more precise by unleashing the power of selective context sensitivity. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Yue Li, Tian Tan, Jingling Xue
Understanding and Analyzing Java Reflection. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Yifei Zhang, Yue Li, Tian Tan, Jingling Xue
Ripple: Reflection analysis for Android apps in incomplete information environments. Softw. Pract. Exp. 48 (8) (2018)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Precision-guided context sensitivity for pointer analysis. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Scalability-first pointer analysis with self-tuning context-sensitivity. ESEC/SIGSOFT FSE (2018)
Yifei Zhang, Tian Tan, Yue Li, Jingling Xue
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. CODASPY (2017)
Tian Tan, Yue Li, Jingling Xue
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. PLDI (2017)
Jie Liu, Yue Li, Tian Tan, Jingling Xue
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely. ISSRE (2017)
Yue Li, Tian Tan, Jingling Xue
Understanding and Analyzing Java Reflection. CoRR (2017)
Yifei Zhang, Tian Tan, Yue Li, Jingling Xue
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. CoRR (2016)
Yue Li, Tian Tan, Yifei Zhang, Jingling Xue
Program Tailoring: Slicing by Sequential Criteria. ECOOP (2016)
Tian Tan, Yue Li, Yifei Zhang, Jingling Xue
Program Tailoring: Slicing by Sequential Criteria (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Tian Tan, Yue Li, Jingling Xue
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. SAS (2016)
Yue Li, Tian Tan, Jingling Xue
Effective Soundness-Guided Reflection Analysis. SAS (2015)
Yue Li, Tian Tan, Yulei Sui, Jingling Xue
Self-inferencing Reflection Resolution for Java. ECOOP (2014)
Yulei Sui, Yue Li, Jingling Xue
Query-directed adaptive heap cloning for optimizing compilers. CGO (2013)
Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma
What Is System Hang and How to Handle It. ISSRE (2012)
Yue Li, Yian Zhu, Chunyan Ma, Meng Xu
A Method for Constructing Fault Trees from AADL Models. ATC (2011)

Yue Li.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yue Li