Gabriel Radanne

Inria Researcher, LIP, Lyon, France
33
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
3
3
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
1
1
1
3
9
2
6
3
2
1
1
3
2
1
10
8
5
3
3
3
3
3
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Deposit thumbnail

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-04801582v1
Deposit thumbnail

A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

Bruno Ferres , Oussama Oulkaid , Matthieu Moy , Gabriel Radanne , Ludovic Henrio et al.

ACM Transactions on Design Automation of Electronic Systems, 2025, ⟨10.1145/3748327⟩

Article dans une revue hal-05185119v1
Deposit thumbnail

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-04794404v1
Deposit thumbnail

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-04165615v1
Deposit thumbnail

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-03828497v1
Deposit thumbnail

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-02938020v1
Deposit thumbnail

Distributed Actors in OCaml

Wenke Du , Ludovic Henrio , Gabriel Radanne

OCaml Workshop, Sep 2024, Milan, Italy

Communication dans un congrès hal-04794441v1
Deposit thumbnail

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-04527225v1
Deposit thumbnail

Light-speed type unification modulo isomorphisms

Emmanuel Arrighi , Gabriel Radanne

ML Workshop 2024, Sep 2024, Milan, Italy

Communication dans un congrès hal-04794390v1
Deposit thumbnail

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-04794434v1
Deposit thumbnail

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-03936636v2
Deposit thumbnail

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-04007446v1
Deposit thumbnail

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-03676356v1
Deposit thumbnail

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-03355377v1
Deposit thumbnail

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-03355381v1
Deposit thumbnail

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-04615919v1
Deposit thumbnail

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-01788827v2
Deposit thumbnail

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-01407898v2
Deposit thumbnail

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-01349774v1
Deposit thumbnail

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-01144622v1
Deposit thumbnail

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-04388798v1
Deposit thumbnail

Tierless web programming in ML

Gabriel Radanne

Langage de programmation [cs.PL]. Université Sorbonne Paris Cité, 2017. Français. ⟨NNT : 2017USPCC341⟩

Thèse tel-05017992v1
Deposit thumbnail

Tierless Web programming in ML

Gabriel Radanne

Programming Languages [cs.PL]. Université Paris Diderot (Paris 7), 2017. English. ⟨NNT : ⟩

Thèse tel-01788885v1