
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)
Identifiants chercheurs
Site web
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
|
Avoiding Signature Avoidance in ML Modules with ZippersProceedings of the ACM on Programming Languages, 2025, POPL (9), ⟨10.1145/3704902⟩
Article dans une revue
hal-04801582
v1
|
|
Fulfilling OCaml Modules with TransparencyProceedings of the ACM on Programming Languages, 2024, 8 (OOPSLA1), pp.194-222. ⟨10.1145/3649818⟩
Article dans une revue
hal-04794404
v1
|
|
Bit-Stealing Made LegalProceedings of the ACM on Programming Languages, 2023, ICFP, 7 (ICFP), pp.813-846. ⟨10.1145/3607858⟩
Article dans une revue
hal-04165615
v1
|
|
A Survey on Parallelism and DeterminismACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Article dans une revue
hal-03828497
v1
|
|
Kindly bent to free usProceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-29. ⟨10.1145/3408985⟩
Article dans une revue
hal-02938020
v1
|
|
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT SolvingDesign, 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
|
|
Distributed Actors in OCamlOCaml Workshop, Sep 2024, Milan, Italy
Communication dans un congrès
hal-04794441
v1
|
|
Light-speed type unification modulo isomorphismsML Workshop 2024, Sep 2024, Milan, Italy
Communication dans un congrès
hal-04794390
v1
|
|
Tail Modulo Async/Await - Extended AbstractFPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy
Communication dans un congrès
hal-04794434
v1
|
|
Retrofitting OCaml modulesJFLA 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
|
|
Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)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
|
|
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo TheoryDATE 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
|
|
Isomorphisms are back!ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3
Communication dans un congrès
hal-03355381
v1
|
|
Compiling pattern matching to in-place modificationsGPCE 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
|
|
High-level error messages for modules through diffingML 2020 - ML Family Workshop, Aug 2020, Online, France
Communication dans un congrès
hal-04615919
v1
|
|
Regenerate: A Language Generator for Extended Regular Expressions with an application to test case generationGPCE 2018, Nov 2018, Boston, United States. pp.202-214, ⟨10.1145/3278122.3278133⟩
Communication dans un congrès
hal-01788827
v2
|
|
ELIOM: tierless Web programming from the ground upIFL, Aug 2016, Leuven, Belgium. ⟨10.1145/3064899.3064901⟩
Communication dans un congrès
hal-01407898
v2
|
|
Eliom: A core ML language for Tierless Web programmingAPLAS 2016, Nov 2016, Hanoi, Vietnam
Communication dans un congrès
hal-01349774
v1
|
|
Synthesis of ranking functions using extremal counterexamplesProgramming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
Communication dans un congrès
hal-01144622
v1
|
|
Active Objects based on Algebraic EffectsActive 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
|
|
Tail Modulo Async-Await2025
Pré-publication, Document de travail
hal-05006570
v1
|
|
Compiling Morphisms of Algebraic Data Types2024
Pré-publication, Document de travail
hal-04601882
v1
|
|
Rebuilding Algebraic Data Types from Mangled Memory Layouts2024
Pré-publication, Document de travail
hal-04388766
v1
|
|
Eliom: A Language for Modular Tierless Web Programming2019
Pré-publication, Document de travail
hal-01989788
v1
|
|
Tierless Modules2017
Pré-publication, Document de travail
hal-01485362
v1
|
|
Knit&Frog: Pattern matching compilation for custom memory representations[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Rapport
(rapport de recherche)
hal-03684334
v3
|
|
Compositional Flexible Memory Representations for Algebraic Data Types9495, Inria. 2022
Rapport
(rapport de recherche)
hal-03940742
v1
|
|
Parallelizing Structural Transformations on Tarbres[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Rapport
(rapport de recherche)
hal-03208466
v1
|
|
Tierless Web programming in MLProgramming Languages [cs.PL]. Université Paris Diderot (Paris 7), 2017. English. ⟨NNT : ⟩
Thèse
tel-01788885
v1
|
|
Tierless web programming in MLLangage de programmation [cs.PL]. Université Sorbonne Paris Cité, 2017. Français. ⟨NNT : 2017USPCC341⟩
Thèse
tel-05017992
v1
|
DowsingLogiciel hal-04616085 v1 |
|
|
RibbitLogiciel hal-03860442 v1 |
Chargement...
Chargement...