Academic Profile : Faculty
 SLIM FACE_9026 REDO (PASSPORT RES).jpg)
Assoc Prof Li Yi
Associate Professor, College of Computing & Data Science
Email
External Links
Journal Articles
(Not applicable to NIE
staff as info will be
pulled from PRDS)
(Not applicable to NIE
staff as info will be
pulled from PRDS)
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Haijun Wang, Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, and Yang Liu
IEEE Transactions on Dependable and Secure Computing, 2022.
Demystifying Performance Regressions in String Solvers
Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, and Xiaohong Li
IEEE Transactions on Software Engineering, 2022.
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, and Zengxiang Li
ACM Computing Surveys, 2021.
Precise Semantic History Slicing Through Dynamic Delta Refinement
Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, and Marsha Chechik
Automated Software Engineering, 2019.
Semantic Slicing of Software Version Histories
Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik
IEEE Transactions on Software Engineering, 2018.
Model Checking Approach to Automated Planning
Yi Li, Jin Song Dong, Jing Sun, Yang Liu, and Jun Sun
Formal Methods in System Design, 2014.
Haijun Wang, Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, and Yang Liu
IEEE Transactions on Dependable and Secure Computing, 2022.
Demystifying Performance Regressions in String Solvers
Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, and Xiaohong Li
IEEE Transactions on Software Engineering, 2022.
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, and Zengxiang Li
ACM Computing Surveys, 2021.
Precise Semantic History Slicing Through Dynamic Delta Refinement
Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, and Marsha Chechik
Automated Software Engineering, 2019.
Semantic Slicing of Software Version Histories
Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik
IEEE Transactions on Software Engineering, 2018.
Model Checking Approach to Automated Planning
Yi Li, Jin Song Dong, Jing Sun, Yang Liu, and Jun Sun
Formal Methods in System Design, 2014.
Book Chapters
(Not applicable to NIE
staff as info will be
pulled from PRDS)
(Not applicable to NIE
staff as info will be
pulled from PRDS)
Semantic History Slicing
Yi Li, Julia Rubin, and Marsha Chechik
In Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2022.
Yi Li, Julia Rubin, and Marsha Chechik
In Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2022.
Conference Papers
(Not applicable to NIE
staff as info will be
pulled from PRDS)
(Not applicable to NIE
staff as info will be
pulled from PRDS)
Finding Permission Bugs in Smart Contracts with Role Mining
Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho
In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022.
DIFFBASE: A Differential Factbase for Effective Software Evolution Management
Xiuheng Wu, Chenguang Zhu, and Yi Li
In Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2021.
GenSlice: Generalized Semantic History Slicing
Chenguang Zhu, Yi Li, Julia Rubin, and Marsha Chechik
In Proceedings of the 36th IEEE International Conference on Software Maintenance and Evolution (ICSME), 2020.
DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2019.
Semantic Slicing of Software Version Histories
Yi Li, Julia Rubin, and Marsha Chechik
In Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015.
Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho
In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022.
DIFFBASE: A Differential Factbase for Effective Software Evolution Management
Xiuheng Wu, Chenguang Zhu, and Yi Li
In Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2021.
GenSlice: Generalized Semantic History Slicing
Chenguang Zhu, Yi Li, Julia Rubin, and Marsha Chechik
In Proceedings of the 36th IEEE International Conference on Software Maintenance and Evolution (ICSME), 2020.
DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2019.
Semantic Slicing of Software Version Histories
Yi Li, Julia Rubin, and Marsha Chechik
In Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015.
Keynote Speeches & Editorship of Special Issues
(Not applicable to NIE
staff as info will be
pulled from PRDS)
(Not applicable to NIE
staff as info will be
pulled from PRDS)
Smart Contract Security and Fairness: A Tale of Two Contending Parties
Keynote at the 12th Asia-Pacific Symposium on Internetware, Singapore, May 2021
Vultron: Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Keynote at the Emerging Software Security Symposium, National Software Application Conference (NASAC), Hangzhou, China, November 2019
25th International Conference on Engineering of Complex Computer Systems (ICECCS)
Editors: Yi Li and Alan Wee-Chung Liew
ISBN: 978-1-7281-8558-3, 2020.
Keynote at the 12th Asia-Pacific Symposium on Internetware, Singapore, May 2021
Vultron: Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Keynote at the Emerging Software Security Symposium, National Software Application Conference (NASAC), Hangzhou, China, November 2019
25th International Conference on Engineering of Complex Computer Systems (ICECCS)
Editors: Yi Li and Alan Wee-Chung Liew
ISBN: 978-1-7281-8558-3, 2020.
Google Scholar