Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aina Linn Georges
conf.researchr.org general profile
PLDI 2023 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2020 profile
SPLASH 2022 profile
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
Share
x
Thu 8 Jun 18:31