default search action

combined dblp search
author search
venue search
publication search

ask others

Yue Li 0006

> Home > Persons

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

see FAQ

Yue Li — disambiguation page
Yue Li 0001 — California Institute of Technology, Pasadena, CA, USA (and 1 more)
Yue Li 0002 — 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)
Yue Li 0037 — Peking University, School of Computer Science, HCST, Beijing, China

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LiTLLMCHLGDLC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LiTLLMCHLGDLC24
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): 1144-1162 (2024)
2023
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ChenZWTXML23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ChenZWTXML23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MaY0M0023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MaY0M0023
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TanL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TanL23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SunXZQW0W0LLPG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SunXZQW0W0LLPG23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-12034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-12034
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-00337
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-00337
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/TanLMXS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/TanLMXS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0002ZPLLWLX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0002ZPLLWLX21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/LiTMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/LiTMS20
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/LiTX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/LiTX19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/LiTMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/LiTMS18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/ZhangLTX18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/ZhangLTX18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LiTMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LiTMS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/codaspy/ZhangTLX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codaspy/ZhangTLX17
Yifei Zhang, Tian Tan, Yue Li, Jingling Xue:
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. CODASPY 2017: 281-288
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LiuLTX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LiuLTX17
Jie Liu, Yue Li, Tian Tan, Jingling Xue:
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely. ISSRE 2017: 12-23
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TanLX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TanLX17
Tian Tan, Yue Li, Jingling Xue:
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. PLDI 2017: 278-291
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LiTX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiTX17
Yue Li, Tian Tan, Jingling Xue:
Understanding and Analyzing Java Reflection. CoRR abs/1706.04567 (2017)
2016
[b1]
- view
  - electronic edition @ unsw.edu.au
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/basesearch/Li16e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Li16e
Yue Li:
Understanding and analyzing Java reflection. University of New South Wales, Sydney, Australia, 2016
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/TanLZX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/TanLZX16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/LiTZX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/LiTZX16
Yue Li, Tian Tan, Yifei Zhang, Jingling Xue:
Program Tailoring: Slicing by Sequential Criteria. ECOOP 2016: 15:1-15:27
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/TanLX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/TanLX16
Tian Tan, Yue Li, Jingling Xue:
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. SAS 2016: 489-510
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZhangTLX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZhangTLX16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/LiTX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/LiTX15
Yue Li, Tian Tan, Jingling Xue:
Effective Soundness-Guided Reflection Analysis. SAS 2015: 162-180
2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/LiTSX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/LiTSX14
Yue Li, Tian Tan, Yulei Sui, Jingling Xue:
Self-inferencing Reflection Resolution for Java. ECOOP 2014: 27-53
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/SuiLX13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/SuiLX13
Yulei Sui, Yue Li, Jingling Xue:
Query-directed adaptive heap cloning for optimizing compilers. CGO 2013: 1:1-1:11
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhuLXTSSM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhuLXTSSM12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atc/LiZMX11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atc/LiZMX11
Yue Li, Yian Zhu, Chunyan Ma, Meng Xu:
A Method for Constructing Fault Trees from AADL Models. ATC 2011: 243-258

Coauthor Index

see FAQ

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.