Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hongshu Wang
conf.researchr.org general profile
APSEC 2025 profile
ASE 2025 profile
FSE 2026 profile
Registered user since Wed 6 May 2026
Name:
Hongshu Wang
Affiliation:
National University of Singapore
Contributions
2026
ESEC/FSE
Author of Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair within the Research Papers-track
2025
APSEC
Author of TraceWalker: Synthesizing Interactive Debugging Progresses via Data- and Control-flow Exploration within the Technical Track-track
ASE
Author of PAT-Agent: Autoformalization for Model Checking within the Research Papers-track
Share
x
Thu 5 Nov 17:22