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
2022
ASE
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
- Towards Understanding Third-party Library Dependency in C/C++ Ecosystem
- Identifying Solidity Smart Contract API Documentation Errors
- Property-Based Automated Repair of DeFi Protocols
- Identifying Solidity Smart Contract API Documentation Errors
- Property-Based Automated Repair of DeFi Protocols
- 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
- Demystifying Performance Regressions in String Solvers
View general profile