Research output per year
Research output per year
Fingerprint
Dive into the research topics where Maxime Robert Sébastien Legoupil is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 4 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 2 Journal article
-
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
Legoupil, M., Rousseau, J., Georges, A. L., Pichon-Pharabod, J. & Birkedal, L., Oct 2024, In: Proceedings of the ACM on Programming Languages . 8, OOPSLA2, 282.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access -
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Rao, X., Georges, A. L., Legoupil, M., Watt, C., Pichon-Pharabod, J., Gardner, P. & Birkedal, L., Jun 2023, In: Proceedings of the ACM on Programming Languages . 7, 151.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open AccessFile