Publications

View CASH publications on Hal: 2021 and before, 2022 and after.
122 documents

Journal articles20 document

  • Clément Blaudeau, Didier Rémy, Gabriel Radanne. Avoiding Signature Avoidance in ML Modules with Zippers. Proceedings of the ACM on Programming Languages, 2025, POPL (9), ⟨10.1145/3704902⟩. ⟨hal-04801582⟩
  • Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic. A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction. Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.789-817. ⟨10.1145/3674652⟩. ⟨hal-04691859⟩
  • Sébastien Michelland, Yannick Zakowski, Laure Gonnord. Abstract Interpreters: A Monadic Approach to Modular Verification. Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.1-28. ⟨10.1145/3674646⟩. ⟨hal-04628727⟩
  • Thaïs Baudon, Carsten Fuhs, Laure Gonnord. On Complexity Bounds and Confluence of Parallel Term Rewriting. Fundamenta Informaticae, In press. ⟨hal-04673500⟩
  • Clément Blaudeau, Didier Rémy, Gabriel Radanne. Fulfilling OCaml Modules with Transparency. Proceedings of the ACM on Programming Languages, 2024, 8 (OOPSLA1), pp.194-222. ⟨10.1145/3649818⟩. ⟨hal-04794404⟩
  • Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, et al.. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Transactions on Programming Languages and Systems (TOPLAS), 2024, 46 (1), pp.1 - 58. ⟨10.1145/3648439⟩. ⟨hal-04732946⟩
  • Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard. Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey. ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩. ⟨hal-04067909⟩
  • Reiner Hähnle, Ludovic Henrio. Provably Fair Cooperative Scheduling. The Art, Science, and Engineering of Programming, 2023, 8 (2), ⟨10.22152/programming-journal.org/2024/8/6⟩. ⟨hal-04372450⟩
  • Thaïs Baudon, Gabriel Radanne, Laure Gonnord. Bit-Stealing Made Legal. Proceedings of the ACM on Programming Languages, 2023, ICFP, 7 (ICFP), pp.813-846. ⟨10.1145/3607858⟩. ⟨hal-04165615⟩
  • Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic. Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩. ⟨hal-03886910⟩
  • Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne. A Survey on Parallelism and Determinism. ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩. ⟨hal-03828497⟩
  • Irene Yoon, Yannick Zakowski, Steve Zdancewic. Formal reasoning about layered monadic interpreters. Proceedings of the ACM on Programming Languages, 2022, 6 (ICFP), pp.254-282. ⟨10.1145/3547630⟩. ⟨hal-03850324⟩
  • Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional Equivalences Based on Open pNets. Journal of Logical and Algebraic Methods in Programming, 2022, 131, pp.100842. ⟨10.1016/j.jlamp.2022.100842⟩. ⟨hal-03894031v2⟩
  • Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, et al.. Modular, compositional, and executable formal semantics for LLVM IR. Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473572⟩. ⟨hal-03525711⟩
  • Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud. An Optimised Flow for Futures: From Theory to Practice. The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩. ⟨hal-03440766⟩
  • Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy. Standard-compliant parallel SystemC simulation of loosely-timed transaction level models: From baremetal to Linux-based applications support. Integration, the VLSI Journal, 2021, 79, pp.23-40. ⟨10.1016/j.vlsi.2020.12.006⟩. ⟨hal-03487607⟩
  • Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye. Monoparametric Tiling of Polyhedral Programs. International Journal of Parallel Programming, 2021, 49, pp.376-409. ⟨10.1007/s10766-021-00694-2⟩. ⟨hal-02493164v2⟩
  • Ludovic Henrio, Christoph Kessler, Lu Li. Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Journal of Logical and Algebraic Methods in Programming, 2020, 110, pp.1-17. ⟨10.1016/j.jlamp.2019.100498⟩. ⟨hal-02331964⟩
  • Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn. Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. Electronic Proceedings in Theoretical Computer Science, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩. ⟨hal-02303148⟩
  • Ludovic Henrio. Pourquoi créer des nouveaux langages de programmation ?. Interstices, 2019. ⟨hal-02008111⟩

