Registered user since Thu 25 Jan 2018
Yi Li is an Associate Professor at the College of Computing and Data Science, Nanyang Technological University (NTU). He received his BComp degree in Computer Science from the National University of Singapore in 2011, and both his MSc and PhD degrees in Computer Science from the University of Toronto in 2013 and 2018, respectively. Dr. Li has been leading the Software Reliability and Security Lab (SRSLab@NTU) since 2018. His research interests are in program analysis and automated reasoning techniques with applications in software engineering and software security. Together with his research team, he develops solutions enabling the construction of high-quality software systems that are both reliable and sustainable. His work in these areas won four ACM Distinguished Paper Awards and two Best Artifact Awards at top-tier conferences, including ASE’15, ICSME’20, FSE’21, ISSTA’22, and ASE’23. He serves on the program committees of many flagship conferences in software engineering, including ICSE, FSE, ASE, and ISSTA. He co-chaired the program committees of ICFEM’23, ICECCS’20, SEAIS’22, and ICFEM’19 Doctoral Symposium.
Contributions
2025
ESEC/FSE
ICSE
2024
ASE
ESEC/FSE
- Committee Member in Program Committee within the Research Papers-track
- Committee Member in Program Committee within the Ideas, Visions and Reflections-track
- Author of Demystifying Invariant Effectiveness for Securing Smart Contracts within the Research Papers-track
- Author of Demystifying Invariant Effectiveness for Securing Smart Contracts within the Posters-track
2023
ESEC/FSE
ASE
- Author of EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software within the Research Papers-track
- Author of CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues within the Tool Demonstrations-track
- Committee Member in Program Committee within the Tool Demonstrations-track
ICSE
- Session Chair of Blockchain/smart contracts (part of Technical Track)
- Author of Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery within the Journal-First Papers-track
- Program Committee Member in Technical Track within the Technical Track-track
- Author of Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis within the Artifact Evaluation-track
- Author of Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis within the Technical Track-track
2022
ESEC/FSE
- Diversity, Inclusion and Hybridization Co-Chair in Organizing Committee
- Author of ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code within the ESEC/FSE 2020-track
- Session Chair of Newcomer's Lunch (part of Social)
- Author of DIFFBASE: A Differential Factbase for Effective Software Evolution Management within the ESEC/FSE 2021-track
- Author of Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects within the Research Papers-track
- Author of Towards Automated Verification of Smart Contract Fairness within the ESEC/FSE 2020-track
- Author of SolSEE: A Source-Level Symbolic Execution Engine for Solidity within the Demonstrations-track
ASE
- Author of InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts within the Tool Demonstrations-track
- Author of Towards Understanding Third-party Library Dependency in C/C++ Ecosystem within the Research Papers-track
- Author of Identifying Solidity Smart Contract API Documentation Errors within the Artifact Evaluation-track
- Author of Property-Based Automated Repair of DeFi Protocols within the NIER Track-track
- Author of Identifying Solidity Smart Contract API Documentation Errors within the Research Papers-track
- Author of Property-Based Automated Repair of DeFi Protocols within the Artifact Evaluation-track
- Session Chair of Technical Session 12 - Builds and Versions (part of Research Papers)
- Committee Member in Program Committee within the Tool Demonstrations-track
- Committee Member in Program Committee within the Research Papers-track
- Author of Demystifying Performance Regressions in String Solvers within the Journal-first Papers-track
ISSTA
2021
ASE
- Committee Member in Program Committee within the Tool Demonstrations-track
- Author of EvoMe: A Software Evolution Management Engine Based on Differential Factbase within the Tool Demonstrations-track
- Session Chair of Ask Me Anything - Abhik Roychoudhury (part of Social/Networking )
- Committee Member in Program Committee within the Research Papers-track
ESEC/FSE
- Committee Member in Program Committee within the Research Papers-track
- Committee Member in Program Committee within the Doctoral Symposium-track
- Author of DIFFBASE: A Differential Factbase for Effective Software Evolution Management within the Research Papers-track
- Session Chair of Dependability—Software Security 1 (part of Research Papers)
- Session Chair of Analytics & Software Evolution—Libraries and APIs 1 (part of Research Papers)
MOBILESoft
Mining Software Repositories
2020
ESEC/FSE
- Author of ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code within the Research Papers-track
- Author of ModCon: A Model-Based Testing Platform for Smart Contracts within the Tool Demos-track
- Author of SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM within the Tool Demos-track
- Author of Towards Automated Verification of Smart Contract Fairness within the Research Papers-track
- Panelist of Conversations on Fairness within the Paper Presentations-track
ASE
- Committee Member in Program Committee within the Tool Demonstrations-track
- Committee Member in Program Committee within the Research Papers-track
- Session Chair of Maintenance and Evolution (1) (part of Research Papers)
- Author of Audee: Automated Testing for Deep Learning Frameworks within the Research Papers-track
- Author of MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems within the Research Papers-track
ISSTA
ICSE
- Author of Large-Scale Patch Recommendation at Alibaba within the ICSE 2020 Posters-track
- Author of Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities within the Technical Papers-track
- Author of PRECFIX: Large-Scale Patch Recommendation by Mining Defect-Patch Pairs within the Software Engineering in Practice-track
2019
ASE
- Author of DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks within the Demonstrations-track
- Author of An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums within the Late Breaking Results-track
- Author of A Quantitative Analysis Framework for Recurrent Neural Network within the Demonstrations-track
- Committee Member in Program Committee within the Demonstrations-track