Gabriel Radanne Inria Researcher, LIP, Lyon, France

Identifiants chercheurs

IdHAL :

gabriel-radanne

ORCID :

0000-0002-2107-7678

IdRef :

253130727

arXiv :

radanne_g_1.html

Publications

Article dans une revue (6)

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
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits Bruno Ferres,Oussama Oulkaid,Matthieu Moy,Gabriel Radanne,Ludovic Henrioet al. ACM Transactions on Design Automation of Electronic Systems, 2025, ⟨10.1145/3748327⟩ Article dans une revue hal-05185119v1
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
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
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
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

Communication dans un congrès (14)

Distributed Actors in OCaml Wenke Du,Ludovic Henrio,Gabriel Radanne OCaml Workshop, Sep 2024, Milan, Italy Communication dans un congrès hal-04794441v1
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving Oussama Oulkaid,Bruno Ferres,Matthieu Moy,Pascal Raymond,Mehdi Khosravianet 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
Light-speed type unification modulo isomorphisms Emmanuel Arrighi,Gabriel Radanne ML Workshop 2024, Sep 2024, Milan, Italy Communication dans un congrès hal-04794390v1
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
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
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory Bruno Ferres,Oussama Oulkaid,Ludovic Henrio,M. Khosravian G.,Matthieu Moyet 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
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
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
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
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
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
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
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
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

Chapitre d'ouvrage (1)

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

Pré-publication, Document de travail (5)

Tail Modulo Async-Await Emma Nardino,Ludovic Henrio,Gabriel Radanne,Yannick Zakowski 2025 Pré-publication, Document de travail hal-05006570v2
Compiling Morphisms of Algebraic Data Types Thaïs Baudon,Gabriel Radanne,Laure Gonnord 2024 Pré-publication, Document de travail hal-04601882v1
Rebuilding Algebraic Data Types from Mangled Memory Layouts Gabriel Radanne,Thaïs Baudon,Laure Gonnord 2024 Pré-publication, Document de travail hal-04388766v1
Eliom: A Language for Modular Tierless Web Programming Gabriel Radanne,Jérôme Vouillon,Vincent Balat 2019 Pré-publication, Document de travail hal-01989788v1
Tierless Modules Gabriel Radanne,Jérôme Vouillon 2017 Pré-publication, Document de travail hal-01485362v1

Rapport (3)

Knit&Frog: Pattern matching compilation for custom memory representations Thaïs Baudon,Laure Gonnord,Gabriel Radanne [Research Report] RR-9473, Inria Lyon. 2022, pp.35 Rapport (rapport de recherche) hal-03684334v3
Compositional Flexible Memory Representations for Algebraic Data Types Thaïs Baudon,Gabriel Radanne,Laure Gonnord 9495, Inria. 2022 Rapport (rapport de recherche) hal-03940742v1
Parallelizing Structural Transformations on Tarbres Paul Iannetta,Laure Gonnord,Gabriel Radanne [Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21 Rapport (rapport de recherche) hal-03208466v1

Thèse (2)

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
Tierless Web programming in ML Gabriel Radanne Programming Languages [cs.PL]. Université Paris Diderot (Paris 7), 2017. English. ⟨NNT : ⟩ Thèse tel-01788885v1

Logiciel (2)

Dowsing Gabriel Radanne 2024, ⟨swh:1:dir:b93e4b399fd773bfb9397f170a8649f4552b191b⟩ Logiciel hal-04616085v1
Ribbit Gabriel Radanne,Thaïs Baudon,Laure Gonnord 2022, ⟨swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/⟩ Logiciel hal-03860442v1