Sites Inria

Version française

CASH Research team

CASH team publications

2019

Journal articles

titre
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
auteur
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
article
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02303148/file/1908.10042.pdf BibTex
titre
Pourquoi créer des nouveaux langages de programmation ?
auteur
Ludovic Henrio
article
Interstices, INRIA, 2019, ⟨https://interstices.info/pourquoi-creer-des-nouveaux-langages-de-programmation/⟩
Accès au bibtex
BibTex

Conference papers

titre
Godot: All the Benefits of Implicit and Explicit Futures
auteur
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
article
ECOOP 2019 - 33rd European Conference on Object-Oriented Programming, Jul 2019, London, France. pp.1-28
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02302214/file/LIPIcs-ECOOP-2019-2.pdf BibTex
titre
Verification of concurrent design patterns with data
auteur
Simon Bliudze, Ludovic Henrio, Eric Madelaine
article
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Copenhagen, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02143782/file/paper_18.pdf BibTex
titre
On Reachability in Parameterized Phaser Programs
auteur
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
article
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⟩
Accès au bibtex
https://arxiv.org/pdf/1811.07142 BibTex
titre
Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration
auteur
Amir Charif, Gabriel Busnot, Rania Mameesh, Tanguy Sassolas, Nicolas Ventroux
article
RAPIDO2019 - 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2019, Valence, Spain. pp.1-8, ⟨10.1145/3300189.3300192⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02023805/file/rapido_2019_CEA_COPYRIGHT_DOI.pdf BibTex
titre
Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
auteur
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
article
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01939659/file/vmcai19_binary_cr_authorversion.pdf BibTex

Habilitation à diriger des recherches

titre
Contributions to Program Optimization and High-Level Synthesis
auteur
Christophe Alias
article
Hardware Architecture [cs.AR]. ENS de Lyon, 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02151877/file/hdr-alias.pdf BibTex

2018

Conference papers

titre
Practicing Domain-Specific Languages: From Code to Models
auteur
Laure Gonnord, Sébastien Mosser
article
14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01865448/file/edusymp18_GM._cr.pdf BibTex
titre
Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories
auteur
Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac
article
RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01891599/file/rsp2018.pdf BibTex
titre
Polyhedral Dataflow Programming: a Case Study
auteur
Romain Fontaine, Laure Gonnord, Lionel Morel
article
SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01855997/file/finalversion_hal_sbacpad18_FGM.pdf BibTex
titre
Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes
auteur
Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac
article
Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01891398/file/compas2018.pdf BibTex
titre
Du code aux modèles, des modèles au code: enseigner les langages dédiés (DSL)
auteur
Laure Gonnord, Sébastien Mosser
article
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01816239/file/CAL-CIEL2018_paper_1.pdf BibTex
titre
Parallel Code Generation of Synchronous Programs for a Many-core Architecture
auteur
Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
article
DATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01667594/file/date2018.pdf BibTex
titre
Improving Communication Patterns in Polyhedral Process Networks
auteur
Christophe Alias
article
HIP3ES 2018 - Sixth International Workshop on High Performance Energy Efficient Embedded Systems, Jan 2018, Manchester, United Kingdom. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01725143/file/final.pdf BibTex

Reports

titre
Semantic Array Dataflow Analysis
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki
article
[Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01954396/file/RR-9232.pdf BibTex
titre
Monoparametric Tiling of Polyhedral Programs
auteur
Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
article
[Research Report] RR-9233, INRIA Grenoble - Rhone-Alpes. 2018, pp.1-28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01952593/file/RR-9233.pdf BibTex
titre
FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks
auteur
Christophe Alias
article
[Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01818585/file/RR-9187.pdf BibTex
titre
Semantic Polyhedral Model for Arrays and Lists
auteur
Laure Gonnord, Paul Iannetta, Lionel Morel
article
[Research Report] RR-9183, Inria Grenoble Rhône-Alpes; UCBL; LIP - ENS Lyon; CEA List. 2018, pp.1-28
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01815759/file/RR-9183.pdf BibTex

2017

Reports

titre
Improving Communication Patterns in Polyhedral Process Networks
auteur
Christophe Alias
article
[Research Report] RR-9131, INRIA Grenoble - Rhône-Alpes. 2017, pp.1-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01665155/file/RR-9131.pdf BibTex

2016

Theses

titre
Detection of linear algebra operations in polyhedral programs
auteur
Guillaume Iooss
article
Other [cs.OH]. Université de Lyon; Colorado state university, 2016. English. ⟨NNT : 2016LYSEN019⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01370553/file/IOOSS_Guillaume_2016LYSEN019_These.pdf BibTex