Effective Quotation. - James Cheney; Sam Lindley; Gabriel Radanne; Philip Wadler (CoRR, 2013)

Effective quotation: relating approaches to language-integrated query. - James Cheney; Sam Lindley; Gabriel Radanne; Philip Wadler (PEPM, 2014)

Synthesis of ranking functions using extremal counterexamples. - Laure Gonnord; David Monniaux; Gabriel Radanne (PLDI, 2015)

Eliom: A Core ML Language for Tierless Web Programming. - Gabriel Radanne; Jérôme Vouillon; Vincent Balat (APLAS, 2016)

Eliom: tierless Web programming from the ground up. - Gabriel Radanne; Vasilis Papavasileiou; Jérôme Vouillon; Vincent Balat (IFL, 2016)

Tierless Web programming in ML. (Programmation Web sans-étages en ML). - Gabriel Radanne (2017)

Regenerate: a language generator for extended regular expressions. - Gabriel Radanne; Peter Thiemann 001 (GPCE, 2018)

Tierless Web Programming in the Large. - Gabriel Radanne; Jérôme Vouillon (WWW (Companion Volume), 2018)

Typed parsing and unparsing for untyped regular expression engines. - Gabriel Radanne (PEPM@POPL, 2019)

Eliom: A Language for Modular Tierless Web Programming. - Gabriel Radanne; Jérôme Vouillon; Vincent Balat (CoRR, 2019)

Programming Unikernels in the Large via Functor Driven Development. - Gabriel Radanne; Thomas Gazagnaire; Anil Madhavapeddy; Jeremy Yallop; Richard Mortier; Hannes Mehnert; Mindy Preston; David J. Scott (CoRR, 2019)

Kindly Bent to Free Us. - Gabriel Radanne; Peter Thiemann 001 (CoRR, 2019)

Kindly bent to free us. - Gabriel Radanne; Hannes Saffrich; Peter Thiemann 001 (Proc. ACM Program. Lang., 2020)

Compiling pattern matching to in-place modifications. - Paul Iannetta; Laure Gonnord; Gabriel Radanne (GPCE, 2021)

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 (DATE, 2023)

A Survey on Parallelism and Determinism. - Laure Gonnord; Ludovic Henrio; Lionel Morel; Gabriel Radanne (ACM Comput. Surv., 2023)

Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types. - Thaïs Baudon; Gabriel Radanne; Laure Gonnord (Proc. ACM Program. Lang., 2023)

Active Objects Based on Algebraic Effects. - Martin Andrieux; Ludovic Henrio; Gabriel Radanne (Active Object Languages: Current Research Trends, 2024)

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 (DATE, 2024)

Fulfilling OCaml Modules with Transparency. - Clement Blaudeau; Didier Rémy; Gabriel Radanne (Proc. ACM Program. Lang., 2024)

Avoiding Signature Avoidance in ML Modules with Zippers. - Clement Blaudeau; Didier Rémy; Gabriel Radanne (Proc. ACM Program. Lang., 2025)