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
2020
ESEC/FSE
- ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
- ModCon: A Model-Based Testing Platform for Smart Contracts
- SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM
- Towards Automated Verification of Smart Contract Fairness
- Conversations on Fairness
View general profile