Concepedia

Xiaojia Rao

XR

2

Publications

40

Citations

2

H-Index

2023

Active since

Affiliations

Imperial College London(Current)

University of Cambridge

Xiaojia Rao is an author at Imperial College London specializing in software engineering, system software, and software analysis.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

2023–2024

2

Publications

2

Bringing the WebAssembly Standard up to Speed with SpecTec

Dongjun Youn, Wonho Shin, J. J. Lee et al. · Proceedings of the ACM on Programming Languages · 2024 · 23 citations · Full text

Engineering, Hardware Verification Language, Software Systems +26

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil et al. · Proceedings of the ACM on Programming Languages · 2023 · 17 citations · Full text

Engineering, Compiler Technology, Verification +21

Rows per page

1–2 of 2