Publications2025-02-03T09:50:22+00:00

Publications & Reports

Filter by

Filters
Year

Two Mechanisations of WebAssembly 1.0.

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

In Huisman, M., Păsăreanu, C., Zhan, N. (eds) Formal Methods. FM 2021. Lecture Notes in Computer Science, vol 13047. 2021

Ownership Guided C to Rust Translation.

Hanliang Zhang, Cristina David, Yijun Yu, and Meng Wang.

In: Enea, C., Lal, A. (eds) Computer Aided Verification. CAV 2023. Lecture Notes in Computer Science, vol 13966. 2023

Go to Top