| 2026 |
B |
conf |
CPP
Arnaud Golfouse, Armaël Guéneau, Jacques-Henri Jourdan
|
| 2025 |
J |
jnl |
CoRR
Jules Viennot, Arthur Wendling, Armaël Guéneau, François Pottier
|
| 2024 |
J |
jnl |
J. ACM
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Amin Timany, Armaël Guéneau, Lars Birkedal
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
François Pottier, Armaël Guéneau, Jacques-Henri Jourdan, Glen Mével
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, Derek Dreyer
|
| 2022 |
A |
conf |
CSF
Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
|
| 2021 |
J |
jnl |
Proc. ACM Program. Lang.
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
|
| 2021 |
J |
jnl |
Proc. ACM Program. Lang.
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
|
| 2019 |
B |
conf |
ITP
Armaël Guéneau, Jacques-Henri Jourdan, Arthur Charguéraud, François Pottier
|
| 2019 |
— |
— |
Armaël Guéneau
|
| 2018 |
A |
conf |
ESOP
Armaël Guéneau, Arthur Charguéraud, François Pottier
|
| 2017 |
A |
conf |
ESOP
Armaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish
|
| 2013 |
J |
jnl |
CoRR
Armaël Guéneau, François Pottier, Jonathan Protzenko
|