Yue Li

Registered user since Fri 15 Apr 2016

Name:Yue Li
Country:China
Affiliation:Nanjing University
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