Léo Stefanesco

22 papers A* 2B 3Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Proc. ACM Program. Lang.
Siddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser
2025 conf
ESOP (1)
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco
2025 J jnl
CoRR
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco
2025 J jnl
Proc. ACM Program. Lang.
Henrik Böving, Siddharth Bhat, Luisa Cicolini, Alex C. Keizer, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser
2024 conf
ESOP (2)
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
2024 J jnl
Proc. ACM Program. Lang.
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
2023 J jnl
CoRR
Léo Stefanesco, Azalea Raad, Viktor Vafeiadis
2022 J jnl
Proc. ACM Program. Lang.
Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, Léo Stefanesco
2021
Léo Stefanesco
2021 J jnl
CoRR
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
2020 A* conf
LICS
Paul-André Melliès, Léo Stefanesco
2020 J jnl
CoRR
Paul-André Melliès, Léo Stefanesco
2020 J jnl
CoRR
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
2020 J jnl
Proc. ACM Program. Lang.
Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers
2018 B conf
MFPS
Paul-André Melliès, Léo Stefanesco
2018 J jnl
Proc. ACM Program. Lang.
Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Lars Birkedal
2018 A* conf
LICS
Paul-André Melliès, Léo Stefanesco
2018 J jnl
CoRR
Paul-André Melliès, Léo Stefanesco
2017 J jnl
CoRR
Paul-André Melliès, Léo Stefanesco
2015 B conf
LPAR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
2015 J jnl
CoRR
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub
2015 B conf
CC
Delphine Demange, David Pichardie, Léo Stefanesco