Yue Li

According to our database, Yue Li authored at least 23 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li

Proc. ACM Program. Lang., October, 2023

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis.

Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li

Proc. ACM Program. Lang., 2023

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework.

Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics.

Tian Tan, Yue Li

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics.

Tian Tan, Yue Li

CoRR, 2022

2021

Making pointer analysis more precise by unleashing the power of selective context sensitivity.

Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis

Proc. ACM Program. Lang., 2021

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.

Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

A Principled Approach to Selective Context Sensitivity for Pointer Analysis.

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

ACM Trans. Program. Lang. Syst., 2020

2019

Understanding and Analyzing Java Reflection.

Yue Li, Tian Tan, Jingling Xue

ACM Trans. Softw. Eng. Methodol., 2019

2018

Ripple: Reflection analysis for Android apps in incomplete information environments.

Yifei Zhang, Yue Li, Tian Tan, Jingling Xue

Softw. Pract. Exp., 2018

Precision-guided context sensitivity for pointer analysis.

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

Proc. ACM Program. Lang., 2018

Scalability-first pointer analysis with self-tuning context-sensitivity.

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata.

Tian Tan, Yue Li, Jingling Xue

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Reflection Analysis for Java: Uncovering More Reflective Targets Precisely.

Jie Liu, Yue Li, Tian Tan, Jingling Xue

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2016

Understanding and analyzing Java reflection.

Yue Li

PhD thesis, 2016

Program Tailoring: Slicing by Sequential Criteria (Artifact).

Tian Tan, Yue Li, Yifei Zhang, Jingling Xue

Dagstuhl Artifacts Ser., 2016

Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.

Tian Tan, Yue Li, Jingling Xue

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Program Tailoring: Slicing by Sequential Criteria.

Yue Li, Tian Tan, Yifei Zhang, Jingling Xue

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Effective Soundness-Guided Reflection Analysis.

Yue Li, Tian Tan, Jingling Xue

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2014

Self-inferencing Reflection Resolution for Java.

Yue Li, Tian Tan, Yulei Sui, Jingling Xue

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Query-directed adaptive heap cloning for optimizing compilers.

Yulei Sui, Yue Li, Jingling Xue

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

What Is System Hang and How to Handle It.

Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

2011

A Method for Constructing Fault Trees from AADL Models.

Yue Li, Yian Zhu, Chunyan Ma, Meng Xu

Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011