Aina Linn Georges -

Registered user since Sun 8 Nov 2020

Name:Aina Linn Georges

Affiliation:Aarhus University

Contributions

PLDI 2023	Author of Iris-Wasm: Robust and Modular Verification of WebAssembly Programs within the PLDI Research Papers-track
PriSC 2023	Committee Member in Program Committee within the PriSC 2023-track Author of SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine within the PriSC 2023-track
SPLASH 2022	Author of Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities within the OOPSLA-track
POPL 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2021	Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track
PriSC 2021	Author of Toward Complete Stack Safety for Capability Machines within the PriSC 2021-track
SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PriSC 2020	Author of Mechanized Reasoning about a Capability Machine within the Principles of Secure Compilation 2020-track