FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Jikai Wang

Registered user since Mon 22 May 2023

Name:Jikai Wang
Country:China
Affiliation:Huazhong University of Science and Technology
Personal website: https://wjk.moe
Research interests:Binary Code Analysis, C/C++ Program Analysis, Pushdown Systems

Contributions

Show activities from other conferences

Using general profile