Gabriel Radanne
8
Documents
Publications
- 8
- 3
- 2
- 1
- 1
- 1
- 6
- 4
- 3
- 2
- 1
- 1
- 1
- 3
- 3
- 1
|
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-03676356v1
|
|
Isomorphisms are back!ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3
Communication dans un congrès
hal-03355381v1
|
|
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-03355377v1
|
|
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-01144622v1
|
|
Rebuilding Algebraic Data Types from Mangled Memory Layouts2024
Pré-publication, Document de travail
hal-04388766v1
|
|
Knit&Frog: Pattern matching compilation for custom memory representations[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Rapport
hal-03684334v3
|
|
Parallelizing Structural Transformations on Tarbres[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Rapport
hal-03208466v1
|