Xiaojia Rao

According to our database, Xiaojia Rao authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Bringing the WebAssembly Standard up to Speed with SpecTec.

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

Proc. ACM Program. Lang., 2024

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