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

Filter your results

22 Results
Structure: Internal structure identifier : 1096185
Image document

Compositional Equivalences Based on Open pNets

Rabéa Ameur-Boulifa , Ludovic Henrio , Eric Madelaine
Journal of Logical and Algebraic Methods in Programming, In press
Journal articles hal-03894031v1
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

33èmes Journées Francophones des Langages Applicatifs

Chantal Keller , Timothy Bourke , Sandrine Blazy , Frédéric Bour , Guillaume Bury et al.
Chantal Keller; Timothy Bourke. , pp.1-292, 2022
Books hal-03689075v1
Image document

Effectful Programming across Heterogeneous Computations -Work in Progress

Jean Abou-Samra , Yannick Zakowski , Martin Bodin
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23
Conference papers hal-03886975v1
Image document

Compiling Trees : Combining Data Layouts and the Polyhedral Model

Paul Iannetta
Data Structures and Algorithms [cs.DS]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN013⟩
Theses tel-03771830v1
Image document

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

Nicolas Chappe , Paul He , Ludovic Henrio , Yannick Zakowski , Steve Zdancewic et al.
Proceedings of the ACM on Programming Languages, 2023, ⟨10.1145/3571254⟩
Journal articles hal-03886910v1
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

On Confluence of Parallel-Innermost Term Rewriting

Thaïs Baudon , Carsten Fuhs , Laure Gonnord
IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Conference papers hal-03710007v2
Image document

Formalising Futures and Promises in Viper

Cinzia Giusto , Loïc Germerie Guizouarn , Ludovic Henrio , Etienne Lozes
JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183
Conference papers hal-03626843v1

Formal reasoning about layered monadic interpreters

Irene Yoon , Yannick Zakowski , Steve Zdancewic
Proceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.254-282. ⟨10.1145/3547630⟩
Journal articles hal-03850324v1

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard
ACM Computing Surveys, 2023, ⟨10.1145/3595376⟩
Journal articles hal-04067909v1
Image document

Lightweight Array Contraction by Trace-Based Polyhedral Analysis

Hugo Thievenaz , Keiji Kimura , Christophe Alias
C3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC, Jun 2022, Hamburg, Germany
Conference papers hal-03862219v1
Image document

The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays

Julien Braine
Logic in Computer Science [cs.LO]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN014⟩
Theses tel-03771839v1
Image document

A Polyhedral Approach for Scalar Promotion

Alec Sadler , Christophe Alias , Hugo Thievenaz
Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS'22), Jul 2022, Amiens, France
Conference papers hal-03862223v1
Image document

Affine Multibanking for High-Level Synthesis

Ilham Lasfar , Christophe Alias , Matthieu Moy , Rémy Neveu , Alexis Carré et al.
IMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary
Conference papers hal-03862220v1
Image document

Type indexing in OCaml for function search in a large ecosystem

Pauline Garelli
Programming Languages [cs.PL]. 2022
Master thesis hal-03940573v1
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

Rephrasing Polyhedral Optimizations with Trace Analysis

Hugo Thievenaz , Keiji Kimura , Christophe Alias
12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22), Jun 2022, Budapest, Hungary
Conference papers hal-03862218v1
Image document

Ribbit

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

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

Analysing Parallel Complexity of Term Rewriting

Thaïs Baudon , Carsten Fuhs , Laure Gonnord
LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia
Conference papers hal-03749679v1