Personal information

Activities

Employment (2)

Inria Saclay - Île-de-France Research Centre: Palaiseau, FR

2022-01-01 to present | Researcher
Employment
Source: Self-asserted source
Armaël Guéneau

Aarhus University: Aarhus, DK

2020-01-01 to 2021-12-31 | Post-doc
Employment
Source: Self-asserted source
Armaël Guéneau

Works (5)

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code

Journal of the ACM
2024-02-29 | Journal article
Contributors: Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Dominique Devriese; Lars Birkedal
Source: check_circle
Crossref

The Logical Essence of Well-Bracketed Control Flow

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: Amin Timany; Armaël Guéneau; Lars Birkedal
Source: check_circle
Crossref

Thunks and Debits in Separation Logic with Time Credits

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: François Pottier; Armaël Guéneau; Jacques-Henri Jourdan; Glen Mével
Source: check_circle
Crossref

Melocoton: A Program Logic for Verified Interoperability Between OCaml and C

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
Contributors: Armaël Guéneau; Johannes Hostert; Simon Spies; Michael Sammler; Lars Birkedal; Derek Dreyer
Source: check_circle
Crossref

Theorems for free from separation logic specifications

Proceedings of the ACM on Programming Languages
2021-08-22 | Journal article
Contributors: Lars Birkedal; Thomas Dinsdale-Young; Armaël Guéneau; Guilhem Jaber; Kasper Svendsen; Nikos Tzevelekos
Source: check_circle
Crossref