|Academic Profile |
| || |
Asst Prof Li Yi
Assistant Professor, School of Computer Science and Engineering
|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.
|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.|
- Automated Testing Framework for Deep Neural Network
- 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
- 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.
- Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik. (2018). Semantic Slicing of Software Version Histories. IEEE Transactions on Software Engineering, 44(2), 182-201.
- Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel and Marsha Chechik. (2014). Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Symbolic Optimization with SMT Solvers. POPL'14 (pp. 607-618)San Diego, California, USA: ACM.
« Back to Category Write-up