Jinhua Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TASE | Clight2Rust: Translating a Subset of C into Safe Rust with a Small Trusted Runtime. | Dongwen Yao, Jinhua Wu, Yuting Wang |
| 2023 | APLAS | Towards a Framework for Developing Verified Assemblers for the ELF Format. | Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song |
| 2021 | CAV | Automatic Generation and Validation of Instruction Encoders and Decoders. | Xiangzhe Xu, Jinhua Wu, Yuting Wang, Zhenguo Yin, Pengfei Li |