Gabriel Radanne

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 16

Top Venues

CoRR

Proc. ACM Program. Lang.

GPCE

DATE

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Clement Blaudeau, Didier Rémy, Gabriel Radanne
Fulfilling OCaml Modules with Transparency. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE (2024)
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
A Survey on Parallelism and Determinism. ACM Comput. Surv. 55 (10) (2023)
Bruno Ferres, O. Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE (2023)
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
A Survey on Parallelism and Determinism. CoRR (2022)
Paul Iannetta, Laure Gonnord, Gabriel Radanne
Compiling pattern matching to in-place modifications. GPCE (2021)
Gabriel Radanne, Hannes Saffrich, Peter Thiemann
Kindly bent to free us. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Gabriel Radanne, Peter Thiemann
Kindly Bent to Free Us. CoRR (2019)
Gabriel Radanne, Jérôme Vouillon, Vincent Balat
Eliom: A Language for Modular Tierless Web Programming. CoRR (2019)
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott
Programming Unikernels in the Large via Functor Driven Development. CoRR (2019)
Gabriel Radanne
Typed parsing and unparsing for untyped regular expression engines. PEPM@POPL (2019)
Gabriel Radanne, Jérôme Vouillon
Tierless Web Programming in the Large. WWW (Companion Volume) (2018)
Gabriel Radanne, Peter Thiemann
Regenerate: a language generator for extended regular expressions. GPCE (2018)
Gabriel Radanne, Jérôme Vouillon, Vincent Balat
Eliom: A Core ML Language for Tierless Web Programming. APLAS (2016)
Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat
Eliom: tierless Web programming from the ground up. IFL (2016)
Laure Gonnord, David Monniaux, Gabriel Radanne
Synthesis of ranking functions using extremal counterexamples. PLDI (2015)
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
Effective quotation: relating approaches to language-integrated query. PEPM (2014)
James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
Effective Quotation. CoRR (2013)

Gabriel Radanne.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gabriel Radanne