Yi Li bio photo

Yi Li

Associate Professor

College of Computing and Data Science (CCDS)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn GitHub Bitbucket Google Scholar ORCID

Publications

Peer-Reviewed Conferences

  1. SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
    Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, and Lei Bu
    In Proceedings of the 47th International Conference on Software Engineering (ICSE), 2025.
  2. ContractViz: Extending Eclipse Trace Compass for Smart Contract Transaction Analysis
    Xiaolin Liu, Adel Belkhiri, Mónica Jin, Yi Li, and Cyrille Artho
    In Proceedings of the 32nd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2025.
  3. Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
    Ye Liu, Yixuan Liu, Yi Li, and Cyrille Artho
    In Proceedings of the 32nd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2025.
  4. PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
    Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, and Yang Liu
    In Proceedings of 32nd Annual Network and Distributed System Security Symposium (NDSS), 2025.
  5. OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
    Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, and Fan Long
    In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024.
  6. An Empirical Study to Evaluate AIGC Detectors on Code Content
    Jian Wang, Shangqing Liu, Xiaofei Xie, and Yi Li
    In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024.
  7. RATCHET: Retrieval Augmented Transformer for Program Repair
    Jian Wang, Shangqing Liu, Xiaofei Xie, Jing Kai Siow, Kui Liu, and Yi Li
    In Proceedings of the 35th International Symposium on Software Reliability Engineering (ISSRE), 2024.
  8. Demystifying Invariant Effectiveness for Securing Smart Contracts
    Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, and Fan Long
    In Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE), 2024.
  9. LightCross: Sharding with Lightweight Cross-Shard Execution for Smart Contracts
    Xiaodong Qi and Yi Li
    In Proceedings of the 42nd IEEE International Conference on Computer Communications (INFOCOM), 2024.
  10. A Vision on Intentions in Software Engineering
    Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, and Julia Rubin
    In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2023.
  11. EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
    Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, and Xiaohong Li
    In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023.
  12. CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues
    Xiufeng Xu, Chenguang Zhu, and Yi Li
    In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023.
  13. Smart Contract Parallel Execution with Fine-Grained State Accesses
    Xiaodong Qi, Jiao Jiao, and Yi Li
    In Proceedings of the 43rd IEEE International Conference on Distributed Computing Systems (ICDCS), 2023.
  14. Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis
    Sahar Badihi, Khaled Ahmed, Yi Li, and Julia Rubin
    In Proceedings of the 45th International Conference on Software Engineering (ICSE), 2023.
  15. GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis
    Yushi Cao, Zhiming Li, Tianpei Yang, Hao Zhang, Yan Zheng, Yi Li, Jianye Hao, and Yang Liu
    In Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS), 2022.
  16. SolSEE: A Source-Level Symbolic Execution Engine for Solidity
    Shang-Wei Lin, Palina Tolmach, Ye Liu, and Yi Li
    In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2022.
  17. Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects
    Xiuhan Shi, Xiaofei Xie, Yi Li, Yao Zhang, Sen Chen, and Xiaohong Li
    In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2022.
  18. Towards Understanding Third-Party Library Dependency in C/C++ Ecosystem
    Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, and Yang Liu
    In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
  19. Identifying Solidity Smart Contract API Documentation Errors
    Chenguang Zhu, Ye Liu, Xiuheng Wu, and Yi Li
    In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
  20. Property-Based Automated Repair of DeFi Protocols
    Palina Tolmach, Yi Li, and Shang-Wei Lin
    In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
  21. InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
    Ye Liu and Yi Li
    In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
  22. 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.
  23. EvoMe: A Software Evolution Management Engine Based on Differential Factbase
    Xiuheng Wu, Mengyang Li, and Yi Li
    In Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021.
  24. 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.
  25. EQBENCH: A Dataset of Equivalent and Non-equivalent Program Pairs
    Sahar Badihi, Yi Li, and Julia Rubin
    In Proceedings of the 18th Mining Software Repositories Conference (MSR), 2021.
  26. Formal Analysis of Composable DeFi Protocols
    Palina Tolmach, Yi Li, Shang-Wei Lin, and Yang Liu
    In Proceedings of the 1st Workshop on Decentralized Finance (DeFi), 2021.
  27. Audee: Automated Testing for Deep Learning Frameworks
    Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, and Chao Shen
    In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.
  28. MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems
    Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, and Jianjun Zhao
    In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.
  29. ModCon: A Model-Based Testing Platform for Smart Contracts
    Ye Liu, Yi Li, Shang-Wei Lin, and Qiang Yan
    In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2020.
  30. ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
    Sahar Badihi, Faridah Akinotcho, Yi Li, and Julia Rubin
    In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2020.
  31. Towards Automated Verification of Smart Contract Fairness
    Ye Liu, Yi Li, Shang-Wei Lin, and Rong Zhao
    In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2020.
  32. 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.
  33. Large-Scale Patch Recommendation at Alibaba
    Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, and Haobo Gu
    In Proceedings of the 42nd International Conference on Software Engineering (ICSE), 2020.
  34. PRECFIX: Large-Scale Patch Recommendation by Mining Defect-Patch Pairs
    Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, and Haobo Gu
    In Proceedings of the 42nd International Conference on Software Engineering (ICSE), 2020.
  35. Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities
    Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, and Yulei Sui
    In Proceedings of the 42nd International Conference on Software Engineering (ICSE), 2020.
  36. A Quantitative Analysis Framework for Recurrent Neural Network
    Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
    In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019.
  37. Coverage-Guided Fuzzing for FeedForward Neural Networks
    Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao
    In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019.
  38. 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.
  39. VULTRON: Catching Vulnerable Smart Contracts Once and for All
    Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, and Yang Liu
    In Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2019.
  40. Client-Specific Equivalence Checking
    Federico Mora, Yi Li, Julia Rubin, and Marsha Chechik
    In Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018.
  41. CSlicerCloud: A Web-Based Semantic History Slicing Framework
    Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik
    In Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018.
  42. Managing Software Evolution through Semantic History Slicing
    Yi Li
    In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017.
  43. FHistorian: Locating Features in Version Histories
    Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik
    In Proceedings of the 21st International Systems and Software Product Line Conference (SPLC), 2017.
  44. A Dataset for Dynamic Discovery of Semantic Changes in Version Controlled Software Histories
    Chenguang Zhu, Yi Li, Julia Rubin, and Marsha Chechik
    In Proceedings of the 14th International Conference on Mining Software Repositories (MSR), 2017.
  45. Precise Semantic History Slicing through Dynamic Delta Refinement
    Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik
    In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016.
  46. Using Metric Temporal Logic to Specify Scheduling Problems
    Roy Luo, Richard Valenzano, Yi Li, Christopher Beck, and Sheila McIlraith
    In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2016.
  47. 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.
  48. Angelic Verification: Precise Verification Modulo Unknowns
    Ankush Das, Shuvendu Lahiri, Akash Lal, and Yi Li
    In Proceedings of the 27th International Conference on Computer Aided Verification (CAV), 2015.
  49. Management of Time Requirements in Component-based Systems
    Yi Li, Tian Huat Tan, and Marsha Chechik
    In Proceedings of the 19th International Symposium on Formal Methods (FM), 2014.
  50. Symbolic Optimization with SMT Solvers
    Yi Li, Aws Albarghouthi, Arie Gurfinkel, Zachary Kincaid, and Marsha Chechik
    In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2014.
  51. UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution)
    Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, and Marsha Chechik
    In Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013.
  52. Planning as Model Checking Tasks
    Yi Li, Jing Sun, Jin Song Dong, Yang Liu, and Jun Sun
    In Proceedings of the 35th Annual IEEE Software Engineering Workshop (SEW-35), 2012.
  53. UFO: A Framework for Abstraction- and Interpolation-Based Software Verification
    Aws Albarghouthi, Yi Li, Arie Gurfinkel, and Marsha Chechik
    In Proceedings of the 24th International Conference on Computer Aided Verification (CAV), 2012.
  54. Translating PDDL into CSP#—The PAT Approach
    Yi Li, Jing Sun, Jin Song Dong, Yang Liu, and Jun Sun
    In Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2012.

