Concepedia

Maxime Legoupil

ML

1

Publications

17

Citations

1

H-Index

2023

Active since

Affiliations

Imperial College London(Current)

Maxime Legoupil is an author at Imperial College London specializing in system software, formal methods, and software testing.

ORCID

Top concepts

Publications per year

2023–2023

1

Publications

1

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

, , +21

Rows per page

1–1 of 1