Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aina Linn Georges
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2023 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2024 profile
Registered user since Sun 8 Nov 2020
Name:
Aina Linn Georges
Affiliation:
Max Planck Institute for Software Systems (MPI-SWS)
Contributions
2025
ICFP
Committee Member in ICFP Programme Committee within the ICFP Papers-track
POPL
Author of Data Race Freedom à la Mode within the POPL-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
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
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
Share
x
Thu 21 Nov 12:15