Conference papers53 document

  • Alec Sadler, Christophe Alias. Automatic Specialization of Polyhedral Programs on Sparse Structures. 15th International Workshop on Polyhedral Compilation Techniques (IMPACT'25), Jan 2025, Barcelona (ES), Spain. ⟨hal-05005245⟩
  • Nicolas Chappe, Ludovic Henrio, Yannick Zakowski. Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR. CPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2025, Denver CO USA, France. pp.283-298, ⟨10.1145/3703595.3705890⟩. ⟨hal-04594073v2⟩
  • Wenke Du, Ludovic Henrio, Gabriel Radanne. Distributed Actors in OCaml. OCaml Workshop, Sep 2024, Milan, Italy. ⟨hal-04794441⟩
  • Vivien Gachet, Ludovic Henrio, Gabriel Radanne. Tail Modulo Async/Await - Extended Abstract. FPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy. ⟨hal-04794434⟩
  • Emmanuel Arrighi, Gabriel Radanne. Light-speed type unification modulo isomorphisms. ML Workshop 2024, Sep 2024, Milan, Italy. ⟨hal-04794390⟩
  • Cyril Cohen, Enzo Crance, Assia Mahboubi. Trocq: Proof Transfer for Free, With or Without Univalence. ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.239-268, ⟨10.1007/978-3-031-57262-3_10⟩. ⟨hal-04177913v5⟩
  • Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, et al.. A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩. ⟨hal-04527225⟩
  • Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine. Refinements for Open Automata. SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.11-29, ⟨10.1007/978-3-031-47115-5_2⟩. ⟨hal-04271300⟩
  • Eddy Caron, Nicolas Chappe. FicWebBoard: A Playful and Collaborative Learning Platform Built for All People and All Programming Languages. 2023 IEEE Frontiers in Education Conference (FIE), Oct 2023, College Station, TX, United States. pp.1-8, ⟨10.1109/FIE58773.2023.10343040⟩. ⟨hal-04380643⟩
  • Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, M. Khosravian G., Matthieu Moy, et al.. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩. ⟨hal-04007446⟩
  • Jean Abou-Samra, Yannick Zakowski, Martin Bodin. Effectful Programming across Heterogeneous Computations -Work in Progress. JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23. ⟨hal-03886975⟩
  • Clément Blaudeau, Didier Rémy, Gabriel Radanne. Retrofitting OCaml modules. JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.59-100. ⟨hal-03936636v2⟩
  • Thaïs Baudon, Carsten Fuhs, Laure Gonnord. Analysing Parallel Complexity of Term Rewriting. LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia. ⟨hal-03749679⟩
  • Thaïs Baudon, Carsten Fuhs, Laure Gonnord. On Confluence of Parallel-Innermost Term Rewriting. IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel. ⟨hal-03710007v2⟩
  • Alec Sadler, Christophe Alias, Hugo Thievenaz. A Polyhedral Approach for Scalar Promotion. Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS'22), Jul 2022, Amiens, France. ⟨hal-03862223⟩
  • Cinzia Giusto, Loïc Germerie Guizouarn, Ludovic Henrio, Etienne Lozes. Formalising Futures and Promises in Viper. JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183. ⟨hal-03626843⟩
  • Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré. Affine Multibanking for High-Level Synthesis. IMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. ⟨hal-03862220⟩
  • Hugo Thievenaz, Keiji Kimura, Christophe Alias. Rephrasing Polyhedral Optimizations with Trace Analysis. 12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22), Jun 2022, Budapest, Hungary. ⟨hal-03862218⟩
  • Thaïs Baudon, Gabriel Radanne, Laure Gonnord. 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. ⟨hal-03676356⟩
  • Hugo Thievenaz, Keiji Kimura, Christophe Alias. Lightweight Array Contraction by Trace-Based Polyhedral Analysis. C3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC, Jun 2022, Hamburg, Germany. ⟨hal-03862219⟩
  • Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon. S4BXI: the MPI-ready Portals 4 Simulator. MASCOTS 2021 - 29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614285⟩. ⟨hal-03366573⟩
  • Paul Iannetta, Laure Gonnord, Gabriel Radanne. Compiling pattern matching to in-place modifications. GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩. ⟨hal-03355377⟩
  • Julien Braine, Laure Gonnord, David Monniaux. Data Abstraction: A General Framework to Handle Program Verification of Data Structures. SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩. ⟨hal-03321868⟩
  • Clément Allain, Gabriel Radanne, Laure Gonnord. Isomorphisms are back!. ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3. ⟨hal-03355381⟩
  • Thaïs Baudon, Carsten Fuhs, Laure Gonnord. Parallel Complexity of Term Rewriting Systems. WST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6. ⟨hal-03418400⟩
  • Amaury Maillé, Ludovic Henrio, Matthieu Moy. Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩. ⟨hal-03143269⟩
  • Christophe Alias, Alexandru Plesco. Data-Aware Process Networks. CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.1-11, ⟨10.1145/3446804.3446847⟩. ⟨hal-03143777⟩
  • Paul Iannetta. A New Memory Layout for Self-Rebalancing Trees. CGO'21 - International Symposium on Code Generation and Optimization, Feb 2021, Séoul, South Korea. ⟨hal-03123491⟩
  • Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon. Simulation of the Portals 4 protocol, and case study on the BXI interconnect. HPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8. ⟨hal-02972297⟩
  • Ludovic Henrio, Einar Broch Johnsen, Violet Ka I. Pun. Active Objects with Deterministic Behaviour. Integrated Formal Methods. IFM 2020, Nov 2020, Lugano, Switzerland. pp.181-198, ⟨10.1007/978-3-030-63461-2_10⟩. ⟨hal-03008405⟩
  • Julien Braine, Laure Gonnord. Proving array properties using data abstraction. Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States. ⟨hal-02948081v2⟩
  • Christophe Alias, Guillaume Iooss, Sanjay Rajopadhye. On the Verification of Polyhedral Program Transformations. HPCS 2020 - 18th International Conference on High Performance Computing & Simulation, CADO 2020 - 3rd Special Session on Compiler Architecture, Design and Optimization, Oct 2020, Barcelona, Spain. pp.1-8. ⟨hal-03106070⟩
  • Gabriel Radanne, Florian Angeletti. High-level error messages for modules through diffing. ML 2020 - ML Family Workshop, Aug 2020, Online, France. ⟨hal-04615919⟩
  • Paul Iannetta, Laure Gonnord, Lionel Morel. On optimizing scalar self-rebalancing trees. COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7. ⟨hal-03048742⟩
  • Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Françoise Baude. Distributed futures for efficient data transfer between parallel processes. SAC 2020 - 35th ACM/SIGAPP Symposium On Applied Computing, Mar 2020, Brno, Czech Republic. ⟨10.1145/3341105.3374104⟩. ⟨hal-02417953⟩
  • Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Maïza. Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems. DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France. pp.1-4. ⟨hal-02431273⟩
  • Christophe Alias. Farkas Lemma made easy. 10th International Workshop on Polyhedral Compilation Techniques (IMPACT 2020), Jan 2020, Bologna, Italy. pp.1-6. ⟨hal-02422033⟩
  • Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy. Standard-compliant parallel systemC simulation of loosely-timed Transaction Level Models. ASP-DAC 2020 - 25th Asia and South Pacific Design Automation Conference, Jan 2020, Beijing, China. pp.1-6, ⟨10.1109/ASP-DAC47756.2020.9045568⟩. ⟨hal-02416253⟩
  • Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin. Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip. RTNS 2019 - 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. pp.61-69, ⟨10.1145/3356401.3356416⟩. ⟨hal-02320463⟩
  • Christophe Alias. fkcc: the Farkas Calculator. TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536. ⟨hal-03106000⟩
  • Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad. Godot: All the Benefits of Implicit and Explicit Futures. ECOOP 2019 - 33rd European Conference on Object-Oriented Programming, Jul 2019, London, United Kingdom. pp.1-28. ⟨hal-02302214⟩
  • Simon Bliudze, Ludovic Henrio, Eric Madelaine. Verification of concurrent design patterns with data. COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩. ⟨hal-02143782⟩
  • Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng. On Reachability in Parameterized Phaser Programs. TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.299-315, ⟨10.1007/978-3-030-17462-0_17⟩. ⟨hal-02061520⟩
  • Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki. Semantic Array Dataflow Analysis. IMPACT 2019, Jan 2019, Valence (Espagne), Spain. ⟨hal-03549793⟩
  • Amir Charif, Gabriel Busnot, Rania Mameesh, Tanguy Sassolas, Nicolas Ventroux. Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration. RAPIDO2019 - 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2019, Valence, Spain. pp.1-8, ⟨10.1145/3300189.3300192⟩. ⟨hal-02023805⟩
  • Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra. VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩. ⟨hal-01939659⟩
  • Laure Gonnord, Sébastien Mosser. Practicing Domain-Specific Languages: From Code to Models. 14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩. ⟨hal-01865448⟩
  • Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, et al.. Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories. RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7. ⟨hal-01891599⟩
  • Romain Fontaine, Laure Gonnord, Lionel Morel. Polyhedral Dataflow Programming: a Case Study. SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9. ⟨cea-01855997v2⟩
  • Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, et al.. Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes. Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8. ⟨hal-01891398⟩
  • Laure Gonnord, Sébastien Mosser. Du code aux modèles, des modèles au code: enseigner les langages dédiés (DSL). CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.1-4. ⟨hal-01816239⟩
  • Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin. Parallel Code Generation of Synchronous Programs for a Many-core Architecture. DATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩. ⟨hal-01667594v2⟩
  • Christophe Alias. Improving Communication Patterns in Polyhedral Process Networks. HIP3ES 2018 - Sixth International Workshop on High Performance Energy Efficient Embedded Systems, Jan 2018, Manchester, United Kingdom. pp.1-6. ⟨hal-01725143⟩

