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

2023

ESEC/FSE

Author of BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework within the Research Papers-track

SPLASH

Author of The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog within the OOPSLA-track

ISSTA

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

Author of Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis within the PLDI Research Papers-track

2022

ISSTA

Programme Committee in Program Committee within the Technical Papers-track

2021

SPLASH

Author of Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity within the OOPSLA-track

APLAS

PLDI

Author of Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code within the PLDI-track

2020

TAPAS

Committee Member in Program Committee within the TAPAS-track

2019

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifacts-track

2018

ESEC/FSE

Author of Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity within the Research Papers-track

SPLASH

2017

ECOOP

Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

PLDI

Author of Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata within the PLDI Research Papers-track

2016

ECOOP