Scholar
Yi Li
Google Scholar ID: B61QIUIAAAAJ
Nanyang Technological University
Citations & Impact
Citations
2,118
H-index
24
i10-index
43
Publications
20
Co-authors
93
list available
Publications
Resume (English only)
Academic Achievements
- Papers accepted by ASE 2025 (acceptance rate 21.6%)
- Paper accepted by ISSTA 2025 (acceptance rate 19.4%)
- Won Distinguished Paper Award at NDSS 2025
- Paper 'SpecGen: Automated Generation of Formal Program Specifications via Large Language Models' accepted by ICSE 2025
- Papers accepted by ASE 2024 (acceptance rate 27.3%)
- Paper 'Demystifying Invariant Effectiveness for Securing Smart Contracts' accepted by FSE 2024
- Survey paper 'A Meta-Study of Software-Change Intentions' accepted by ACM Computing Surveys
- Paper 'LightCross: Sharding with Lightweight Cross-Shard Execution for Smart Contracts' accepted by INFOCOM 2024 (acceptance rate 19.6%)
