View CASH publications on Hal
39 documents
Journal articles
- 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, Elsevier, 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, EPTCS, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩. ⟨hal-02303148⟩
- Ludovic Henrio. Pourquoi créer des nouveaux langages de programmation ?. Interstices, INRIA, 2019. ⟨hal-02008111⟩
Conference papers
- 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⟩
- Julien Braine, Laure Gonnord. Proving array properties using data abstraction. Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States. ⟨hal-02948081v2⟩
- 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⟩
- 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, Guillaume Iooss, Sanjay Rajopadhye. On the Verification of Polyhedral Program Transformations. 18th International Conference on High Performance Computing & Simulation (HPCS 2020), 3rd Special Session on Compiler Architecture, Design and Optimization (CADO 2020), Jan 2020, Barcelona, Spain. ⟨hal-03106070⟩
- 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. ⟨hal-02416253⟩
- 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, 2020, Lyon, France. ⟨hal-03048742⟩
- 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. 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⟩
- 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 communications
- 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⟩
Preprints, Working Papers, ...
- Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye. Monoparametric Tiling of Polyhedral Programs. 2021. ⟨hal-02493164v2⟩
Reports
- Paul Iannetta, Laure Gonnord, Lionel Morel. On optimizing scalar self-rebalancing trees. [Research Report] RR-9343, INRIA LIP; 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⟩
Theses
- 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⟩
Habilitation à diriger des recherches
- Christophe Alias. Contributions to Program Optimization and High-Level Synthesis. Hardware Architecture [cs.AR]. ENS de Lyon, 2019. ⟨tel-02151877⟩