Gabriel Radanne

According to our database, Gabriel Radanne authored at least 20 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fulfilling OCaml Modules with Transparency.

Clement Blaudeau, Didier Rémy, Gabriel Radanne

Proc. ACM Program. Lang., 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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Active Objects Based on Algebraic Effects.

Martin Andrieux, Ludovic Henrio, Gabriel Radanne

Proceedings of the Active Object Languages: Current Research Trends, 2024

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., August, 2023

A Survey on Parallelism and Determinism.

Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne

ACM Comput. Surv., 2023

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2021

Compiling pattern matching to in-place modifications.

Paul Iannetta, Laure Gonnord, Gabriel Radanne

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Kindly bent to free us.

Gabriel Radanne, Hannes Saffrich, Peter Thiemann

Proc. ACM Program. Lang., 2020

2019

Kindly Bent to Free Us.

Gabriel Radanne, Peter Thiemann

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

Eliom: A Language for Modular Tierless Web Programming.

Gabriel Radanne, Jérôme Vouillon, Vincent Balat

CoRR, 2019

Typed parsing and unparsing for untyped regular expression engines.

Gabriel Radanne

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

2018

Tierless Web Programming in the Large.

Gabriel Radanne, Jérôme Vouillon

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Regenerate: a language generator for extended regular expressions.

Gabriel Radanne, Peter Thiemann

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017

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

Gabriel Radanne

PhD thesis, 2017

2016

Eliom: tierless Web programming from the ground up.

Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, Vincent Balat

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

Eliom: A Core ML Language for Tierless Web Programming.

Gabriel Radanne, Jérôme Vouillon, Vincent Balat

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Synthesis of ranking functions using extremal counterexamples.

Laure Gonnord, David Monniaux, Gabriel Radanne

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Effective quotation: relating approaches to language-integrated query.

James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013

Effective Quotation.

James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler

CoRR, 2013