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

2023

OCaml

Author of Osiris: an Iris-based program logic for OCaml within the OCaml 2023-track

2022

CPP

Committee Member in Program Committee within the CPP 2022-track

PriSC

Committee Member in Program Committee within the PriSC 2022-track

2021

ICFP

Author of Theorems for Free from Separation Logic Specifications within the Research Papers-track

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