Yue Li -

Registered user since Fri 15 Apr 2016

Name:Yue Li

Country:China

Affiliation:Nanjing University

Personal website:https://cs.nju.edu.cn/yueli

Research interests:Program Analysis, Programming Languages

Contributions

ISSTA 2023	Author of Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics within the Technical Papers-track
PLDI 2023	Author of Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis within the PLDI Research Papers-track
ISSTA 2022	Programme Committee in Program Committee within the Technical Papers-track
SPLASH 2021	Author of Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity within the OOPSLA-track
APLAS 2021	Committee Member in Program Committee within the Research Papers-track Session Chair of Verification / Theory (mirror) (part of Research Papers)
PLDI 2021	Author of Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code within the PLDI-track
TAPAS 2020	Committee Member in Program Committee within the TAPAS-track
SPLASH 2019	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2019	Committee Member in Artifact Evaluation Committee within the Artifacts-track
ESEC/FSE 2018	Author of Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity within the Research Papers-track
SPLASH 2018	Committee Member in Artifact Evaluation Committee within the Artifacts-track Author of Precision-Guided Context Sensitivity for Pointer Analysis within the OOPSLA-track Author of Precision-Guided Context Sensitivity for Pointer Analysis within the Posters-track Author of Precision-Guided Context Sensitivity for Pointer Analysis within the Artifacts-track
ECOOP 2017	Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI 2017	Author of Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata within the PLDI Research Papers-track
ECOOP 2016	Author of Program Tailoring: Slicing by Sequential Criteria within the Artifacts-track Author of Program Tailoring: Slicing by Sequential Criteria within the Research Track-track