Filter your results
- 20
- 2
- 11
- 5
- 2
- 1
- 1
- 1
- 1
- 22
- 5
- 17
- 20
- 1
- 1
- 22
- 22
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 5
- 4
- 3
- 3
- 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
|
|
sorted by
|
|
Compositional Equivalences Based on Open pNetsJournal of Logical and Algebraic Methods in Programming, In press
Journal articles
hal-03894031v1
|
||
|
Retrofitting OCaml modulesJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.59-100
Conference papers
hal-03936636v2
|
||
|
33èmes Journées Francophones des Langages ApplicatifsBooks hal-03689075v1 |
||
|
Effectful Programming across Heterogeneous Computations -Work in ProgressJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23
Conference papers
hal-03886975v1
|
||
|
Compiling Trees : Combining Data Layouts and the Polyhedral ModelData Structures and Algorithms [cs.DS]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN013⟩
Theses
tel-03771830v1
|
||
|
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in CoqProceedings of the ACM on Programming Languages, 2023, ⟨10.1145/3571254⟩
Journal articles
hal-03886910v1
|
||
|
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
Conference papers
hal-03676356v1
|
||
|
On Confluence of Parallel-Innermost Term RewritingIWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Conference papers
hal-03710007v2
|
||
|
Formalising Futures and Promises in ViperJFLA 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 interpretersProceedings 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 SurveyACM Computing Surveys, 2023, ⟨10.1145/3595376⟩
Journal articles
hal-04067909v1
|
||
|
Lightweight Array Contraction by Trace-Based Polyhedral AnalysisC3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC, Jun 2022, Hamburg, Germany
Conference papers
hal-03862219v1
|
||
|
The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arraysLogic in Computer Science [cs.LO]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN014⟩
Theses
tel-03771839v1
|
||
|
A Polyhedral Approach for Scalar PromotionConférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS'22), Jul 2022, Amiens, France
Conference papers
hal-03862223v1
|
||
|
Affine Multibanking for High-Level SynthesisIMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary
Conference papers
hal-03862220v1
|
||
|
Type indexing in OCaml for function search in a large ecosystemProgramming Languages [cs.PL]. 2022
Master thesis
hal-03940573v1
|
||
|
Knit&Frog: Pattern matching compilation for custom memory representations[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Reports
hal-03684334v3
|
||
|
Rephrasing Polyhedral Optimizations with Trace Analysis12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22), Jun 2022, Budapest, Hungary
Conference papers
hal-03862218v1
|
||
|
RibbitSoftware hal-03860442v1 |
||
|
A Survey on Parallelism and DeterminismACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Journal articles
hal-03828497v1
|
||
|
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo TheoryDATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Conference papers
hal-04007446v1
|
||
|
Analysing Parallel Complexity of Term RewritingLOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia
Conference papers
hal-03749679v1
|