Concepedia

Armaël Guéneau

AG

Statistics

Publications

5

Citations

120

H-Index

5

Active since

2019

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris-Saclay

Aarhus University

Institut national de recherche en sciences et technologies du numérique

Armaël Guéneau is an author at Centre National de la Recherche Scientifique specializing in computer science, formal methods, and computing.

Publications per year

2019–2024

5

Publications

5

Thunks and Debits in Separation Logic with Time Credits

François Pottier, Armaël Guéneau, Jacques-Henri Jourdan et al. · Proceedings of the ACM on Programming Languages · 2024 · 43 citations · Full text

Computing, Computer Science, Computer Systems +10

Efficient and provable local capability revocation using uninitialized capabilities

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Proceedings of the ACM on Programming Languages · 2021 · 29 citations · Full text

Computing, Computer Engineering, Computer Science +11

Theorems for free from separation logic specifications

Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau et al. · Proceedings of the ACM on Programming Languages · 2021 · 19 citations · Full text

Computing, Computer Science, Formal Methods +15

Formal Proof and Analysis of an Incremental Cycle Detection Algorithm

Armaël Guéneau, Jacques-Henri Jourdan, Arthur Charguéraud et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +14

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

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Journal of the ACM · 2023 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–5 of 5