My DBLP page is here.


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
(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)

Tyre : Typed Regular Expressions
Gabriel Radanne
OCaml Workshop 2017
(abstract OCaml workshop) (slides OCaml Users in Paris)
PEPM - 2019
(author version)


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
(Under Submission)
(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


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