• Sign in
  • Sign up
conf.researchr.org / Aina Linn Georges
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • SPLASH 2020 profile
  • SPLASH 2022 profile
Aina Linn Georges

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
xFri 27 May 15:37
using conf.researchr.org (v1.55.6)
Support page
Sign Up