Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aina Linn Georges
conf.researchr.org general profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2020 profile
SPLASH 2022 profile
Registered user since Sun 8 Nov 2020
Name:
Aina Linn Georges
Affiliation:
Aarhus University
Contributions
POPL 2022
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2021
Author of Toward Complete Stack Safety for Capability Machines within the PriSC 2021-track
POPL 2021
Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track
SPLASH 2022
Author of Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities within the OOPSLA-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
Fri 27 May 15:37