Chi Zhang -

Registered user since Tue 15 Aug 2023

Name:Chi Zhang

Country:China

Affiliation:Technology and Engineering Center for Space Utilization at Chinese Academy of Sciences

Contributions

2026

ASE

Author of Spec2V: Planning-Guided Specification-to-Verilog Generation Framework with Verification-Driven Debugging within the Research Papers-track

2025

SANER

Author of StriCT-BJ: A String Constraint Benchmark from Real Java Programs within the Research Papers-track

2023

ASE

Author of Detection of Java Basic Thread Misuses Based on Static Event Analysis within the Research Papers-track