Poster communications2 document

  • Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, et al.. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. Colloque du GDR SoC2, Jun 2023, Lyon, France. ⟨hal-04750092⟩
  • Christophe Alias. On Channel Restructuring for Complete FIFO Recovery. ICCD 2019 - 37th IEEE International Conference on Computer Design, Nov 2019, Abu Dhabi, United Arab Emirates. ⟨hal-02433318⟩

Books1 document

  • Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, et al. (Dir.). 33èmes journées francophones des langages applicatifs. Chantal Keller; Timothy Bourke. , pp.1-292, 2022. ⟨hal-03689075⟩

Book sections1 document


Preprints, Working Papers7 document

  • Cyril Cohen, Kazuhiko Sakaguchi. A bargain for mergesorts — How to prove your mergesort correct and stable, almost for free. 2025. ⟨hal-05111866⟩
  • Emma Nardino, Ludovic Henrio, Gabriel Radanne, Yannick Zakowski. Tail Modulo Async-Await. 2025. ⟨hal-05006570⟩
  • Thaïs Baudon, Gabriel Radanne, Laure Gonnord. Compiling Morphisms of Algebraic Data Types. 2024. ⟨hal-04601882⟩
  • Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski. An abstract, certified account of operational game semantics. 2024. ⟨hal-04583895⟩
  • Sébastien Michelland, Yannick Zakowski, Laure Gonnord. Abstract Interpreters: a Monadic Approach to Modular Verification (DRAFT). 2024. ⟨hal-04385725⟩
  • Gabriel Radanne, Thaïs Baudon, Laure Gonnord. Rebuilding Algebraic Data Types from Mangled Memory Layouts. 2024. ⟨hal-04388766⟩
  • Alec Sadler, Christophe Alias, Hugo Thievenaz. A Polyhedral Approach for Scalar Promotion. 2021. ⟨hal-03449994⟩

