Login / Signup
Xiaojia Rao
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Iris Biometrics
Support Vector
Hardware Designs
Partial Occlusion
Top Venues
Proc. ACM Program. Lang.
CoRR
FM
</>
Publications
</>
Dongjun Youn
,
Wonho Shin
,
Jaehyun Lee
,
Sukyoung Ryu
,
Joachim Breitner
,
Philippa Gardner
,
Sam Lindley
,
Matija Pretnar
,
Xiaojia Rao
,
Conrad Watt
,
Andreas Rossberg
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang.
8 (PLDI) (2024)
Xiaojia Rao
,
Aïna Linn Georges
,
Maxime Legoupil
,
Conrad Watt
,
Jean Pichon-Pharabod
,
Philippa Gardner
,
Lars Birkedal
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proc. ACM Program. Lang.
7 (PLDI) (2023)
Joachim Breitner
,
Philippa Gardner
,
Jaehyun Lee
,
Sam Lindley
,
Matija Pretnar
,
Xiaojia Rao
,
Andreas Rossberg
,
Sukyoung Ryu
,
Wonho Shin
,
Conrad Watt
,
Dongjun Youn
Wasm SpecTec: Engineering a Formal Language Standard.
CoRR
(2023)
Conrad Watt
,
Xiaojia Rao
,
Jean Pichon-Pharabod
,
Martin Bodin
,
Philippa Gardner
Two Mechanisations of WebAssembly 1.0.
FM
(2021)