Aina Linn Georges -

Registered user since Sun 8 Nov 2020

Name:Aina Linn Georges

Affiliation:Max Planck Institute for Software Systems (MPI-SWS)

Contributions

2025

PriSC

Author of A Semantic Approach to Robust Property Preservation within the PriSC 2025-track

ICFP

Committee Member in ICFP Programme Committee within the ICFP Papers-track

POPL

Author of Data Race Freedom à la Mode within the POPL-track

CPP

Author of The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic within the CPP 2025-track

2024

SPLASH

Author of Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly within the OOPSLA 2024-track

POCL

Author of Proving capability safety in the presence of indirect sentries within the POCL 2024-track

2023

PLDI

Author of Iris-Wasm: Robust and Modular Verification of WebAssembly Programs within the PLDI Research Papers-track

PriSC

2022

SPLASH

Author of Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities within the OOPSLA-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2021

POPL

Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track

PriSC

Author of Toward Complete Stack Safety for Capability Machines within the PriSC 2021-track

2020

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PriSC

Author of Mechanized Reasoning about a Capability Machine within the Principles of Secure Compilation 2020-track