{"id":170,"date":"2018-03-19T14:11:01","date_gmt":"2018-03-19T13:11:01","guid":{"rendered":"http:\/\/www.ens-lyon.fr\/LIP\/CASH\/?page_id=170"},"modified":"2022-05-16T15:51:48","modified_gmt":"2022-05-16T13:51:48","slug":"publications-hal-2","status":"publish","type":"page","link":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/?page_id=170","title":{"rendered":"Publications"},"content":{"rendered":"<div style=\"width:100%; text-align:center; border-radius: 1ex; font-size: 150%; border: solid 1px #B00040; background-color: #FFFF; padding: .5em;\">\nView CASH publications on Hal: <a href=\"https:\/\/hal.archives-ouvertes.fr\/search\/index\/q\/*\/structId_i\/528454\">2021 and before<\/a>, <a href=\"https:\/\/hal.archives-ouvertes.fr\/search\/index\/q\/*\/structId_i\/1096185\">2022 and after<\/a>.<\/div>\n<div id=\"wphal-content\"><div id=\"meta\">\n        <div class=\"display\" id=\"wphal-contact\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Contact<\/h3>\n\n            <ul id=\"wphal-cont\" style=\"list-style-type: none\"><\/ul>\n        <\/div>\n        <div class=\"display\" id=\"wphal-disciplines\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Domains<\/h3><\/div>\n        <div class=\"display\" id=\"wphal-keywords\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Keywords<\/h3><\/div>\n        <div class=\"display\" id=\"wphal-auteurs\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Authors<\/h3><\/div>\n        <div class=\"display\" id=\"wphal-affiliated\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Affiliated authors<\/h3><\/div>\n        <div class=\"display\" id=\"wphal-revues\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Journals<\/h3><\/div>\n        <div class=\"display\" id=\"wphal-annees\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Year of production<\/h3><\/div>\n        <div class=\"display\" id=\"wphal-insts\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Institutions<\/h3><\/div>\n       <div class=\"display\" id=\"wphal-labs\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Laboratories<\/h3><\/div>\n       <div class=\"display\" id=\"wphal-depts\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Departments<\/h3><\/div>\n       <div class=\"display\" id=\"wphal-equipes\" style=\"display: none\">\n            <h3 class=\"wphal-titre\">Research team<\/h3><\/div>\n    <div class=\"display\" id=\"publications\"><div class=\"counter-doc\"><span class=\"wphal-nbtot\">141 <\/span>documents<\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Journal articles<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">27 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Emma Nardino, Ludovic Henrio, Gabriel Radanne, Yannick Zakowski. Tail Modulo Async-Await. <i>Proceedings of the ACM on Programming Languages<\/i>, 2026, ICFP, 10, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3828684\">&#x27E8;10.1145\/3828684&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05006570v3\">&#x27E8;hal-05006570v3&#x27E9;<\/a><\/li><li>Nicolas Chappe, Paul He, Ludovic Henrio, Eleftherios Ioannidis, Yannick Zakowski, et al.. Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Rocq. <i>Journal of Functional Programming<\/i>, 2025. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05154458v2\">&#x27E8;hal-05154458v2&#x27E9;<\/a><\/li><li>Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian. Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs. <i>IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems<\/i>, 2025, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/TCAD.2025.3608647\">&#x27E8;10.1109\/TCAD.2025.3608647&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05290989v1\">&#x27E8;hal-05290989&#x27E9;<\/a><\/li><li>Reynald Affeldt, Cyril Cohen, Ayumu Saito. Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory. <i>ACM Transactions on Probabilistic Machine Learning<\/i>, 2025, 1 (3), pp.1-34. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3732291\">&#x27E8;10.1145\/3732291&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05318682v1\">&#x27E8;hal-05318682&#x27E9;<\/a><\/li><li>Cyril Cohen, Kazuhiko Sakaguchi. A bargain for mergesorts \u2014 How to prove your mergesort correct and stable, almost for free. <i>Proceedings of the ACM on Programming Languages<\/i>, 2025, 9 (ICFP), pp.1-29. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3747505\">&#x27E8;10.1145\/3747505&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05111866v2\">&#x27E8;hal-05111866v2&#x27E9;<\/a><\/li><li>Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, et al.. A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits. <i>ACM Transactions on Design Automation of Electronic Systems<\/i>, 2025, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3748327\">&#x27E8;10.1145\/3748327&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05185119v1\">&#x27E8;hal-05185119&#x27E9;<\/a><\/li><li>Cyril Cohen, Enzo Crance, Assia Mahboubi. Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence. <i>ACM Transactions on Programming Languages and Systems (TOPLAS)<\/i>, 2025, pp.1-40. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3737283\">&#x27E8;10.1145\/3737283&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05192017v1\">&#x27E8;hal-05192017&#x27E9;<\/a><\/li><li>Cl\u00e9ment Blaudeau, Didier R\u00e9my, Gabriel Radanne. Avoiding Signature Avoidance in ML Modules with Zippers. <i>Proceedings of the ACM on Programming Languages<\/i>, 2025, POPL (9), <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3704902\">&#x27E8;10.1145\/3704902&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04801582v1\">&#x27E8;hal-04801582&#x27E9;<\/a><\/li><li>S\u00e9bastien Michelland, Yannick Zakowski, Laure Gonnord. Abstract Interpreters: A Monadic Approach to Modular Verification. <i>Proceedings of the ACM on Programming Languages<\/i>, 2024, 8 (ICFP), pp.1-28. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3674646\">&#x27E8;10.1145\/3674646&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04628727v1\">&#x27E8;hal-04628727&#x27E9;<\/a><\/li><li>Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic. A Two-Phase Infinite\/Finite Low-Level Memory Model: Reconciling Integer\u2013Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction. <i>Proceedings of the ACM on Programming Languages<\/i>, 2024, 8 (ICFP), pp.789-817. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3674652\">&#x27E8;10.1145\/3674652&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04691859v1\">&#x27E8;hal-04691859&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Carsten Fuhs, Laure Gonnord. On Complexity Bounds and Confluence of Parallel Term Rewriting. <i>Fundamenta Informaticae<\/i>, 2024, 192 (2), pp.121-166. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.3233\/FI-242191\">&#x27E8;10.3233\/FI-242191&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04673500v1\">&#x27E8;hal-04673500&#x27E9;<\/a><\/li><li>Cl\u00e9ment Blaudeau, Didier R\u00e9my, Gabriel Radanne. Fulfilling OCaml Modules with Transparency. <i>Proceedings of the ACM on Programming Languages<\/i>, 2024, 8 (OOPSLA1), pp.194-222. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3649818\">&#x27E8;10.1145\/3649818&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04794404v1\">&#x27E8;hal-04794404&#x27E9;<\/a><\/li><li>Crystal Chang Din, Reiner H\u00e4hnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, et al.. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. <i>ACM Transactions on Programming Languages and Systems (TOPLAS)<\/i>, 2024, 46 (1), pp.1 - 58. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3648439\">&#x27E8;10.1145\/3648439&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04732946v1\">&#x27E8;hal-04732946&#x27E9;<\/a><\/li><li>Reiner H\u00e4hnle, Ludovic Henrio. Provably Fair Cooperative Scheduling. <i>The Art, Science, and Engineering of Programming<\/i>, 2023, 8 (2), <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.22152\/programming-journal.org\/2024\/8\/6\">&#x27E8;10.22152\/programming-journal.org\/2024\/8\/6&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04372450v1\">&#x27E8;hal-04372450&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Gabriel Radanne, Laure Gonnord. Bit-Stealing Made Legal. <i>Proceedings of the ACM on Programming Languages<\/i>, 2023, ICFP, 7 (ICFP), pp.813-846. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3607858\">&#x27E8;10.1145\/3607858&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04165615v1\">&#x27E8;hal-04165615&#x27E9;<\/a><\/li><li>H\u00e9l\u00e8ne Coullon, Ludovic Henrio, Fr\u00e9d\u00e9ric Loulergue, Simon Robillard. Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey. <i>ACM Computing Surveys<\/i>, 2023, 56 (1), pp.1-37. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3595376\">&#x27E8;10.1145\/3595376&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04067909v1\">&#x27E8;hal-04067909&#x27E9;<\/a><\/li><li>Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic. Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. <i>Proceedings of the ACM on Programming Languages<\/i>, 2023, pp.1-31. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3571254\">&#x27E8;10.1145\/3571254&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03886910v1\">&#x27E8;hal-03886910&#x27E9;<\/a><\/li><li>Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne. A Survey on Parallelism and Determinism. <i>ACM Computing Surveys<\/i>, 2022, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3564529\">&#x27E8;10.1145\/3564529&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03828497v1\">&#x27E8;hal-03828497&#x27E9;<\/a><\/li><li>Irene Yoon, Yannick Zakowski, Steve Zdancewic. Formal reasoning about layered monadic interpreters. <i>Proceedings of the ACM on Programming Languages<\/i>, 2022, 6 (ICFP), pp.254-282. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3547630\">&#x27E8;10.1145\/3547630&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03850324v1\">&#x27E8;hal-03850324&#x27E9;<\/a><\/li><li>Rab\u00e9a Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional Equivalences Based on Open pNets. <i>Journal of Logical and Algebraic Methods in Programming<\/i>, 2022, 131, pp.100842. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.jlamp.2022.100842\">&#x27E8;10.1016\/j.jlamp.2022.100842&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03894031v2\">&#x27E8;hal-03894031v2&#x27E9;<\/a><\/li><li>Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, et al.. Modular, compositional, and executable formal semantics for LLVM IR. <i>Proceedings of the ACM on Programming Languages<\/i>, 2021, 5 (ICFP), pp.1-30. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3473572\">&#x27E8;10.1145\/3473572&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03525711v1\">&#x27E8;hal-03525711&#x27E9;<\/a><\/li><li>Nicolas Chappe, Ludovic Henrio, Amaury Maill\u00e9, Matthieu Moy, Hadrien Renaud. An Optimised Flow for Futures: From Theory to Practice. <i>The Art, Science, and Engineering of Programming<\/i>, 2021, 6 (1), pp.1-41. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.22152\/programming-journal.org\/2022\/6\/3\">&#x27E8;10.22152\/programming-journal.org\/2022\/6\/3&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03440766v1\">&#x27E8;hal-03440766&#x27E9;<\/a><\/li><li>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. <i>Integration, the VLSI Journal<\/i>, 2021, 79, pp.23-40. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.vlsi.2020.12.006\">&#x27E8;10.1016\/j.vlsi.2020.12.006&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03487607v1\">&#x27E8;hal-03487607&#x27E9;<\/a><\/li><li>Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye. Monoparametric Tiling of Polyhedral Programs. <i>International Journal of Parallel Programming<\/i>, 2021, 49, pp.376-409. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/s10766-021-00694-2\">&#x27E8;10.1007\/s10766-021-00694-2&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-02493164v2\">&#x27E8;hal-02493164v2&#x27E9;<\/a><\/li><li>Ludovic Henrio, Christoph Kessler, Lu Li. Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. <i>Journal of Logical and Algebraic Methods in Programming<\/i>, 2020, 110, pp.1-17. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1016\/j.jlamp.2019.100498\">&#x27E8;10.1016\/j.jlamp.2019.100498&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02331964v1\">&#x27E8;hal-02331964&#x27E9;<\/a><\/li><li>Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn. Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. <i>Electronic Proceedings in Theoretical Computer Science<\/i>, 2019, 302, pp.32-46. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4204\/EPTCS.302.3\">&#x27E8;10.4204\/EPTCS.302.3&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02303148v1\">&#x27E8;hal-02303148&#x27E9;<\/a><\/li><li>Ludovic Henrio. Pourquoi cr\u00e9er des nouveaux langages de programmation ?. <i>Interstices<\/i>, 2019. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-02008111v1\">&#x27E8;hal-02008111&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Conference papers<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">61 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Alec Sadler, Nathan Chandanson, Hugo Thievenaz, Christophe Alias. New Insights on Scalar Promotion with the Polyhedral Model. <i>IMPACT 2026 - 16th International Workshop on Polyhedral Compilation Techniques<\/i>, Jan 2026, Krakow (Cracovie), Poland. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05486139v1\">&#x27E8;hal-05486139&#x27E9;<\/a><\/li><li>Juliette Mayti\u00e9, Reuben Carolan, Christophe Alias, Cedric Bastoul, Thomas Koehler. Towards Optimising Programs with Sketch-Guided Polyhedral Compilation. <i>IMPACT 2026 - International Workshop on Polyhedral Compilation Techniques<\/i>, Jan 2026, Cracovie (PL), Poland. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05493794v2\">&#x27E8;hal-05493794v2&#x27E9;<\/a><\/li><li>Jules Viennot, Guillaume Baudart, Emilio Jes\u00fas Gallego Arias, Marc Lelarge, Theo Stoskopf. Tacq -Context Aware Tactic Recommendation for Rocq. <i>JFLA 2026 \u2013 37es Journ\u00e9es Francophones des Langages Applicatifs<\/i>, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05428141v1\">&#x27E8;hal-05428141&#x27E9;<\/a><\/li><li>Ludovic Henrio, Einar Broch Johnsen, \u00c5smund Aqissiaq Arild Kl\u00f8vstad, Violet Ka I Pun, Yannick Zakowski. Layers of Confluence for Actors. <i>CPP 2026 - Certified Programs and Proofs<\/i>, Jan 2026, Rennes, France. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3779031.3779104\">&#x27E8;10.1145\/3779031.3779104&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05424264v1\">&#x27E8;hal-05424264&#x27E9;<\/a><\/li><li>Th\u00e9o Stoskopf, Cyril Cohen, Nicolas Tabareau. Babel-formal: Translation of Proofs between Lean and Rocq. <i>The 5th Workshop on Mathematical Reasoning and AI at NeurIPS 2025<\/i>, Dec 2025, San Diego, United States. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05342510v1\">&#x27E8;hal-05342510&#x27E9;<\/a><\/li><li>Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa. Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation. <i>16th International Conference on Interactive Theorem Proving (ITP 2025)<\/i>, Sep 2025, Reykjavik, Iceland. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4230\/LIPIcs.ITP.2025.21\">&#x27E8;10.4230\/LIPIcs.ITP.2025.21&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05318685v1\">&#x27E8;hal-05318685&#x27E9;<\/a><\/li><li>Quentin Vermande. Optimizing Canonical Structures. <i>UNIF 2025 - 39th International Workshop on Unification<\/i>, Jul 2025, Birmingham, United Kingdom. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05148851v1\">&#x27E8;hal-05148851&#x27E9;<\/a><\/li><li>Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski. An abstract, certified account of operational game semantics. <i>ESOP 2025 - 34th European Symposium on Programming<\/i>, May 2025, Hamilton, Ontario, Canada. pp.172-199, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-91118-7_7\">&#x27E8;10.1007\/978-3-031-91118-7_7&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04583895v2\">&#x27E8;hal-04583895v2&#x27E9;<\/a><\/li><li>Alec Sadler, Christophe Alias. Automatic Specialization of Polyhedral Programs on Sparse Structures. <i>15th International Workshop on Polyhedral Compilation Techniques (IMPACT'25)<\/i>, Jan 2025, Barcelona (ES), Spain. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05005245v1\">&#x27E8;hal-05005245&#x27E9;<\/a><\/li><li>Nicolas Chappe, Ludovic Henrio, Yannick Zakowski. Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR. <i>CPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs<\/i>, Jan 2025, Denver CO USA, France. pp.283-298, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3703595.3705890\">&#x27E8;10.1145\/3703595.3705890&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04594073v2\">&#x27E8;hal-04594073v2&#x27E9;<\/a><\/li><li>Wenke Du, Ludovic Henrio, Gabriel Radanne. Distributed Actors in OCaml. <i>OCaml Workshop<\/i>, Sep 2024, Milan, Italy. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04794441v1\">&#x27E8;hal-04794441&#x27E9;<\/a><\/li><li>Emmanuel Arrighi, Gabriel Radanne. Light-speed type unification modulo isomorphisms. <i>ML Workshop 2024<\/i>, Sep 2024, Milan, Italy. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04794390v1\">&#x27E8;hal-04794390&#x27E9;<\/a><\/li><li>Vivien Gachet, Ludovic Henrio, Gabriel Radanne. Tail Modulo Async\/Await - Extended Abstract. <i>FPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance<\/i>, Sep 2024, Milan, Italy. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04794434v1\">&#x27E8;hal-04794434&#x27E9;<\/a><\/li><li>Cyril Cohen, Enzo Crance, Assia Mahboubi. Trocq: Proof Transfer for Free, With or Without Univalence. <i>ESOP 2024 - 33rd European Symposium on Programming<\/i>, Apr 2024, Luxembourg, Luxembourg. pp.239-268, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-57262-3_10\">&#x27E8;10.1007\/978-3-031-57262-3_10&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04177913v5\">&#x27E8;hal-04177913v5&#x27E9;<\/a><\/li><li>Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, et al.. A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. <i>Design, Automation and Test in Europe Conference<\/i>, Mar 2024, Valencia, Spain. pp.1-6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.23919\/DATE58400.2024.10546537\">&#x27E8;10.23919\/DATE58400.2024.10546537&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04527225v1\">&#x27E8;hal-04527225&#x27E9;<\/a><\/li><li>Rab\u00e9a Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine. Refinements for Open Automata. <i>SEFM 2023 - Software Engineering and Formal Methods<\/i>, Nov 2023, Eindhoven, Netherlands. pp.11-29, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-47115-5_2\">&#x27E8;10.1007\/978-3-031-47115-5_2&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04271300v1\">&#x27E8;hal-04271300&#x27E9;<\/a><\/li><li>Eddy Caron, Nicolas Chappe. FicWebBoard: A Playful and Collaborative Learning Platform Built for All People and All Programming Languages. <i>2023 IEEE Frontiers in Education Conference (FIE)<\/i>, Oct 2023, College Station, TX, United States. pp.1-8, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/FIE58773.2023.10343040\">&#x27E8;10.1109\/FIE58773.2023.10343040&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04380643v1\">&#x27E8;hal-04380643&#x27E9;<\/a><\/li><li>Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, M. Khosravian G., Matthieu Moy, et al.. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. <i>DATE 2023 - Design, Automation and Test in Europe Conference<\/i>, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.23919\/DATE56975.2023.10137147\">&#x27E8;10.23919\/DATE56975.2023.10137147&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04007446v1\">&#x27E8;hal-04007446&#x27E9;<\/a><\/li><li>Jean Abou-Samra, Yannick Zakowski, Martin Bodin. Effectful Programming across Heterogeneous Computations -Work in Progress. <i>JFLA 2023 - 34\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs<\/i>, Jan 2023, Praz-sur-Arly, France. pp.7-23. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03886975v1\">&#x27E8;hal-03886975&#x27E9;<\/a><\/li><li>Cl\u00e9ment Blaudeau, Didier R\u00e9my, Gabriel Radanne. Retrofitting OCaml modules. <i>JFLA 2023 - 34\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs<\/i>, Jan 2023, Praz-sur-Arly, France. pp.59-100. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03936636v2\">&#x27E8;hal-03936636v2&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Carsten Fuhs, Laure Gonnord. Analysing Parallel Complexity of Term Rewriting. <i>LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation<\/i>, Sep 2022, Tbilisi, Georgia. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03749679v1\">&#x27E8;hal-03749679&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Carsten Fuhs, Laure Gonnord. On Confluence of Parallel-Innermost Term Rewriting. <i>IWC 2022 - 11th International Workshop on Confluence<\/i>, Aug 2022, Haifa, Israel. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03710007v2\">&#x27E8;hal-03710007v2&#x27E9;<\/a><\/li><li>Alec Sadler, Christophe Alias, Hugo Thievenaz. A Polyhedral Approach for Scalar Promotion. <i>Conf\u00e9rence francophone d'informatique en Parall\u00e9lisme, Architecture et Syst\u00e8me (COMPAS'22)<\/i>, Jul 2022, Amiens, France. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03862223v1\">&#x27E8;hal-03862223&#x27E9;<\/a><\/li><li>Cinzia Giusto, Lo\u00efc Germerie Guizouarn, Ludovic Henrio, Etienne Lozes. Formalising Futures and Promises in Viper. <i>JFLA 2022 - 33\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs<\/i>, Jun 2022, Saint-M\u00e9dard-d'Excideuil, France. pp.165-183. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03626843v1\">&#x27E8;hal-03626843&#x27E9;<\/a><\/li><li>Hugo Thievenaz, Keiji Kimura, Christophe Alias. Rephrasing Polyhedral Optimizations with Trace Analysis. <i>12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22)<\/i>, Jun 2022, Budapest, Hungary. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03862218v1\">&#x27E8;hal-03862218&#x27E9;<\/a><\/li><li>Ilham Lasfar, Christophe Alias, Matthieu Moy, R\u00e9my Neveu, Alexis Carr\u00e9. Affine Multibanking for High-Level Synthesis. <i>IMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques<\/i>, Jun 2022, Budapest, Hungary. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03862220v1\">&#x27E8;hal-03862220&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Gabriel Radanne, Laure Gonnord. Knit&amp;Frog: Pattern matching compilation for custom memory representations (doctoral session). <i>AFADL 2022 - 21\u00e8me journ\u00e9es Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels<\/i>, Jun 2022, Vannes, France. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03676356v1\">&#x27E8;hal-03676356&#x27E9;<\/a><\/li><li>Hugo Thievenaz, Keiji Kimura, Christophe Alias. Lightweight Array Contraction by Trace-Based Polyhedral Analysis. <i>C3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC<\/i>, Jun 2022, Hamburg, Germany. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03862219v1\">&#x27E8;hal-03862219&#x27E9;<\/a><\/li><li>Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Gr\u00e9goire Pichon. S4BXI: the MPI-ready Portals 4 Simulator. <i>MASCOTS 2021 - 29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems<\/i>, Nov 2021, Houston, United States. pp.1-8, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/MASCOTS53633.2021.9614285\">&#x27E8;10.1109\/MASCOTS53633.2021.9614285&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03366573v1\">&#x27E8;hal-03366573&#x27E9;<\/a><\/li><li>Paul Iannetta, Laure Gonnord, Gabriel Radanne. Compiling pattern matching to in-place modifications. <i>GPCE 2021 - 20th International Conference on Generative Programming: Concepts &amp; Experiences<\/i>, Oct 2021, Chicago &amp; Virtual, United States. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3486609.3487204\">&#x27E8;10.1145\/3486609.3487204&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03355377v1\">&#x27E8;hal-03355377&#x27E9;<\/a><\/li><li>Julien Braine, Laure Gonnord, David Monniaux. Data Abstraction: A General Framework to Handle Program Verification of Data Structures. <i>SAS 2021 - 28th Static Analysis Symposium<\/i>, Oct 2021, Chicago, United States. pp.215-235, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-88806-0_11\">&#x27E8;10.1007\/978-3-030-88806-0_11&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03321868v1\">&#x27E8;hal-03321868&#x27E9;<\/a><\/li><li>Cl\u00e9ment Allain, Gabriel Radanne, Laure Gonnord. Isomorphisms are back!. <i>ML 2021 - ML Workshop<\/i>, Aug 2021, Virtual, France. pp.1-3. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03355381v1\">&#x27E8;hal-03355381&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Carsten Fuhs, Laure Gonnord. Parallel Complexity of Term Rewriting Systems. <i>WST 2021 - 17th International Workshop on Termination<\/i>, Jul 2021, Virtual, France. pp.1-6. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03418400v1\">&#x27E8;hal-03418400&#x27E9;<\/a><\/li><li>Amaury Maill\u00e9, Ludovic Henrio, Matthieu Moy. Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. <i>FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering<\/i>, May 2021, Tehran, Iran. pp.1-7, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-89247-0_13\">&#x27E8;10.1007\/978-3-030-89247-0_13&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03143269v1\">&#x27E8;hal-03143269&#x27E9;<\/a><\/li><li>Christophe Alias, Alexandru Plesco. Data-Aware Process Networks. <i>CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction<\/i>, Mar 2021, Virtual, South Korea. pp.1-11, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3446804.3446847\">&#x27E8;10.1145\/3446804.3446847&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03143777v1\">&#x27E8;hal-03143777&#x27E9;<\/a><\/li><li>Paul Iannetta. A New Memory Layout for Self-Rebalancing Trees. <i>CGO'21 - International Symposium on Code Generation and Optimization<\/i>, Feb 2021, S\u00e9oul, South Korea. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03123491v1\">&#x27E8;hal-03123491&#x27E9;<\/a><\/li><li>Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Gr\u00e9goire Pichon. Simulation of the Portals 4 protocol, and case study on the BXI interconnect. <i>HPCS 2020 - International Conference on High Performance Computing &amp; Simulation<\/i>, Dec 2020, Barcelona, Spain. pp.1-8. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02972297v1\">&#x27E8;hal-02972297&#x27E9;<\/a><\/li><li>Ludovic Henrio, Einar Broch Johnsen, Violet Ka I. Pun. Active Objects with Deterministic Behaviour. <i>Integrated Formal Methods. IFM 2020<\/i>, Nov 2020, Lugano, Switzerland. pp.181-198, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-63461-2_10\">&#x27E8;10.1007\/978-3-030-63461-2_10&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03008405v1\">&#x27E8;hal-03008405&#x27E9;<\/a><\/li><li>Julien Braine, Laure Gonnord. Proving array properties using data abstraction. <i>Numerical and Symbolic Abstract Domains (NSAD)<\/i>, Nov 2020, Virtual, United States. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02948081v2\">&#x27E8;hal-02948081v2&#x27E9;<\/a><\/li><li>Christophe Alias, Guillaume Iooss, Sanjay Rajopadhye. On the Verification of Polyhedral Program Transformations. <i>HPCS 2020 - 18th International Conference on High Performance Computing &amp; Simulation, CADO 2020 - 3rd Special Session on Compiler Architecture, Design and Optimization<\/i>, Oct 2020, Barcelona, Spain. pp.1-8. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03106070v1\">&#x27E8;hal-03106070&#x27E9;<\/a><\/li><li>Gabriel Radanne, Florian Angeletti. High-level error messages for modules through diffing. <i>ML 2020 - ML Family Workshop<\/i>, Aug 2020, Online, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04615919v1\">&#x27E8;hal-04615919&#x27E9;<\/a><\/li><li>Paul Iannetta, Laure Gonnord, Lionel Morel. On optimizing scalar self-rebalancing trees. <i>COMPAS 2020 - Conf\u00e9rence francophone d'informatique en Parall\u00e9lisme, Architecture et Syst\u00e8me<\/i>, Jun 2020, Lyon, France. pp.1-7. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03048742v1\">&#x27E8;hal-03048742&#x27E9;<\/a><\/li><li>Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Fran\u00e7oise Baude. Distributed futures for efficient data transfer between parallel processes. <i>SAC 2020 - 35th ACM\/SIGAPP Symposium On Applied Computing<\/i>, Mar 2020, Brno, Czech Republic. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3341105.3374104\">&#x27E8;10.1145\/3341105.3374104&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02417953v1\">&#x27E8;hal-02417953&#x27E9;<\/a><\/li><li>Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Ma\u00efza. Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems. <i>DATE 2020 - Design, Automation and Test in Europe Conference<\/i>, Mar 2020, Grenoble, France. pp.1-4. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02431273v1\">&#x27E8;hal-02431273&#x27E9;<\/a><\/li><li>Christophe Alias. Farkas Lemma made easy. <i>10th International Workshop on Polyhedral Compilation Techniques (IMPACT 2020)<\/i>, Jan 2020, Bologna, Italy. pp.1-6. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-02422033v1\">&#x27E8;hal-02422033&#x27E9;<\/a><\/li><li>Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy. Standard-compliant parallel systemC simulation of loosely-timed Transaction Level Models. <i>ASP-DAC 2020 - 25th Asia and South Pacific Design Automation Conference<\/i>, Jan 2020, Beijing, China. pp.1-6, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/ASP-DAC47756.2020.9045568\">&#x27E8;10.1109\/ASP-DAC47756.2020.9045568&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02416253v1\">&#x27E8;hal-02416253&#x27E9;<\/a><\/li><li>Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Beno\u00eet Dupont de Dinechin. Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip. <i>RTNS 2019 - 27th International Conference on Real-Time Networks and Systems<\/i>, Nov 2019, Toulouse, France. pp.61-69, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3356401.3356416\">&#x27E8;10.1145\/3356401.3356416&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02320463v1\">&#x27E8;hal-02320463&#x27E9;<\/a><\/li><li>Christophe Alias. fkcc: the Farkas Calculator. <i>TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis<\/i>, Oct 2019, Porto, Portugal. pp.526-536. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03106000v1\">&#x27E8;hal-03106000&#x27E9;<\/a><\/li><li>Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad. Godot: All the Benefits of Implicit and Explicit Futures. <i>ECOOP 2019 - 33rd European Conference on Object-Oriented Programming<\/i>, Jul 2019, London, United Kingdom. pp.1-28. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02302214v1\">&#x27E8;hal-02302214&#x27E9;<\/a><\/li><li>Simon Bliudze, Ludovic Henrio, Eric Madelaine. Verification of concurrent design patterns with data. <i>COORDINATION 2019 - 21st International Conference on Coordination Models and Languages<\/i>, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-22397-7_10\">&#x27E8;10.1007\/978-3-030-22397-7_10&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02143782v1\">&#x27E8;hal-02143782&#x27E9;<\/a><\/li><li>Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng. On Reachability in Parameterized Phaser Programs. <i>TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems<\/i>, Apr 2019, Prague, Czech Republic. pp.299-315, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-17462-0_17\">&#x27E8;10.1007\/978-3-030-17462-0_17&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02061520v1\">&#x27E8;hal-02061520&#x27E9;<\/a><\/li><li>Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki. Semantic Array Dataflow Analysis. <i>IMPACT 2019<\/i>, Jan 2019, Valence (Espagne), Spain. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03549793v1\">&#x27E8;hal-03549793&#x27E9;<\/a><\/li><li>Amir Charif, Gabriel Busnot, Rania Mameesh, Tanguy Sassolas, Nicolas Ventroux. Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration. <i>RAPIDO2019 - 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools<\/i>, Jan 2019, Valence, Spain. pp.1-8, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3300189.3300192\">&#x27E8;10.1145\/3300189.3300192&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02023805v1\">&#x27E8;hal-02023805&#x27E9;<\/a><\/li><li>Cl\u00e9ment Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra. <i>VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation<\/i>, Jan 2019, Cascais, Portugal. pp.114-135, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-030-11245-5_6\">&#x27E8;10.1007\/978-3-030-11245-5_6&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01939659v1\">&#x27E8;hal-01939659&#x27E9;<\/a><\/li><li>Laure Gonnord, S\u00e9bastien Mosser. Practicing Domain-Specific Languages: From Code to Models. <i>14th Educators Symposium at MODELS 2018<\/i>, Oct 2018, Copenaghen, Denmark. pp.1-8, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3270112.3270116\">&#x27E8;10.1145\/3270112.3270116&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01865448v1\">&#x27E8;hal-01865448&#x27E9;<\/a><\/li><li>Tristan Delizy, St\u00e9phane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, et al.. Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories. <i>RSP 2018 - 29th International Symposium on Rapid System Prototyping<\/i>, Oct 2018, Turin, Italy. pp.1-7. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01891599v1\">&#x27E8;hal-01891599&#x27E9;<\/a><\/li><li>Romain Fontaine, Laure Gonnord, Lionel Morel. Polyhedral Dataflow Programming: a Case Study. <i>SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing<\/i>, Sep 2018, Lyon, France. pp.1-9. <a target=\"_blank\" href=\"https:\/\/cea.hal.science\/cea-01855997v2\">&#x27E8;cea-01855997v2&#x27E9;<\/a><\/li><li>Tristan Delizy, St\u00e9phane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, et al.. Quels objets en NVRAM ? Placement en m\u00e9moires de travail h\u00e9t\u00e9rog\u00e8nes. <i>Compas 2018 - Conf\u00e9rence d\u2019informatique en Parall\u00e9lisme, Architecture et Syst\u00e8me<\/i>, Jul 2018, Toulouse, France. pp.1-8. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01891398v1\">&#x27E8;hal-01891398&#x27E9;<\/a><\/li><li>Laure Gonnord, S\u00e9bastien Mosser. Du code aux mod\u00e8les, des mod\u00e8les au code: enseigner les langages d\u00e9di\u00e9s (DSL). <i>CIEL 2018 : 7\u00e8me Conf\u00e9rence en Ing\u00e9nieriE du Logiciel<\/i>, Jun 2018, Grenoble, France. pp.1-4. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01816239v1\">&#x27E8;hal-01816239&#x27E9;<\/a><\/li><li>Amaury Graillat, Matthieu Moy, Pascal Raymond, Beno\u00eet Dupont de Dinechin. Parallel Code Generation of Synchronous Programs for a Many-core Architecture. <i>DATE 2018 - Design, Automation and Test in Europe<\/i>, Mar 2018, Dresden, Germany. pp.1139-1142, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.23919\/DATE.2018.8342182\">&#x27E8;10.23919\/DATE.2018.8342182&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01667594v2\">&#x27E8;hal-01667594v2&#x27E9;<\/a><\/li><li>Christophe Alias. Improving Communication Patterns in Polyhedral Process Networks. <i>HIP3ES 2018 - Sixth International Workshop on High Performance Energy Efficient Embedded Systems<\/i>, Jan 2018, Manchester, United Kingdom. pp.1-6. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01725143v1\">&#x27E8;hal-01725143&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Poster communications<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">2 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, et al.. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. <i>Colloque du GDR SoC2<\/i>, Jun 2023, Lyon, France. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04750092v1\">&#x27E8;hal-04750092&#x27E9;<\/a><\/li><li>Christophe Alias. On Channel Restructuring for Complete FIFO Recovery. <i>ICCD 2019 - 37th IEEE International Conference on Computer Design<\/i>, Nov 2019, Abu Dhabi, United Arab Emirates. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-02433318v1\">&#x27E8;hal-02433318&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Books<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">1 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Chantal Keller, Timothy Bourke, Sandrine Blazy, Fr\u00e9d\u00e9ric Bour, Guillaume Bury, et al. (Dir.). 33\u00e8mes journ\u00e9es francophones des langages applicatifs. Chantal Keller; Timothy Bourke. <a target=\"_blank\" href=\"http:\/\/jfla.inria.fr\/jfla2022.html\"><\/a>, pp.1-292, 2022. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03689075v1\">&#x27E8;hal-03689075&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Book sections<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">1 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Martin Andrieux, Ludovic Henrio, Gabriel Radanne. Active Objects based on Algebraic Effects. <i>Active Object Languages: Current Research Trends<\/i>, 14360, pp.3-36, 2024, Lecture Notes in Computer Science, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-031-51060-1_1\">&#x27E8;10.1007\/978-3-031-51060-1_1&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04388798v1\">&#x27E8;hal-04388798&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Other publications<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">2 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Th\u00e9o Stoskopf, Jules Viennot, Cyril Cohen. LLM4Docq: Bootstrapping Documentation for MathComp with LLMs and Expert Feedback. 2025. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05342426v1\">&#x27E8;hal-05342426&#x27E9;<\/a><\/li><li>Cyril Cohen, Assia Mahboubi, Xavier Montillet. Frame type theory. 2019. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05342539v1\">&#x27E8;hal-05342539&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Preprints, Working Papers<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">8 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Charles Paperman, Etienne Parent, Gabriel Radanne. Vectorisation of Sequential Transducers. 2026. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05826074v1\">&#x27E8;hal-05826074&#x27E9;<\/a><\/li><li>Victor Deng, Aur\u00e8le Barri\u00e8re, Cl\u00e9ment Pit-Claudel. On the computational complexity of JavaScript regex matching, in Rocq. 2026. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05775291v1\">&#x27E8;hal-05775291&#x27E9;<\/a><\/li><li>Cyril Cohen, Quentin Vermande. Types and sets, Canonical Structures and Typeclasses. 2026. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05590597v1\">&#x27E8;hal-05590597&#x27E9;<\/a><\/li><li>Matteo Calosci, Cyril Cohen, Enrico Tassi, Paolo Torrini. Semantics for Hierarchy Builder with Shifters and Instances. 2026. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05590600v1\">&#x27E8;hal-05590600&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Gabriel Radanne, Laure Gonnord. Compiling Morphisms of Algebraic Data Types. 2024. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04601882v1\">&#x27E8;hal-04601882&#x27E9;<\/a><\/li><li>Gabriel Radanne, Tha\u00efs Baudon, Laure Gonnord. Rebuilding Algebraic Data Types from Mangled Memory Layouts. 2024. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04388766v1\">&#x27E8;hal-04388766&#x27E9;<\/a><\/li><li>S\u00e9bastien Michelland, Yannick Zakowski, Laure Gonnord. Abstract Interpreters: a Monadic Approach to Modular Verification (DRAFT). 2024. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04385725v1\">&#x27E8;hal-04385725&#x27E9;<\/a><\/li><li>Alec Sadler, Christophe Alias, Hugo Thievenaz. A Polyhedral Approach for Scalar Promotion. 2021. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03449994v1\">&#x27E8;hal-03449994&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Reports<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">18 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Th\u00e9a Hervier, Yannick Zakowski, Ludovic Henrio. MTrees : Mixing monadic effects and Labelled Transition Systems in Rocq. ENS de Lyon. 2025. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-05140642v1\">&#x27E8;hal-05140642&#x27E9;<\/a><\/li><li>Gabriel Dehame, Christophe Alias, Alec Sadler. Partial Evaluation of Dense Code on Sparse Structures. RR-9534, INRIA Lyon; CNRS; ENS de Lyon; Universit\u00e9 de Lyon. 2023, pp.16. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04358187v1\">&#x27E8;hal-04358187&#x27E9;<\/a><\/li><li>Ludovic Henrio, Eric Madelaine, Rab\u00e9a Ameur-Boulifa, Quentin Corradi. Refinements for Open Automata (Extended Version). RR-9517, Inria - Research Centre Grenoble \u2013 Rh\u00f4ne-Alpes. 2023. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-04193421v1\">&#x27E8;hal-04193421&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Gabriel Radanne, Laure Gonnord. Compositional Flexible Memory Representations for Algebraic Data Types. 9495, Inria. 2022. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03940742v1\">&#x27E8;hal-03940742&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon, Laure Gonnord, Gabriel Radanne. Knit&amp;Frog: Pattern matching compilation for custom memory representations. [Research Report] RR-9473, Inria Lyon. 2022, pp.35. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03684334v3\">&#x27E8;hal-03684334v3&#x27E9;<\/a><\/li><li>Ilham Lasfar, Christophe Alias, Matthieu Moy, R\u00e9my Neveu, Alexis Carr\u00e9. Affine Multibanking for High-Level Synthesis. [Research Report] RR-9440, Inria - Research Centre Grenoble \u2013 Rh\u00f4ne-Alpes. 2021. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03481328v1\">&#x27E8;hal-03481328&#x27E9;<\/a><\/li><li>Hugo Thievenaz, Keiji Kimura, Christophe Alias. Towards Trace-Based Array Contraction. [Research Report] RR-9442, Inria; Waseda University. 2021, pp.20. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03482055v1\">&#x27E8;hal-03482055&#x27E9;<\/a><\/li><li>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. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03402663v1\">&#x27E8;hal-03402663&#x27E9;<\/a><\/li><li>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\u00f4ne-Alpes; VERIMAG UMR 5104, Universit\u00e9 Grenoble Alpes, France; LIP - Laboratoire de l\u2019Informatique du Parall\u00e9lisme; Universit\u00e9 Lyon 1 - Claude Bernard; ENS Lyon. 2021, pp.1-29. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03214475v2\">&#x27E8;hal-03214475v2&#x27E9;<\/a><\/li><li>Paul Iannetta, Laure Gonnord, Gabriel Radanne. Parallelizing Structural Transformations on Tarbres. [Research Report] RR-9405, ENS Lyon, CNRS &amp; INRIA. 2021, pp.21. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03208466v1\">&#x27E8;hal-03208466&#x27E9;<\/a><\/li><li>Paul Iannetta, Laure Gonnord, Lionel Morel. On optimizing scalar self-rebalancing trees. [Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble \u2013 Rh\u00f4ne-Alpes; Universit\u00e9 de Lyon I Claude Bernard. 2020. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-02573052v1\">&#x27E8;hal-02573052&#x27E9;<\/a><\/li><li>Christophe Alias, Samuel Thibault, Laure Gonnord. A Compiler Algorithm to Guide Runtime Scheduling. [Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-02421327v1\">&#x27E8;hal-02421327&#x27E9;<\/a><\/li><li>Christophe Alias, Julien Rudeau. Pipeline-aware Scheduling of Polyhedral Process Networks. [Research Report] RR-9314, INRIA Grenoble - Rhone-Alpes. 2019. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-02414340v1\">&#x27E8;hal-02414340&#x27E9;<\/a><\/li><li>Christophe Alias. fkcc: the Farkas Calculator. [Research Report] RR-9313, Inria. 2019. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-02414224v1\">&#x27E8;hal-02414224&#x27E9;<\/a><\/li><li>Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki. Semantic Array Dataflow Analysis. [Research Report] RR-9232, Inria Grenoble Rh\u00f4ne-Alpes. 2018, pp.1-22. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-01954396v1\">&#x27E8;hal-01954396&#x27E9;<\/a><\/li><li>Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye. Monoparametric Tiling of Polyhedral Programs. [Research Report] RR-9233, INRIA Grenoble - Rhone-Alpes. 2018, pp.1-28. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01952593v1\">&#x27E8;hal-01952593&#x27E9;<\/a><\/li><li>Christophe Alias. FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks. [Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01818585v1\">&#x27E8;hal-01818585&#x27E9;<\/a><\/li><li>Christophe Alias. Improving Communication Patterns in Polyhedral Process Networks. [Research Report] RR-9131, INRIA Grenoble - Rh\u00f4ne-Alpes. 2017, pp.1-13. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-01665155v1\">&#x27E8;hal-01665155&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Theses<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">9 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Hugo Thievenaz. Scalable Trace-based Compile-Time Memory Allocation. Other [cs.OH]. Ecole normale sup\u00e9rieure de lyon - ENS LYON, 2024. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2024ENSL0108\">&#x27E8;NNT : 2024ENSL0108&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/theses.hal.science\/tel-04996690v1\">&#x27E8;tel-04996690&#x27E9;<\/a><\/li><li>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\u00e9rieure de lyon - ENS LYON, 2024. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2024ENSL0084\">&#x27E8;NNT : 2024ENSL0084&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/theses.hal.science\/tel-04963647v1\">&#x27E8;tel-04963647&#x27E9;<\/a><\/li><li>Tha\u00efs Baudon. Algebraic Data Types for High-Performance Computing. Computer Science [cs]. Ecole normale sup\u00e9rieure de lyon - ENS LYON, 2024. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2024ENSL0075\">&#x27E8;NNT : 2024ENSL0075&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/theses.hal.science\/tel-04904051v1\">&#x27E8;tel-04904051&#x27E9;<\/a><\/li><li>Amaury Maill\u00e9. Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing. Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale sup\u00e9rieure de lyon - ENS LYON, 2023. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2023ENSL0041\">&#x27E8;NNT : 2023ENSL0041&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/theses.hal.science\/tel-04238803v1\">&#x27E8;tel-04238803&#x27E9;<\/a><\/li><li>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\u00e9 Claude Bernard - Lyon I, 2023. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2023LYO10029\">&#x27E8;NNT : 2023LYO10029&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/tel-04211680v2\">&#x27E8;tel-04211680v2&#x27E9;<\/a><\/li><li>Julien Braine. The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays. Logic in Computer Science [cs.LO]. Universit\u00e9 de Lyon, 2022. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2022LYSEN014\">&#x27E8;NNT : 2022LYSEN014&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/theses.hal.science\/tel-03771839v1\">&#x27E8;tel-03771839&#x27E9;<\/a><\/li><li>Paul Iannetta. Compiling Trees : Combining Data Layouts and the Polyhedral Model. Data Structures and Algorithms [cs.DS]. Universit\u00e9 de Lyon, 2022. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2022LYSEN013\">&#x27E8;NNT : 2022LYSEN013&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/theses.hal.science\/tel-03771830v1\">&#x27E8;tel-03771830&#x27E9;<\/a><\/li><li>Gabriel Busnot. Parallel Standard-Compliant SystemC Simulation of Loosely-Timed Transaction Level Models. Computation and Language [cs.CL]. Universit\u00e9 de Lyon, 2020. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2020LYSE1315\">&#x27E8;NNT : 2020LYSE1315&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/theses.hal.science\/tel-03364390v1\">&#x27E8;tel-03364390&#x27E9;<\/a><\/li><li>Guillaume Iooss. Detection of linear algebra operations in polyhedral programs. Other [cs.OH]. Universit\u00e9 de Lyon; Colorado state university, 2016. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2016LYSEN019\">&#x27E8;NNT : 2016LYSEN019&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/theses.hal.science\/tel-01370553v1\">&#x27E8;tel-01370553&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">HDR thesis<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">2 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Cyril Cohen. Structuring Mathematics in Dependent Type Theory. Logic in Computer Science [cs.LO]. ENS Lyon, 2026. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/tel-05737923v1\">&#x27E8;tel-05737923&#x27E9;<\/a><\/li><li>Christophe Alias. Contributions to Program Optimization and High-Level Synthesis. Hardware Architecture [cs.AR]. ENS de Lyon, 2019. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/tel-02151877v2\">&#x27E8;tel-02151877v2&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><div class=\"grp-div\"><h3 class=\"wphal-titre-groupe\">Logiciel<span class=\"wphal-nbmetadata\" style=\"margin-left:10px\">10 document<\/span><\/h3><div class=\"grp-content\"><ul><li>Reynald Affeldt, Yves Bertot, Alessandro Bruni, Cyril Cohen, Marie Kerjean, et al.. Mathematical Components Analysis. 2025, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:5fe4b61acc38fea6066881d466ac64524e90a4cd\">&#x27E8;swh:1:dir:5fe4b61acc38fea6066881d466ac64524e90a4cd&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05038721v1\">&#x27E8;hal-05038721&#x27E9;<\/a><\/li><li>Cyril Cohen, Enzo Crance, Assia Mahboubi. Trocq. 2025, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:21f2e18a8e117e0615eb19d5554ad4a5f828f6b1\">&#x27E8;swh:1:dir:21f2e18a8e117e0615eb19d5554ad4a5f828f6b1&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05038716v1\">&#x27E8;hal-05038716&#x27E9;<\/a><\/li><li>Cyril Cohen, Pierre Roux, Kazuhiko Sakaguchi, Enrico Tassi. Hierarchy Builder. 2025, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:50c5087fc42a2f95913dada99ef4ac1cdba66d7b\">&#x27E8;swh:1:dir:50c5087fc42a2f95913dada99ef4ac1cdba66d7b&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05038713v1\">&#x27E8;hal-05038713&#x27E9;<\/a><\/li><li>Christophe Alias. Fkcc, the Farkas Calculator. 2024, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:03414ffe8c2f4512548fb5ae4480414b228fa62e;origin=https:\/\/hal.archives-ouvertes.fr\/hal-05005385;visit=swh:1:snp:63c40c7e8c0608d3aad67a76bd5e097a2afa2e22;anchor=swh:1:rel:5e8588a5a7be58be549e80115980cc3cdffa8dcc;path=\/\">&#x27E8;swh:1:dir:03414ffe8c2f4512548fb5ae4480414b228fa62e;origin=https:\/\/hal.archives-ouvertes.fr\/hal-05005385;visit=swh:1:snp:63c40c7e8c0608d3aad67a76bd5e097a2afa2e22;anchor=swh:1:rel:5e8588a5a7be58be549e80115980cc3cdffa8dcc;path=\/&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-05005385v1\">&#x27E8;hal-05005385&#x27E9;<\/a><\/li><li>Julien Emmanuel, Ludovic Henrio, Matthieu Moy, Gr\u00e9goire Pichon. S4BXI. 2024, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:a8b9f2cbefac423e6882ac2c63aa0436ae54647f;origin=https:\/\/github.com\/S4BXI\/S4BXI;visit=swh:1:snp:a30301a26aa8108ce124d4e7de8f5a0c057fa033;anchor=swh:1:rev:eaf06b9320cd8bc8fb0f32ca5eeee16231179e84\">&#x27E8;swh:1:dir:a8b9f2cbefac423e6882ac2c63aa0436ae54647f;origin=https:\/\/github.com\/S4BXI\/S4BXI;visit=swh:1:snp:a30301a26aa8108ce124d4e7de8f5a0c057fa033;anchor=swh:1:rev:eaf06b9320cd8bc8fb0f32ca5eeee16231179e84&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04999268v1\">&#x27E8;hal-04999268&#x27E9;<\/a><\/li><li>Gabriel Radanne. Dowsing. 2024, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:b93e4b399fd773bfb9397f170a8649f4552b191b\">&#x27E8;swh:1:dir:b93e4b399fd773bfb9397f170a8649f4552b191b&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04616085v1\">&#x27E8;hal-04616085&#x27E9;<\/a><\/li><li>Nicolas Chappe, Amaury Maill\u00e9, Hadrien Renaud, Ludovic Henrio, Matthieu Moy. Encore language with dataflow explicit futures. 2022, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:60eafbab23496304be3ceb2bffb2aeabd29f39cd;origin=https:\/\/gitlab.inria.fr\/lhenrio\/encorewithdatafuts.git;visit=swh:1:snp:141bcce12e8332929b40f7fac00c9952f6559589;anchor=swh:1:rev:863181c1578464fee18a6976b0ae624da8b0e125\">&#x27E8;swh:1:dir:60eafbab23496304be3ceb2bffb2aeabd29f39cd;origin=https:\/\/gitlab.inria.fr\/lhenrio\/encorewithdatafuts.git;visit=swh:1:snp:141bcce12e8332929b40f7fac00c9952f6559589;anchor=swh:1:rev:863181c1578464fee18a6976b0ae624da8b0e125&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-04999320v1\">&#x27E8;hal-04999320&#x27E9;<\/a><\/li><li>Gabriel Radanne, Tha\u00efs Baudon, Laure Gonnord. Ribbit. 2022, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https:\/\/hal.archives-ouvertes.fr\/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=\/\">&#x27E8;swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https:\/\/hal.archives-ouvertes.fr\/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=\/&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/inria.hal.science\/hal-03860442v1\">&#x27E8;hal-03860442&#x27E9;<\/a><\/li><li>Marouane Belaoucha, Christophe Alias, Denis Barthou, Sid Touati. FADAlib: an open source C++ library for fuzzy array dataflow analysis. 2021, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https:\/\/hal.archives-ouvertes.fr\/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=\/\">&#x27E8;swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https:\/\/hal.archives-ouvertes.fr\/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=\/&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-03445991v1\">&#x27E8;hal-03445991&#x27E9;<\/a><\/li><li>Hadrien Renaud. A Encore librairy implementing control flow futures on top of dataflow explicit futures. 2020, <a target=\"_blank\" href=\"https:\/\/archive.softwareheritage.org\/browse\/swh:1:dir:409184eb3c27c62e3ff996e1b1a7baf41c5b3153;origin=https:\/\/hal.archives-ouvertes.fr\/hal-02908763;visit=swh:1:snp:9a972df7a9a7d45584256fc0722e03a27d211154;anchor=swh:1:rev:fc074c0539a309fefc4d51c77f5816bc054a5fd6;path=\/\">&#x27E8;swh:1:dir:409184eb3c27c62e3ff996e1b1a7baf41c5b3153;origin=https:\/\/hal.archives-ouvertes.fr\/hal-02908763;visit=swh:1:snp:9a972df7a9a7d45584256fc0722e03a27d211154;anchor=swh:1:rev:fc074c0539a309fefc4d51c77f5816bc054a5fd6;path=\/&#x27E9;<\/a>. <a target=\"_blank\" href=\"https:\/\/hal.science\/hal-02908763v1\">&#x27E8;hal-02908763&#x27E9;<\/a><\/li><\/ul><\/div><\/div><br><\/div>\n    <\/div>\n<\/div><div class=\"wphal-footer\"><p style=\"color:#B3B2B0\">Powered by HAL&nbsp;<a href=\"https:\/\/hal.science\/\" target=\"_blank\"><img decoding=\"async\" alt=\"logo\" src=\"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/wp-content\/plugins\/hal\/img\/logo-hal.png\" style=\"width:90px\"><\/a><\/p><\/div>\n","protected":false},"excerpt":{"rendered":"<p>View CASH publications on Hal: 2021 and before, 2022 and after.<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-170","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/pages\/170","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=170"}],"version-history":[{"count":19,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/pages\/170\/revisions"}],"predecessor-version":[{"id":534,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/pages\/170\/revisions\/534"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=170"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}