Jiangchang Wu -

Registered user since Tue 27 May 2025

Name:Jiangchang Wu

Affiliation:State Key Laboratory for Novel Software Technology, Nanjing University

Contributions

2025

SPLASH

Author of Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation within the OOPSLA-track

ICSE

Author of ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs within the Research Track-track