Accéder directement au contenu

Gabriel Radanne

8
Documents

Publications

laure-gonnord
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-03676356v1
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-03355381v1
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-03355377v1
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-01144622v1