Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYue Li 0006
Person information
- affiliation: Nanjing University, China
- affiliation (former): Aarhus University, Denmark
- affiliation (PhD 2016): University of New South Wales, Sydney, NSW, Australia
Other persons with the same name
- Yue Li — disambiguation page
- Yue Li 0001 — California Institute of Technology, Pasadena, CA, USA (and 1 more)
- Yue Li 0002
![[0000-0001-7682-811X]](https://dblp.org/img/orcid-mark.12x12.png "0000-0001-7682-811X")
— College of William & Mary, Williamsburg, VA, USA - Yue Li 0003 — Jilin University, Department of Information, College of Communication Engineering, Changchun, China
- Yue Li 0004 — City University of Hong Kong, Department of Mechanical and Biomedical Engineering, Hong Kong
- Yue Li 0005 — Purdue University, West Lafayette, IN, USA
- Yue Li 0007 — University of Victoria, Department of Electrical and Computer Engineering, BC, Canada
- Yue Li 0008 — Hong Kong University of Science and Technology, Department of Electrical and Computer Engineering, Hong Kong
- Yue Li 0009 — Tsinghua University, Department of Electronic Engineering, Microwave and Antenna Institute, Beijing, China
- Yue Li 0010 — Donghua University, School of Computer Science and Technology, Shanghai, China (and 1 more)
- Yue Li 0011 — University of Rennes 1, France
- Yue Li 0012 — University of Karlsruhe, Germany
- Yue Li 0013 — Nankai University, College of Software, Tianjin, China (and 1 more)
- Yue Li 0014 — Pennsylvania State University, Department of Mechanical and Nuclear Engineering, University Park, PA, USA
- Yue Li 0015 — Bytedance Inc., San Diego, CA, USA (and 1 more)
- Yue Li 0016 — Hunan University, School of Information Science and Engineering, Changsha, China
- Yue Li 0017 — Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Boston, MA, USA (and 1 more)
- Yue Li 0018 — Harbin Institute of Technology, Communications Engineering Research Center, Shenzhen, China
- Yue Li 0019 — Florida International University, School of Computing and Information Sciences, Miami, FL, USA (and 2 more)
- Yue Li 0020 — Wuhan University of Science and Engineering, Wuhan, China
- Yue Li 0021 — Heriot-Watt University, School of Mathematical and Computer Sciences, Edinburgh, UK
- Yue Li 0022 — Naval Aviation University, College of Basic Science for Aviation, Yantai, China
- Yue Li 0023 — Xi'an Jiaotong-Liverpool University, Suzhou, China (and 1 more)
- Yue Li 0024 — Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore
- Yue Li 0025 — Chinese University of Hong Kong, Department of Geography and Resource Management, Hong Kong
- Yue Li 0026 — University College Dublin, School of Electrical and Electronic Engineering, Dublin, Ireland
- Yue Li 0027 — Nanjing University of Aeronautics and Astronautics, College of Automation Engineering, Nanjing, China
- Yue Li 0028 — Capital Normal University, Information Engineering College, Beijing, China
- Yue Li 0029 — University of Science and Technology Beijing, School of Computer and Communication Engineering, Beijing, China
- Yue Li 0030 — Zhejiang University, College of Electrical Engineering, Hangzhou, China
- Yue Li 0031 — Case Western Reserve University, Department of Civil Engineering, Cleveland, OH, USA (and 1 more)
- Yue Li 0032 — National University of Defense Technology, Laboratory of Science and Technology on Integrated Logistics Support, Changsha, China
- Yue Li 0033 — AIG Software, Jersey City, NJ, USA (and 1 more)
- Yue Li 0034 — University of New South Wales, UNSW, School of Electrical Engineering and Telecommunications, Sydney, Australia
- Yue Li 0035 — Télécom ParisTech, INFRES, France,
- Yue Li 0036 — University of Amsterdam, Atlas Lab, The Netherlands (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j8]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): 234-263 (2023)- [j7]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): 539-564 (2023) - [c14]Tian Tan, Yue Li:
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. ISSTA 2023: 1093-1105 - [c13]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: 1431-1443 - [i4]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 abs/2304.12034 (2023) - 2022
- [i3]Tian Tan, Yue Li:
Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics. CoRR abs/2208.00337 (2022) - 2021
- [j6]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): 1-27 (2021) - [c12]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: 914-929 - 2020
- [j5]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): 10:1-10:40 (2020)
2010 – 2019
- 2019
- [j4]Yue Li, Tian Tan, Jingling Xue:
Understanding and Analyzing Java Reflection. ACM Trans. Softw. Eng. Methodol. 28(2): 7:1-7:50 (2019) - 2018
- [j3]Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis:
Precision-guided context sensitivity for pointer analysis. Proc. ACM Program. Lang. 2(OOPSLA): 141:1-141:29 (2018) - [j2]Yifei Zhang, Yue Li, Tian Tan, Jingling Xue:
Ripple: Reflection analysis for Android apps in incomplete information environments. Softw. Pract. Exp. 48(8): 1419-1437 (2018) - [c11]Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis:
Scalability-first pointer analysis with self-tuning context-sensitivity. ESEC/SIGSOFT FSE 2018: 129-140 - 2017
- [c10]Yifei Zhang, Tian Tan, Yue Li, Jingling Xue:
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. CODASPY 2017: 281-288 - [c9]Jie Liu, Yue Li, Tian Tan, Jingling Xue:
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely. ISSRE 2017: 12-23 - [c8]Tian Tan, Yue Li, Jingling Xue:
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. PLDI 2017: 278-291 - [i2]Yue Li, Tian Tan, Jingling Xue:
Understanding and Analyzing Java Reflection. CoRR abs/1706.04567 (2017) - 2016
- [b1]Yue Li:
Understanding and analyzing Java reflection. University of New South Wales, Sydney, Australia, 2016 - [j1]Tian Tan, Yue Li, Yifei Zhang, Jingling Xue:
Program Tailoring: Slicing by Sequential Criteria (Artifact). Dagstuhl Artifacts Ser. 2(1): 08:1-08:3 (2016) - [c7]Yue Li, Tian Tan, Yifei Zhang, Jingling Xue:
Program Tailoring: Slicing by Sequential Criteria. ECOOP 2016: 15:1-15:27 - [c6]Tian Tan, Yue Li, Jingling Xue:
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. SAS 2016: 489-510 - [i1]Yifei Zhang, Tian Tan, Yue Li, Jingling Xue:
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. CoRR abs/1612.05343 (2016) - 2015
- [c5]Yue Li, Tian Tan, Jingling Xue:
Effective Soundness-Guided Reflection Analysis. SAS 2015: 162-180 - 2014
- [c4]Yue Li, Tian Tan, Yulei Sui, Jingling Xue:
Self-inferencing Reflection Resolution for Java. ECOOP 2014: 27-53 - 2013
- [c3]Yulei Sui, Yue Li, Jingling Xue:
Query-directed adaptive heap cloning for optimizing compilers. CGO 2013: 1:1-1:11 - 2012
- [c2]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: 141-150 - 2011
- [c1]Yue Li, Yian Zhu, Chunyan Ma, Meng Xu:
A Method for Constructing Fault Trees from AADL Models. ATC 2011: 243-258
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-22 20:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