Reports18 document

  • Théa Hervier, Yannick Zakowski, Ludovic Henrio. MTrees : Mixing monadic effects and Labelled Transition Systems in Rocq. ENS de Lyon. 2025. ⟨hal-05140642⟩
  • Gabriel Dehame, Christophe Alias, Alec Sadler. Partial Evaluation of Dense Code on Sparse Structures. RR-9534, INRIA Lyon; CNRS; ENS de Lyon; Université de Lyon. 2023, pp.16. ⟨hal-04358187⟩
  • Ludovic Henrio, Eric Madelaine, Rabéa Ameur-Boulifa, Quentin Corradi. Refinements for Open Automata (Extended Version). RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023. ⟨hal-04193421⟩
  • Thaïs Baudon, Gabriel Radanne, Laure Gonnord. Compositional Flexible Memory Representations for Algebraic Data Types. 9495, Inria. 2022. ⟨hal-03940742⟩
  • Thaïs Baudon, Laure Gonnord, Gabriel Radanne. Knit&Frog: Pattern matching compilation for custom memory representations. [Research Report] RR-9473, Inria Lyon. 2022, pp.35. ⟨hal-03684334v3⟩
  • Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré. Affine Multibanking for High-Level Synthesis. [Research Report] RR-9440, Inria - Research Centre Grenoble – Rhône-Alpes. 2021. ⟨hal-03481328⟩
  • Hugo Thievenaz, Keiji Kimura, Christophe Alias. Towards Trace-Based Array Contraction. [Research Report] RR-9442, Inria; Waseda University. 2021, pp.20. ⟨hal-03482055⟩
  • Damien de Montis, Jean-Baptiste Besnard, Christophe Alias. A Polyhedral Approach for Auto-Parallelization using a Distributed Virtual Machine. [Research Report] RR-9432, INRIA LIP - ENS Lyon; Paratools. 2021, pp.25. ⟨hal-03402663⟩
  • Julien Braine, Laure Gonnord, David Monniaux. Data Abstraction: A General Framework to Handle Program Verification of Data Structures. [Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP - Laboratoire de l’Informatique du Parallélisme; Université Lyon 1 - Claude Bernard; ENS Lyon. 2021, pp.1-29. ⟨hal-03214475v2⟩
  • Paul Iannetta, Laure Gonnord, Gabriel Radanne. Parallelizing Structural Transformations on Tarbres. [Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21. ⟨hal-03208466⟩
  • Paul Iannetta, Laure Gonnord, Lionel Morel. On optimizing scalar self-rebalancing trees. [Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020. ⟨hal-02573052⟩
  • Christophe Alias, Samuel Thibault, Laure Gonnord. A Compiler Algorithm to Guide Runtime Scheduling. [Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019. ⟨hal-02421327⟩
  • Christophe Alias. fkcc: the Farkas Calculator. [Research Report] RR-9313, Inria. 2019. ⟨hal-02414224⟩
  • Christophe Alias, Julien Rudeau. Pipeline-aware Scheduling of Polyhedral Process Networks. [Research Report] RR-9314, INRIA Grenoble - Rhone-Alpes. 2019. ⟨hal-02414340⟩
  • Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki. Semantic Array Dataflow Analysis. [Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22. ⟨hal-01954396⟩
  • Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye. Monoparametric Tiling of Polyhedral Programs. [Research Report] RR-9233, INRIA Grenoble - Rhone-Alpes. 2018, pp.1-28. ⟨hal-01952593⟩
  • Christophe Alias. FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks. [Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018. ⟨hal-01818585⟩
  • Christophe Alias. Improving Communication Patterns in Polyhedral Process Networks. [Research Report] RR-9131, INRIA Grenoble - Rhône-Alpes. 2017, pp.1-13. ⟨hal-01665155⟩

Theses9 document

  • Hugo Thievenaz. Scalable Trace-based Compile-Time Memory Allocation. Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0108⟩. ⟨tel-04996690⟩
  • Nicolas Chappe. A Concurrency Model Based on Monadic Interpreters : Executable semantics for a concurrent subset of LLVM IR. Programming Languages [cs.PL]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0084⟩. ⟨tel-04963647⟩
  • Thaïs Baudon. Algebraic Data Types for High-Performance Computing. Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2024. English. ⟨NNT : 2024ENSL0075⟩. ⟨tel-04904051⟩
  • Amaury Maillé. Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing. Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0041⟩. ⟨tel-04238803⟩
  • Julien Emmanuel. A full stack simulator for HPC : multi-level modelling of the BXI interconnect to predict the performance of MPI applications. Modeling and Simulation. Université Claude Bernard - Lyon I, 2023. English. ⟨NNT : 2023LYO10029⟩. ⟨tel-04211680v2⟩
  • Julien Braine. The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays. Logic in Computer Science [cs.LO]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN014⟩. ⟨tel-03771839⟩
  • Paul Iannetta. Compiling Trees : Combining Data Layouts and the Polyhedral Model. Data Structures and Algorithms [cs.DS]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN013⟩. ⟨tel-03771830⟩
  • Gabriel Busnot. Parallel Standard-Compliant SystemC Simulation of Loosely-Timed Transaction Level Models. Computation and Language [cs.CL]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSE1315⟩. ⟨tel-03364390⟩
  • Guillaume Iooss. Detection of linear algebra operations in polyhedral programs. Other [cs.OH]. Université de Lyon; Colorado state university, 2016. English. ⟨NNT : 2016LYSEN019⟩. ⟨tel-01370553⟩

HDR thesis1 document

  • Christophe Alias. Contributions to Program Optimization and High-Level Synthesis. Hardware Architecture [cs.AR]. ENS de Lyon, 2019. ⟨tel-02151877v2⟩

Logiciel10 document


Powered by HAL logo