Search - ENS de Lyon - École normale supérieure de Lyon Access content directly

Filter your results

10 Results
authIdHal_s : gabriel-radanne
Image document

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
Conference papers hal-03936636v2
Image document

Isomorphisms are back!

Clément Allain , Gabriel Radanne , Laure Gonnord
ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3
Conference papers hal-03355381v1
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⟩
Conference papers hal-01144622v1
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
Conference papers hal-03676356v1
Image document

Parallelizing Structural Transformations on Tarbres

Paul Iannetta , Laure Gonnord , Gabriel Radanne
[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Reports hal-03208466v1
Image document

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
Reports hal-03684334v3
Image document

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , Mehdi Khosravian , Matthieu Moy et al.
DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Conference papers hal-04007446v1
Image document

A Survey on Parallelism and Determinism

Laure Gonnord , Ludovic Henrio , Lionel Morel , Gabriel Radanne
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Journal articles hal-03828497v1
Image document


Gabriel Radanne , Laure Gonnord , Thaïs Baudon
Software hal-03860442v1
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⟩
Conference papers hal-03355377v1