My DBLP page is here.

Modules

High-level error messages for modules through diffing
Florian Angeletti - Gabriel Radanne
ML 2020
(video)

The final pieces of the OCaml documentation puzzle
Jonathan Ludlam - Gabriel Radanne - Leo White
OCaml 2020
(slides)(video)

Linear types

Kindly Bent to Free Us
Gabriel Radanne - Hannes Saffrich - Peter Thiemann
ICFP 2020
(author version) (slides) (video)

Eliom

Tierless Web programming in ML
Gabriel Radanne
PhD Thesis - 2017
(thesis) (slides)

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

Eliom: Tierless Web programming from the ground up
Gabriel Radanne - Vasilis Papavasileiou - Vincent Balat - Jérôme Vouillon
IFL - 2016
(abstract) (author version) (slides)

Tierless modules
Gabriel Radanne - Jérôme Vouillon
Unpublished - 2018
(author version)

Tierless Web Programming in the Large
Gabriel Radanne - Jérôme Vouillon
The Web conference - Web programming track - 2018
(author version) (web version)

Regular Expressions

Regenerate: A Language Generator for Extended Regular Expressions
Gabriel Radanne, Peter Thiemann
GPCE 2018
(author version)

Typed parsing and unparsing for untyped regular expression engines
Gabriel Radanne
PEPM - 2019
(slides)
(author version)

Mirage

Programming Unikernels in the Large via Functor Driven Development
Gabriel Radanne, Anil Madhavapeddy, Jeremy Yallop, Thomas Gazagnaire, Richard Mortier, Hannes Mehnert, Mindy Preston, David Scott
Unpublished -- 2017
(author version)

Previous work

Synthesis of ranking functions using extremal counterexamples
Laure Gonnord - David Monniaux - Gabriel Radanne
PLDI - 2015
(website) (author version) (slides)

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

Internships

A sequent-calculus presentation of type-theory
Gabriel Radanne - Under the supervision of Jean-Philippe Bernardy
Unpublished - 2014
(report) (slides)