View CASH publications on Hal

17 documents

Journal articles

Conference papers

  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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. 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⟩
  • 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⟩
  • 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⟩


  • 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⟩
  • Laure Gonnord, Paul Iannetta, Lionel Morel. Semantic Polyhedral Model for Arrays and Lists. [Research Report] RR-9183, Inria Grenoble Rhône-Alpes; UCBL; LIP - ENS Lyon; CEA List. 2018, pp.1-28. ⟨hal-01815759⟩
  • Christophe Alias. Improving Communication Patterns in Polyhedral Process Networks. [Research Report] RR-9131, INRIA Grenoble - Rhône-Alpes. 2017, pp.1-13. ⟨hal-01665155⟩