Gabriel Radanne

32
Documents
Affiliations actuelles
  • Centre Inria de Lyon
  • Laboratoire de l'Informatique du Parallélisme (LIP)
  • Compilation et Analyse, Logiciel et Matériel (CASH)

Publications

7
7
6
6
5
5
4
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
9
2
6
3
2
1
1
3
2
1
10
7
5
3
3
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Image document

Avoiding Signature Avoidance in ML Modules with Zippers

Clément Blaudeau , Didier Rémy , Gabriel Radanne
Proceedings of the ACM on Programming Languages, 2025, POPL (9), ⟨10.1145/3704902⟩
Article dans une revue hal-04801582 v1
Image document

Fulfilling OCaml Modules with Transparency

Clément Blaudeau , Didier Rémy , Gabriel Radanne
Proceedings of the ACM on Programming Languages, 2024, 8 (OOPSLA1), pp.194-222. ⟨10.1145/3649818⟩
Article dans une revue hal-04794404 v1
Image document

Bit-Stealing Made Legal

Thaïs Baudon , Gabriel Radanne , Laure Gonnord
Proceedings of the ACM on Programming Languages, 2023, ICFP, 7 (ICFP), pp.813-846. ⟨10.1145/3607858⟩
Article dans une revue hal-04165615 v1
Image document

A Survey on Parallelism and Determinism

Laure Gonnord , Ludovic Henrio , Lionel Morel , Gabriel Radanne
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Article dans une revue hal-03828497 v1
Image document

Kindly bent to free us

Gabriel Radanne , Hannes Saffrich , Peter Thiemann
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-29. ⟨10.1145/3408985⟩
Article dans une revue hal-02938020 v1
Image document

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving

Oussama Oulkaid , Bruno Ferres , Matthieu Moy , Pascal Raymond , Mehdi Khosravian et al.
Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩
Communication dans un congrès hal-04527225 v1
Image document

Distributed Actors in OCaml

Wenke Du , Ludovic Henrio , Gabriel Radanne
OCaml Workshop, Sep 2024, Milan, Italy
Communication dans un congrès hal-04794441 v1
Image document

Light-speed type unification modulo isomorphisms

Emmanuel Arrighi , Gabriel Radanne
ML Workshop 2024, Sep 2024, Milan, Italy
Communication dans un congrès hal-04794390 v1
Image document

Tail Modulo Async/Await - Extended Abstract

Vivien Gachet , Ludovic Henrio , Gabriel Radanne
FPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy
Communication dans un congrès hal-04794434 v1
Image document

Retrofitting OCaml modules

Clément Blaudeau , Didier Rémy , Gabriel Radanne
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.59-100
Communication dans un congrès hal-03936636 v2
Image document

Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)

Thaïs Baudon , Gabriel Radanne , Laure Gonnord
AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
Communication dans un congrès hal-03676356 v1
Image document

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , M. Khosravian G. , Matthieu Moy et al.
DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩
Communication dans un congrès hal-04007446 v1
Image document

Isomorphisms are back!

Clément Allain , Gabriel Radanne , Laure Gonnord
ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3
Communication dans un congrès hal-03355381 v1
Image document

Compiling pattern matching to in-place modifications

Paul Iannetta , Laure Gonnord , Gabriel Radanne
GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
Communication dans un congrès hal-03355377 v1
Image document

High-level error messages for modules through diffing

Gabriel Radanne , Florian Angeletti
ML 2020 - ML Family Workshop, Aug 2020, Online, France
Communication dans un congrès hal-04615919 v1
Image document

Regenerate: A Language Generator for Extended Regular Expressions with an application to test case generation

Gabriel Radanne , Peter Thiemann
GPCE 2018, Nov 2018, Boston, United States. pp.202-214, ⟨10.1145/3278122.3278133⟩
Communication dans un congrès hal-01788827 v2
Image document

ELIOM: tierless Web programming from the ground up

Gabriel Radanne , Jérôme Vouillon , Vincent Balat , Vasilis Papavasileiou
IFL, Aug 2016, Leuven, Belgium. ⟨10.1145/3064899.3064901⟩
Communication dans un congrès hal-01407898 v2
Image document

Eliom: A core ML language for Tierless Web programming

Gabriel Radanne , Jérôme Vouillon , Vincent Balat
APLAS 2016, Nov 2016, Hanoi, Vietnam
Communication dans un congrès hal-01349774 v1
Image document

Synthesis of ranking functions using extremal counterexamples

Laure Gonnord , David Monniaux , Gabriel Radanne
Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
Communication dans un congrès hal-01144622 v1
Image document

Active Objects based on Algebraic Effects

Martin Andrieux , Ludovic Henrio , Gabriel Radanne
Active Object Languages: Current Research Trends, 14360, pp.3-36, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-51060-1_1⟩
Chapitre d'ouvrage hal-04388798 v1
Image document

Tierless Web programming in ML

Gabriel Radanne
Programming Languages [cs.PL]. Université Paris Diderot (Paris 7), 2017. English. ⟨NNT : ⟩
Thèse tel-01788885 v1
Image document

Tierless web programming in ML

Gabriel Radanne
Langage de programmation [cs.PL]. Université Sorbonne Paris Cité, 2017. Français. ⟨NNT : 2017USPCC341⟩
Thèse tel-05017992 v1