Xiaojia Rao

According to our database, Xiaojia Rao authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.

Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal

Proc. ACM Program. Lang., 2023

Wasm SpecTec: Engineering a Formal Language Standard.

Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn

CoRR, 2023

2021

Two Mechanisations of WebAssembly 1.0.

Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

Proceedings of the Formal Methods - 24th International Symposium, 2021