Concepedia

Xiaoran Zhu

XZ

3

Publications

525

Citations

3

H-Index

2017

Active since

Affiliations

East China Normal University(Current)

Xiaoran Zhu is an author at East China Normal University specializing in system software, formal specification, and software analysis.

ORCID

Top concepts

Publications per year

2017–2018

3

Publications

3

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 404 citations

, , +26

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Xiaoran Zhu et al. · IDEALS (University of Illinois Urbana-Champaign) · 2017 · 96 citations · Full text

KRust: A Formal Executable Semantics of Rust

Feng Wang, Fu Song, Min Zhang et al. · 2018 · 25 citations

, , +22

Rows per page

1–3 of 3