Academic Profile

Academic Profile

Asst Prof Li Yi

Assistant Professor, School of Computer Science and Engineering

Asst Prof Li Yi

Dr. Li Yi is an assistant professor at the School of Computer Science and Engineering of the Nanyang Technological University. He received both his PhD and MSc degrees in Computer Science from the University of Toronto, and his BComp degree from the National University of Singapore.

Dr. Li's recent work on software history analysis won an ACM Distinguished Paper Award at the 30th International Conference on Automated Software Engineering (ASE’15). He also received the Chinese Government Award for Outstanding Students Abroad in 2017. Dr. Li served as the Co-Chair of ICFEM'19 Doctoral Symposium, Program Committee member of ASE'19 tool demo track, VSTTE'19, and SANER'19 tool track.
Research Interests
Dr. Li's research mainly focuses on program analysis and automated reasoning techniques with applications in but not limit to various aspects of software engineering research, such as software model checking, bug finding, software requirements and evolution history analysis. His research also addressed important problems in SMT solving techniques as well as artificial intelligence such as planning and scheduling.
Current Projects
  • Automated Testing Framework for Deep Neural Network
  • Effective Learning Through In-Class Online Competitions
  • Large-Scale Vulnerabilities Assessment and Detection for Android Apps
  • Modular and Verified Software Construction Through Mining and Composition
  • Scalable Compatibility Checking of Software Component Upgrades
  • SeCaux: A Framework for Security Vulnerability Root Cause Analysis
Selected Publications
  • Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, and Yulei Sui. (2020). Proceedings of the 42nd International Conference on Software Engineering: Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities. International Conference on Software Engineering (pp. 999--1010)Seoul, South Korea: ACM.
  • Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik. (2019). Precise Semantic History Slicing Through Dynamic Delta Refinement. Automated Software Engineering, 26(4), 757--793.
  • Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu. (2019). VULTRON: Catching Vulnerable Smart Contracts Once and for All. 41st ACM/IEEE International Conference on Software Engineering.
  • Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao. (2019). DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems. 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
  • Yi Li, Jin Song Dong, Jing Sun, Yang Liu and Jun Sun. (2019). Model Checking Approach to Automated Planning. Formal Methods in System Design, 44(2), 176-202.

« Back to Category Write-up