| 2024 | DATE | A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. | Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne |
| 2023 | DATE | Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. | Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond |
| 2021 | GPCE | Compiling pattern matching to in-place modifications. | Paul Iannetta, Laure Gonnord, Gabriel Radanne |
| 2019 | PEPM | Typed parsing and unparsing for untyped regular expression engines. | Gabriel Radanne |
| 2018 | GPCE | Regenerate: a language generator for extended regular expressions. | Gabriel Radanne, Peter Thiemann |
| 2018 | WWW | Tierless Web Programming in the Large. | Gabriel Radanne, Jrme Vouillon |
| 2016 | APLAS | Eliom: A Core ML Language for Tierless Web Programming. | Gabriel Radanne, Jrme Vouillon, Vincent Balat |
| 2015 | PLDI | Synthesis of ranking functions using extremal counterexamples. | Laure Gonnord, David Monniaux, Gabriel Radanne |
| 2014 | PEPM | Effective quotation: relating approaches to language-integrated query. | James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler |