Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ning Zhang
conf.researchr.org general profile
FSE 2025 profile
SPLASH/ISSTA 2026 profile
Registered user since Sat 3 May 2025
Name:
Ning Zhang
Country:
China
Affiliation:
Nanjing University
Contributions
2026
SPLASH
Author of Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs within the OOPSLA-track
2025
Internetware
Author of Brevity is the Soul of Wit: Condensing Code Changes to Improve Commit Message Generation within the Research Track-track
Share
x
Wed 14 Oct 20:09