Xiaoran Zhu

Identifiers

No identifiers captured yet.

Papers (2)

1. KRust: A Formal Executable Semantics of Rust cs.PL · 2018 · author #4
2. Towards an executable semantics of automobile RTOS standard and its application to conformance verification cs.SE · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Min Zhang 2 shared papers
• Feng Wang 1 shared papers
• Fu Song 1 shared papers
• Jian Guo 1 shared papers
• Jun Zhang 1 shared papers