Armaël Guéneau

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 10

Top Venues

Proc. ACM Program. Lang.

ESOP

CSF

ITP

Inria, Paris, France (PHD)

Education History

Inria, Paris, France

PHD

Publications

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. J. ACM 71 (1) (2024)
Amin Timany, Armaël Guéneau, Lars Birkedal
The Logical Essence of Well-Bracketed Control Flow. Proc. ACM Program. Lang. 8 (POPL) (2024)
François Pottier, Armaël Guéneau, Jacques-Henri Jourdan, Glen Mével
Thunks and Debits in Separation Logic with Time Credits. Proc. ACM Program. Lang. 8 (POPL) (2024)
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, Derek Dreyer
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
Proving full-system security properties under multiple attacker models on capability machines. CSF (2022)
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
Theorems for free from separation logic specifications. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
Efficient and provable local capability revocation using uninitialized capabilities. Proc. ACM Program. Lang. 5 (POPL) (2021)
Armaël Guéneau, Jacques-Henri Jourdan, Arthur Charguéraud, François Pottier
Formal Proof and Analysis of an Incremental Cycle Detection Algorithm. ITP (2019)
Armaël Guéneau, Arthur Charguéraud, François Pottier
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification. ESOP (2018)
Armaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish
Verified Characteristic Formulae for CakeML. ESOP (2017)
Armaël Guéneau, François Pottier, Jonathan Protzenko
The ins and outs of iteration in Mezzo. CoRR (2013)

Armaël Guéneau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Armaël Guéneau