Yue Li (李樾)
Before joining Nanjing University, I was a postdoc working at Aarhus University, Denmark (2017 - 2019),
and University of New South Wales, Australia (UNSW Sydney) (2016 - 2017). I received my PhD degree
in Computer Science from UNSW Sydeny in 2016, and B.Eng degree in Software Engineering and M.Eng degree in Computer Science from Northwestern Polytechnical University in 2010 and 2012, respectively.
My current research interest is to develop static program analysis techniques and tools for solving the problems in programming languages, software engineering and security. Tian Tan and I co-run the PASCAL Research Group.
Recent Selected Papers
- Understanding and Analyzing Java Reflection (TOSEM'19)
- Precision-Guided Context Sensitivity for Pointer Analysis (OOPSLA'18)
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity (FSE'18)
- Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata (PLDI'17)
Want to measure the unsoundness of your static analysis caused by reflection? Try this work վ'ᴗ' ի
How does context sensitivity gain precision for static analysis? Read this paper ٩(ˊᗜˋ )و
How to always ensure the scalability of your analysis? Try this memory-size-directed work (•̀ᴗ•́)و ̑̑
Want to build your call graph 100+ times faster with almost no precision loss? Try this work!
- I will join the Department of Computer Science and Technology at Nanjing University, as an associate professor this Fall.
- Better News: Tian Tan will also join the same department and we'll continue to work together!