Journal Articles

  1. A Meta-Study of Software-Change Intentions
    Jacob Krüger, Yi Li, Kirill Lossev, Chenguang Zhu, Marsha Chechik, Thorsten Berger, and Julia Rubin
    ACM Computing Surveys, 2024.
  2. Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery
    Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, Xiufeng Xu, and Yi Li
    ACM Transactions on Software Engineering and Methodology, 2023.
  3. 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, 2023.
  4. 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.
  5. 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.
  6. Precise Semantic History Slicing Through Dynamic Delta Refinement
    Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, and Marsha Chechik
    Automated Software Engineering, 2019.
  7. Semantic Slicing of Software Version Histories
    Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik
    IEEE Transactions on Software Engineering, 2018.
  8. 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

  1. Semantic History Slicing
    Yi Li, Julia Rubin, and Marsha Chechik
    In Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2022.

Edited Volumes

  1. 24th International Conference on Formal Engineering Methods (ICFEM)
    Yi Li and Sofiène Tahar
    ISBN: 978-981-99-7583-9, 2023.
  2. 25th International Conference on Engineering of Complex Computer Systems (ICECCS)
    Yi Li and Alan Wee-Chung Liew
    ISBN: 978-1-7281-8558-3, 2020.

Theses

  1. Managing Software Evolution Through Semantic History Slicing
    PhD thesis. University of Toronto, 2018.
  2. Symbolic Abstraction with SMT Solvers
    MSc thesis. University of Toronto, 2013.

Patents

  1. Smart Contract Evaluation
    Yi Li and Ye Liu
    W.O. Patent No. 2023/195920 A1, 2023-10-12.