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


Professional Activities

Invited Talks

  • Effective Learning Through In-Class Online Competitions
  • CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues
  • Building Trustworthy Decentralized Applications (Keynote)
  • Finding Permission Bugs in Smart Contracts with Role Mining
    • Hong Kong University of Science and Technology, Hong Kong, China, June 2023
    • Hong Kong Polytechnic University, Hong Kong, China, June 2023
    • Beihang University, Beijing, China, June 2023
    • Wuhan University, Wuhan, China, June 2023
    • Huazhong University of Science and Technology, Wuhan, China, June 2023
  • Security and Fairness Co-Design of Decentralized Applications
    • Xi’an Jiaotong University, Xi’an, China, May 2023
  • Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery
  • Identifying Solidity Smart Contract API Documentation Errors
  • Property-Based Automated Repair of DeFi Protocols
  • Smart Contract Security and Fairness: A Tale of Two Contending Parties (Keynote)
  • Towards Automated Verification of Smart Contract Fairness
  • GenSlice: Generalized Semantic History Slicing – Towards More Reproducible Research
  • An Overview of Semantic History Slicing
    • Fudan University, Online, September 2020
  • Towards Secure and Robust Stateful Deep Learning Systems
  • Vultron: Oracle-Supported Dynamic Exploit Generation for Smart Contracts
    • National Software Application Conference (NASAC), Hangzhou, China, November 2019
    • Beijing University of Posts and Telecommunications, Beijing, China, July 2019
  • Compositional Analysis of Evolving Software Systems
    • WeBank, Shenzhen, China, August 2019
  • Semantic Slicing of Software Version Histories
  • Client-Specific Equivalence Checking and Its Applications in Software Evolution Management
  • Client-Specific Equivalence Checking – An Overview
  • Managing Software Complexity Through Compositional Analysis
    • Georgia Institute of Technology, Atlanta, GA, USA, March 2018
    • Singapore Management University, Singapore, February 2018
    • Nanyang Technological University, Singapore, February 2018
    • York University, Toronto, ON, Canada, January 2018
  • Managing Software Evolution Through Semantic History Slicing
    • The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Urbana-Champaign, IL, USA, October 2017
  • FHistorian: Locating Features in Version Histories
    • The 21st International Systems and Software Product Line Conference (SPLC), Sevilla, Spain, September 2017
  • Precise Semantic History Slicing through Dynamic Delta Refinement
    • The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), Singapore, September 2016
  • Inter-Component Communication Analysis for Android Vulnerability Detection
    • Google, Mountain View, CA, USA, August 2016
  • Introduction to Symbolic Optimization and Its Applications
    • Artificial Intelligence Lab - University of Toronto, Toronto, ON, Canada, October 2015
  • Catching the Big Fish – Angelic Verification
    • Microsoft Research India, Bangalore, Karnataka, India, September 2014
  • Management of Time Requirements in Component-based Systems
    • The 19th International Symposium on Formal Methods (FM), Singapore, May 2014
  • Symbolic Optimization with SMT Solvers
    • Programming Language Mentoring Workshop (PLMW), San Diego, CA, USA
    • National University of Singapore, Singapore, January 2013

Work Experience

  • Associate Professor (Mar 2024 - Present)
    School of Computer Science and Engineering, Nanyang Technological University
  • Assistant Professor (Aug 2018 - Feb 2024)
    School of Computer Science and Engineering, Nanyang Technological University
  • Software Engineering Researh Intern (May 2016 - Aug 2016)
    Security Team, Google
  • Research Intern (Jun 2014 - Sep 2014)
    Programming Languages and Tools (PLATO) group, Microsoft Research India
  • Research Assistant (Jan 2013 - May 2013)
    School of Computing, National University of Singapore