Armaël Guéneau -

Registered user since Sat 7 Nov 2020

Name:Armaël Guéneau

Affiliation:Aarhus University

Personal website:http://gallium.inria.fr/~agueneau

GitHub:https://github.com/Armael

Contributions

CPP 2022	Committee Member in Program Committee within the CPP 2022-track
PriSC 2022	Committee Member in Program Committee within the PriSC 2022-track
ICFP 2021	Author of Theorems for Free from Separation Logic Specifications within the Research Papers-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