Registered user since Tue 29 Nov 2022
Name:Shanshan Li
Country:China
Affiliation:National University of Defense Technology
Contributions
2025
ICSE
- Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V
- Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the Familiar
- Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing
- Committee Member in Research Track within the Research Track-track
Using general profile