Return to Activities

Publications

Publications HAL du labo/EPI 408854

2019

Journal articles

titre
A Comprehensive Performance Evaluation of the BinLPT Workload-Aware Loop Scheduler
auteur
Pedro Henrique Penna, Antônio Tadeu Gomes, Márcio Castro, Patrícia Plentz, Henrique Freitas, Francois Broquedis, Jean-François Mehaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2019, pp.1-22. ⟨10.1002/cpe.5170⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01986361/file/ccpe18.pdf BibTex
titre
EagerMap: A Task Mapping Algorithm to Improve Communication and Load Balancing in Clusters of Multicore Systems
auteur
Eduardo Cruz, Matthias Diener, Laércio Lima Pilla, Philippe Navaux
article
ACM Transactions on Parallel Computing, Association for Computing Machinery, 2019, 5 (4), pp.17. ⟨10.1145/3309711⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02062952/file/eagermap.pdf BibTex
titre
Optimal Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01262444/file/MSCS-Hal-v4.pdf BibTex

Conference papers

titre
Service Placement in Fog Computing Using Constraint Programming
auteur
Farah Ait Salaht, Frédéric Desprez, Adrien Lebre, Charles Prud’Homme, Mohamed Abderrahim
article
SCC 2019 – IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.1-9
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02108806/file/SCC_2019.pdf BibTex
titre
Instrumental Data Management and Scientific Workflow Execution: the CEA case study
auteur
Francieli Zanon Boito, Jean-François Méhaut, Thierry Deutsch, Brice Videau, Frédéric Desprez
article
IPDPSW 2019 – International Parallel and Distributed Processing Symposium Workshops (MPP – Parallel Programming Model), May 2019, Rio de Janeiro, Brazil. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02076963/file/mpp2019%20%281%29.pdf BibTex
titre
Data-Flow/Dependence Profiling for Structured Transformations
auteur
Fabian Gruber, Manuel Selva, Diogo Sampaio, Christophe Guillon, Antoine Moynault, Louis-Noël Pouchet, Fabrice Rastello
article
PPoPP 2019 – 24th Symposium on Principles and Practice of Parallel Programming, Feb 2019, Washington, D.C., United States. pp.173-185, ⟨10.1145/3293883.3295737⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02060796/file/main.pdf BibTex
titre
RMem: An OS Service for Transparent Remote Memory Access in Lightweight Manycores
auteur
Pedro Henrique Penna, Matheus Souza, Emmanuel Junior, João Souto, Márcio Castro, Francois Broquedis, Henrique Cota de Freitas, Jean-François Mehaut
article
MultiProg 2019 – 25th International Workshop on Programmability and Architectures for Heterogeneous Multicores, Jan 2019, Valencia, Spain. pp.1-16
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01986366/file/multiprog19.pdf BibTex

Reports

titre
Building of a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of non-Affine Programs Scalable
auteur
Fabian Gruber, Manuel Selva, Diogo Sampaio, Christophe Guillon, Louis-Noël Pouchet, Fabrice Rastello
article
[Research Report] RR-9244, CORSE – Compiler Optimization and Run-time Systems. 2019, pp.1-24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01967828/file/rr.pdf BibTex

2018

Journal articles

titre
An Autonomic-Computing Approach on Mapping Threads to Multi-cores for Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2018, 30 (18), pp.e4506. ⟨10.1002/cpe.4506⟩
Accès au bibtex
BibTex
titre
BOAST: A metaprogramming framework to produce portable and efficient computing kernels for HPC applications
auteur
Brice Videau, Kevin Pouget, Luigi Genovese, Thierry Deutsch, Dimitri Komatitsch, Frédéric Desprez, Jean-François Méhaut
article
International Journal of High Performance Computing Applications, SAGE Publications, 2018, 32 (1), pp.28-44. ⟨http://journals.sagepub.com/⟩. ⟨10.1177/1094342017718068⟩
Accès au bibtex
BibTex
titre
Energy Efficiency and I/O Performance of Low-Power Architectures
auteur
Pablo Pavan, Ricardo Lorenzoni, Vinícius Machado, Jean Bez, Edson Padoin, Francieli Zanon Boito, Philippe Navaux, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, In press, ⟨10.1002/cpe.4948⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01784497/file/report.pdf BibTex
titre
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems – Application to the Behavior Interaction Priority Framework
auteur
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01796786/file/jlamp-ElHokayem-Falcone-Jaber.pdf BibTex

Conference papers

titre
Combining Heuristics to Optimize and Scale the Placement of IoT Applications in the Fog
auteur
Ye Xia, Xavier Etchevers, Loic Letondeur, Adrien Lebre, Thierry Coupaye, Frédéric Desprez
article
UCC 2018 – 11th IEEE/ACM Conference on Utility and Cloud Computing, Dec 2018, Zurich, Switzerland. pp.1-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01942097/file/paper-fonts.pdf BibTex
titre
Associative Instruction Reordering to Alleviate Register Pressure
auteur
Prashant Singh Rawat, Aravind Sukumaran-Rajam, Atanas Rountev, Fabrice Rastello, Louis-Noël Pouchet, P. Sadayappan
article
SC 2018 – International Conference for High Performance Computing, Networking, Storage, and Analysis, Nov 2018, Dallas, United States. pp.1-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01956260/file/sc18-hal.pdf BibTex
titre
COST Action IC1402 Runtime Verification beyond Monitoring
auteur
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sanchez, Gerardo Schneider, Volker Stolz
article
RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01900195/file/Report_on_COST_Action_for_RV2018.pdf BibTex
titre
Tracing Distributed Component-Based Systems, a Brief Overview
auteur
Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
article
Proceedings of the 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01882412/file/rv18-3.pdf BibTex
titre
Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections
auteur
Yliès Falcone
article
RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-5
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01882413/file/rv18-invited.pdf BibTex
titre
Can We Monitor All Multithreaded Programs?
auteur
Antoine El-Hokayem, Yliès Falcone
article
RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01882414/file/rv18-tutorial.pdf BibTex
titre
A Taxonomy for Classifying Runtime Verification Tools
auteur
Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel
article
RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01882410/file/rv18-1.pdf BibTex
titre
Bringing Runtime Verification Home
auteur
Antoine El-Hokayem, Yliès Falcone
article
RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01882411/file/rv18-2.pdf BibTex
titre
Reducing Global Schedulers’ Complexity Through Runtime System Decoupling
auteur
Alexandre Santana, Vinicius Freitas, Marcio Castro, Laércio Lima Pilla, Jean-François Méhaut
article
WSCAD 2018 – XIX Simpósio de Sistemas Computacionais de Alto Desempenho, Oct 2018, São Paulo, Brazil. pp.1-12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01873526/file/mogs.pdf BibTex
titre
A Batch Task Migration Approach for Decentralized Global Rescheduling
auteur
Vinicius Freitas, Alexandre Santana, Marcio Castro, Laércio Lima Pilla
article
SBAC-PAD 2018 – International Symposium on Computer Architecture and High Performance Computing, Sep 2018, Lyon, France. pp.49-56, ⟨10.1109/CAHPC.2018.8645953⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01860626/file/root.pdf BibTex
titre
Improving Power Efficiency Through Fine-Grain Performance Monitoring in HPC Clusters
auteur
Mathieu Stoffel, Abdelhafid Mazouz
article
CLUSTER 2018 – IEEE International Conference on Cluster Computing, Sep 2018, Belfast, United Kingdom. pp.552-561, ⟨10.1109/CLUSTER.2018.00071⟩
Accès au bibtex
BibTex
titre
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
auteur
Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone
article
IFM 2018 – 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01868748/file/ifm18.pdf BibTex
titre
Enhancing Multi-Threaded Legalization Through k-d Tree Circuit Partitioning
auteur
Sheiny Fabre, José Luís Güntzel, Laércio Lima Pilla, Renan Netto, Tiago Fontana, Vinicius Livramento
article
SBCCI 2018 – 31st Symposium on Integrated Circuits and Systems Design, Aug 2018, Bento Gonçalves, Brazil. pp.1-9, ⟨10.1109/SBCCI.2018.8533264⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01872451/file/kd-tree_partitioning.pdf BibTex
titre
NumaMMA: NUMA MeMory Analyzer
auteur
François Trahay, Manuel Selva, Lionel Morel, Kevin Marquet
article
ICPP 2018 – 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.1-10, ⟨10.1145/3225058.3225094⟩
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01854072/file/icpp18.pdf BibTex
titre
An FPGA target for the StarPU heterogeneous runtime system
auteur
Georgios Christodoulis, Manuel Selva, François Broquedis, Frédéric Desprez, Olivier Muller
article
13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (RECOSOC 2018), Jul 2018, Lille, France. pp.1-8
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01858951/file/recosoc.pdf BibTex
titre
Problem solving to teach advanced algorithms in heterogeneous groups
auteur
Florent Bouchez-Tichadou
article
ITiCSE 2018 – 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, Jul 2018, Larnaca, Cyprus. pp.200-205, ⟨10.1145/3197091.3197147⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01929650/file/article-post-print.pdf BibTex
titre
GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
auteur
Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, P. Sadayappan
article
PLDI 2018 – 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. pp.736-751, ⟨10.1145/3192366.3192397⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01955475/file/saake-hal.pdf BibTex
titre
Combining hardware nodes and software components ordering-based heuristics for optimizing the placement of distributed IoT applications in the fog
auteur
Ye Xia, Xavier Etchevers, Loic Letondeur, Thierry Coupaye, Frédéric Desprez
article
SAC 2018 – 33rd Annual ACM/SIGAPP Symposium on Applied Computing, Apr 2018, Pau, France. pp.751-760, ⟨10.1145/3167132.3167215⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01908928/file/p751-xia.pdf BibTex
titre
Collective I/O Performance on the Santos Dumont Supercomputer
auteur
André Ramos Carneiro, Jean Luca Bez, Francieli Zanon Boito, Bruno Fagundes, Carla Osthoff, Philippe Navaux
article
PDP 2018 – 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Mar 2018, Cambridge, United Kingdom. pp.45-52, ⟨10.1109/PDP2018.2018.00015⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01711359/file/pdp2018.pdf BibTex
titre
Register Optimizations for Stencils on GPUs
auteur
Prashant Singh, Aravind Sukumaran-Rajam, Atanas Rountev, Fabrice Rastello, Louis-Noël Pouchet, P. Sadayappan
article
PPoPP 2018 – 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2018, Vienna, Austria. pp.1-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01955542/file/ppopp18-hal.pdf BibTex

Book sections

titre
Runtime Failure Prevention and Reaction
auteur
Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha
article
Lectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01723606/file/rvbook-chapter-error-prevention-and-reaction.pdf BibTex
titre
Introduction to Runtime Verification
auteur
Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
article
Lectures on Runtime Verification. Introductory and Advanced Topics, 10457, Springer, pp.1-33, 2018, Lecture Notes in Computer Science 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01762297/file/book-chapter-introduction-to-RV.pdf BibTex

Reports

titre
Basics of Vectorization for Fortran Applications
auteur
Laércio Lima Pilla
article
[Research Report] RR-9147, Inria Grenoble Rhône-Alpes. 2018, pp.1-9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01688488/file/RR-9147.pdf BibTex

Theses

titre
Combining Heuristics for Optimizing and Scaling the Placement of IoT Applications in the Fog
auteur
Ye Xia
article
Artificial Intelligence [cs.AI]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM084⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02084327/file/XIA_2018_diffusion.pdf BibTex
titre
DSL pour la fouille des réseaux sociaux sur des architectures Multi-coeurs
auteur
Thomas Messi Nguele
article
Architectures Matérielles [cs.AR]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAM040⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01930641/file/MESSI_NGUELE_2018_diffusion.pdf BibTex
titre
Distributed runtime system with global address space and software cache coherence for a data-flow task model
auteur
François Gindraud
article
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM001⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01891061/file/GINDRAUD_2018_archivage.pdf BibTex

2017

Journal articles

titre
Design methodology for workload-aware loop scheduling strategies based on genetic algorithm and simulation
auteur
Pedro Henrique Penna, Márcio Castro, Henrique Cota de Freitas, François Broquedis, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (22), ⟨10.1002/cpe.3933⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01354028/file/main.pdf BibTex
titre
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
auteur
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
article
Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.951 – 986. ⟨10.1007/s00165-017-0422-6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653883/file/faoc1.pdf BibTex
titre
Predictive Runtime Verification of Timed Properties
auteur
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
article
Journal of Systems and Software, Elsevier, 2017, 132, pp.353 – 365. ⟨10.1016/j.jss.2017.06.060⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01666995/file/jss.pdf BibTex
titre
Formal analysis and offline monitoring of electronic exams
auteur
Ali Kassem, Yliès Falcone, Pascal Lafourcade
article
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.117 – 153. ⟨10.1007/s10703-017-0280-0⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653884/file/fmsd6.pdf BibTex
titre
Predictive runtime enforcement
auteur
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
article
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.154 – 199. ⟨10.1007/s10703-017-0271-1⟩
Accès au bibtex
BibTex
titre
Decentralized enforcement of document lifecycle constraints
auteur
Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
article
Information Systems, Elsevier, 2017, ⟨10.1016/j.is.2017.08.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653879/file/paper.pdf BibTex
titre
Social network ordering based on communities to reduce cache misses
auteur
Thomas Messi Nguélé, Maurice Tchuente, Jean-François Méhaut
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2017, Special issue CRI 2015, Volume 24 – 2016-2017 – Special issue CRI 2015, pp.23 – 47
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01304968/file/ARIMA24pp23-47_1.pdf BibTex
titre
CAP Bench: a benchmark suite for performance and energy evaluation of low-power many-core processors
auteur
Matheus A. Souza, Pedro Henrique Penna, Matheus M. Queiroz, Alyson D. Pereira, Luís Fabricio Wanderley Góes, Henrique Cota de Freitas, Márcio Castro, Philippe O.A. Navaux, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (4), ⟨http://onlinelibrary.wiley.com⟩. ⟨10.1002/cpe.3892⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01330543/file/Cap.pdf BibTex
titre
Radiation Experiments on a 28nm Single-Chip Many-core Processor and SEU error-rate prediction
auteur
Vanessa Vargas, Pablo Ramos, Vincent Ray, Camille Jalier, Renaud Stevens, Benoît Dupont de Dinechin, Maud Baylac, Francesca Villa, Solenne Rey, Nacer-Eddine Zergainoh, Jean-François Méhaut, Raoul Velazco
article
IEEE Transactions on Nuclear Science, Institute of Electrical and Electronics Engineers, 2017, 64 (1), pp.483-490. ⟨10.1109/TNS.2016.2638081⟩
Accès au bibtex
BibTex

Conference papers

titre
Using The Nanvix Operating System in Undergraduate Operating System Courses
auteur
Pedro Henrique Penna, Henrique Cota de Freitas, João Caram, Márcio Castro, Jean-François Méhaut
article
VII Brazilian Symposium on Computing Systems Engineering, Nov 2017, Curitiba, Brazil
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01635880/file/main.pdf BibTex
titre
Interactive Runtime Verification – When Interactive Debugging meets Runtime Verification
auteur
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
article
ISSRE17 – 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01592671/file/ieee.pdf BibTex
titre
BinLPT: A Novel Workload-Aware Loop Scheduler for Irregular Parallel Loops
auteur
Pedro Henrique Penna, Márcio Castro, Patrícia Plentz, Henrique Cota de Freitas, François Broquedis, Jean-François Méhaut
article
Simpósio em Sistemas Computacionais de Alto Desempenho, Oct 2017, Campinas, Brazil
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01596427/file/wscad17.pdf BibTex
titre
GREP: Games for the Runtime Enforcement of Properties
auteur
Matthieu Renard, Antoine Rollet, Yliès Falcone
article
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01678960/file/449632_1_En_16_Chapter.pdf BibTex
titre
Verifying Policy Enforcers
auteur
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
article
RV 2017 – 17th International Conference on Runtime Verification, Sep 2017, Seattle, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653894/file/rv17.pdf BibTex
titre
Dynamic Load Balancing of Monte Carlo Particle Transport Applications
auteur
Thomas Gonçalves, Marc Perache, Frédéric Desprez, Jean-François Méhaut
article
ParCo2017 – International Conference on Parallel Computing, Sep 2017, Bologna, Italy
Accès au bibtex
BibTex
titre
Using Complex-Network properties For Efficient Graph Analysis
auteur
Thomas Messi Nguélé, Maurice Tchuente, Jean-François Méhaut
article
International Conference on Parallel Computing, ParCo 2017, Foundation ParCo Conferences and Consortium Cineca, Sep 2017, Bologne, Italy. pp.413 – 422, ⟨10.3233/978-1-61499-843-3-413⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01498578/file/article_parco_contribution.pdf BibTex
titre
Runtime Enforcement Using Büchi Games
auteur
Matthieu Renard, Antoine Rollet, Yliès Falcone
article
Model Checking Software – 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01509827/file/SPIN2017-Hal-v2.pdf BibTex
titre
THEMIS: A Tool for Decentralized Monitoring Algorithms
auteur
Antoine El-Hokayem, Yliès Falcone
article
ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653727/file/themis-demo.pdf BibTex
titre
Monitoring Decentralized Specifications
auteur
Antoine El-Hokayem, Yliès Falcone
article
ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653725/file/themis.pdf BibTex
titre
Étude de l’impact d’une clause d’affinité sur les performances et l’énergie dans un support exécutif OpenMP
auteur
Philippe Virouleau
article
Compas 2017, Jun 2017, Sophia Antipolis, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01609007/file/compas-2017.pdf BibTex
titre
Simplification and Run-time Resolution of Data Dependence Constraints for Loop Transformations
auteur
Diogo Sampaio, Louis-Noël Pouchet, Fabrice Rastello
article
ICS 2017 – International Conference on Supercomputing, Jun 2017, Chicago, United States. pp.1-11, ⟨10.1145/3079079.3079098⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653819/file/ics17.pdf BibTex
titre
Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads
auteur
Pedro Henrique Penna, Eduardo Inacio, Márcio Castro, Patrícia Plentz, Henrique Cota de Freitas, François Broquedis, Jean-François Méhaut
article
International Conference on Computational Science (ICCS’17), Petros Koumoutsakos, Eleni Chatzi, Jun 2017, Zurich, Switzerland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01519205/file/ICCS_2017_paper_94.pdf BibTex
titre
Using Power Demand and Residual Load Imbalance in the Load Balancing to Save Energy of Parallel Systems
auteur
Edson Luiz Padoin, Philippe Navaux, Jean-François Méhaut
article
International Conference on Computational Science (ICCS’17), Petros Koumoutsakos, Eleni Chatzi Jun 2017, Zurich, Switzerland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01516645/file/ICCS_2017_paper_37.pdf BibTex
titre
Characterizing the Performance of Modern Architectures Through Opaque Benchmarks: Pitfalls Learned the Hard Way
auteur
Luka Stanisic, Lucas Mello Schnorr, Augustin Degomme, Franz Heinrich, Arnaud Legrand, Brice Videau
article
IPDPS 2017 – 31st IEEE International Parallel & Distributed Processing Symposium (RepPar workshop), Jun 2017, Orlando, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01470399/file/IPDPS_REPPAR_2017_camera_ready.pdf BibTex
titre
Towards Energy-Efficient Storage Servers
auteur
Vinícius Machado, Amanda Braga, Natália Rampon, Jean Bez, Francieli Boito, Rodrigo Kassick, Edson Padoin, Julien Diaz, Jean-François Méhaut, Philippe Navaux
article
32nd ACM Symposium on Applied Computing (SAC 2017), Sung Y. Shin, Apr 2017, Marrakesh, Morocco
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01519168/file/sac2017.pdf BibTex
titre
TWINS: Server Access Coordination in the I/O Forwarding Layer
auteur
Jean Luca Bez, Francieli Zanon Boito, Lucas Schnorr, Philippe Navaux, Jean-François Méhaut
article
25th Euromicro International Conference on Parallel, Distributed and Networked-based Processing, Igor Kotenko, Mar 2017, St. Petersburg, Russia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01515047/file/pdp2017-twins-hal.pdf BibTex
titre
Optimizing the Four-Index Integral Transform Using Data Movement Lower Bounds Analysis
auteur
Samyam Rajbhandari, Fabrice Rastello, Karol Kowalski, Sriram Krishnamoorthy, P. Sadayappan
article
PPoPP 2017 – 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2017, Austin, United States. pp.327 – 340, ⟨10.1145/3018743.3018771⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653823/file/PPOPP17%20%281%29.pdf BibTex

2016

Journal articles

titre
Organising LTL Monitors over Distributed Systems with a Global Clock
auteur
Christian Colombo, Yliès Falcone
article
Formal Methods in System Design, Springer Verlag, 2016, 49 (1-2), pp.50. ⟨http://link.springer.com/article/10.1007%2Fs10703-016-0251-x⟩. ⟨10.1007/s10703-016-0251-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01315776/file/fmsd4.pdf BibTex
titre
Decentralised LTL Monitoring
auteur
Andreas Bauer, Yliès Falcone
article
Formal Methods in System Design, Springer Verlag, 2016, 48 (1-2), pp.48. ⟨http://link.springer.com/article/10.1007%2Fs10703-016-0253-8⟩. ⟨10.1007/s10703-016-0253-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01313730/file/fmsd3-author.pdf BibTex
titre
Evaluating the SEE sensitivity of a 45nm SOI Multi-core Processor due to 14 MeV Neutrons
auteur
Pabo Ramos, Vanessa Vargas, M. Baylac, F. Villa, S. Rey, Juan Antonio Clemente, Nacer-Eddine Zergainoh, Jean-François Méhaut, Raoul Velazco
article
IEEE Transactions on Nuclear Science, Institute of Electrical and Electronics Engineers, 2016, 63 (4), pp.2193 – 2200. ⟨10.1109/TNS.2016.2537643⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01280648/file/Ramos.pdf BibTex
titre
Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events
auteur
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
article
Science of Computer Programming, Elsevier, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01281727/file/SCP-final.pdf BibTex
titre
Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery
auteur
Yliès Falcone, Mohamad Jaber
article
Software Tools for Technology Transfer (STTT), Springer, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01262658/file/sttt3-rebip-Falcone-Jaber.pdf BibTex
titre
Seismic Wave Propagation Simulations on Low-power and Performance-centric Manycores
auteur
Márcio Castro, Emilio Francesquini, Fabrice Dupros, Hideo Aochi, Philippe Navaux, Jean-François Mehaut
article
Parallel Computing, Elsevier, 2016, ⟨10.1016/j.parco.2016.01.011⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01273153/file/Parco-revised.pdf BibTex

Conference papers

titre
The Mont-Blanc prototype: An Alternative Approach for HPC Systems
auteur
Nikola Rajovic, Alejandro Rico, Filippo Mantovani, Daniel Ruiz, Josep Vilarrubi, Constantino Gomez, Diego Nieto, Harald Servat, Xavier Martorell, Jesus Labarta, Chris Adeniyi-Jones, Said Derradji, Hervé Gloaguen, Piero Lanucara, Nico Sanna, Jean-François Méhaut, Kevin Pouget, Brice Videau, Eric Boyer, Momme Allalen, Axel Auweter, David Brayford, Daniele Tafani, Volker Weinberg, Dirk Brömmel, Rene Halver, Jan Meinke, Ramon Beivide, Mariano Benito, Enrique Vallejo, Mateo Valero, Alex Ramirez
article
International Conference for High Performance Computing, Networking, Storage and Analysis (SC), Nov 2016, Salt Lake City, United States
Accès au bibtex
BibTex
titre
A domain-specific compiler for a parallel multiresolution adaptive numerical simulation environment
auteur
Rajbhandari Samyam, Kim Jinsung, Krishnamachari Sriram, Fabrice Rastello, Louis-Noël Pouchet, Robert J. Harrison, Sadayappan Ponnuswamy
article
SC 2016 – International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2016, Salt-Lake City, United States
Accès au bibtex
BibTex
titre
Description, Implementation and Evaluation of an Affinity Clause for Task Directives
auteur
Philippe Virouleau, Adrien Roussel, François Broquedis, Thierry Gautier, Fabrice Rastello, Jean-Marc Gratien
article
IWOMP 2016, Oct 2016, Nara, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01343442/file/iwomp2016.pdf BibTex
titre
Programming-Model Centric Debugging for OpenMP
auteur
Kevin Pouget, Jean-François Méhaut, Miguel Santana
article
2nd OpenMPCon Developpers Conference, Oct 2016, Nara, Japan
Accès au bibtex
BibTex
titre
Third International Competition on Runtime Verification CRV 2016
auteur
Giles Reger, Sylvain Hallé, Yliès Falcone
article
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01428834/file/rv16-1.pdf BibTex
titre
First International Summer School on Runtime Verification
auteur
Christian Colombo, Yliès Falcone
article
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01428838/file/rv16-2.pdf BibTex
titre
Decentralized Enforcement of Artifact Lifecycles
auteur
Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Ylìès Falcone
article
EDOC 2016, Sep 2016, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01365315/file/edoc16.pdf BibTex
titre
Using data dependencies to improve task-based scheduling strategies on NUMA architectures
auteur
Philippe Virouleau, François Broquedis, Thierry Gautier, Fabrice Rastello
article
Euro-Par 2016, Aug 2016, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01338761/file/europar2016.pdf BibTex
titre
Control of Autonomic Parallelism Adaptation on Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
article
International Conference on High Performance Computing & Simulation (HPCS 2016) , Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309195/file/HPCS_ZHOU.pdf BibTex
titre
Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
article
13th IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Wurzburg, Germany. pp.189 – 198, ⟨10.1109/ICAC.2016.54⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309681/file/AutonomicComputingSTM.pdf BibTex
titre
Amélioration des stratégies d’ordonnancement sur architectures NUMA à l’aide des dépendances de données
auteur
Philippe Virouleau
article
Compas 2016, Jul 2016, Lorient, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01338750/file/compas2016.pdf BibTex
titre
Autonomic Parallelism Adaptation for Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Éric Rutten, Jean-François Méhaut
article
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS), Jul 2016, Lorient, France
Accès au bibtex
BibTex
titre
Vérification interactive de propriétés à l’exécution d’un programme avec un débogueur
auteur
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
article
Compas’2016, Jul 2016, Lorient, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01331973/file/paper.pdf BibTex
titre
Modularizing Crosscutting Concerns in Component-Based Systems
auteur
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
article
14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01305083/file/sefm16.pdf BibTex
titre
A bounded memory allocator for software-defined global address spaces
auteur
François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis
article
ISMM 2016 – 2016 ACM SIGPLAN International Symposium on Memory Management, Jun 2016, Santa Barbara, United States
Accès au bibtex
BibTex
titre
Effective padding of multidimensional arrays to avoid cache conflict misses
auteur
Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, Sadayappan Ponnuswany
article
PLDI 2016: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2016, Santa Barbara, United States
Accès au bibtex
BibTex
titre
Generalized cache tiling for dataflow programs
auteur
Łukasz Domagała, Duco Van Amstel, Fabrice Rastello
article
Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, ACM SIGPLAN/SIGBED, Jun 2016, Santa Barbara, United States. pp.10, ⟨10.1145/2907950.2907960⟩
Accès au bibtex
BibTex
titre
Monitoring Multi-Threaded Component-Based Systems
auteur
Hosein Nazarpour, Ylìès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
article
12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01285579/file/ifm16.pdf BibTex
titre
Efficient Heuristics for Placing Large-Scale Distributed Applications on Multiple Clouds
auteur
Pedro Silva, Christian Pérez, Frédéric Desprez
article
CCGrid 2016 – 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2016, Cartagena, Colombia. ⟨10.1109/CCGrid.2016.77⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01301382/file/p_silva_et_al_ccgrid_2016.pdf BibTex
titre
Predictive Runtime Enforcement *
auteur
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
article
SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244369/file/Final-Version.pdf BibTex
titre
On fusing recursive traversals of K-d trees
auteur
Rajbhandari Samyam, Kim Jinsung, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, Sadayappan Ponnuswany
article
Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Mar 2016, Barcelona, Spain
Accès au bibtex
BibTex
titre
PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
auteur
Wenlei Bao, Krishnamachari Sriram, Louis-Noël Pouchet, Fabrice Rastello, Sadayappan Ponnuswamy
article
Proceedings of the 43nd Annual Symposium on Principles of Programming Languages, 2016, Jan 2016, St Petersburg, United States
Accès au bibtex
BibTex
titre
Building and Auto-Tuning Computing Kernels: Experimenting with BOAST and StarPU in the GYSELA Code
auteur
Julien Bigot, Virginie Grandgirard, Guillaume Latu, Jean-François Méhaut, Luís Felipe Millani, Chantal Passeron, Steven Quinito Masnada, Jérôme Richard, Brice Videau
article
CEMRACS 2016 – Numerical challenges in parallel scientific computing, 2016, Marseille, France. pp.152 – 178, ⟨10.1051/proc/201863152⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01909325/file/CEMRACS.pdf BibTex

Book sections

titre
Wavelet-Based Density Functional Theory on Massively Parallel Hybrid Architectures
auteur
Luigi Genovese, Brice Videau, Damien Caliste, Jean-François Méhaut, Stefan Goedecker, Thierry Deutsch
article
Ross Walker. Electronic Structure Calculations on Graphics Processing Units: From Quantum Chemistry to Condensed Matter Physics, Wiley-Blackwell, 2016, 1118661788
Accès au bibtex
BibTex

Reports

titre
High-Level Synthesis of Pipelined FSM from Loop Nests
auteur
Christophe Alias, Fabrice Rastello, Alexandru Plesco
article
[Research Report] 8900, INRIA. 2016, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01301334/file/RR-8900.pdf BibTex
titre
Autonomic Parallelism Adaptation on Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Éric Rutten, Jean-François Méhaut
article
[Research Report] RR-8887, Univ. Grenoble Alpes; INRIA Grenoble. 2016, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01279599/file/RR-8887.pdf BibTex

Theses

titre
Profile Guided Hybrid Compilation
auteur
Diogo Sampaio
article
Computer Science [cs]. Université Grenoble-Alpes, 2016. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01428425/file/NunesSampaio_Diogo.pdf BibTex
titre
Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory
auteur
Naweiluo Zhou
article
Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM045⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01408450/file/ZHOU_2016_diffusion.pdf BibTex
titre
Optimisation de la localité des données sur architectures manycœurs
auteur
Duco Van Amstel
article
Architectures Matérielles [cs.AR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM019⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01358312/file/VANAMSTEL_2016_archivage.pdf BibTex

2015

Journal articles

titre
ComprehensiveBench: a Benchmark for the Extensive Evaluation of Global Scheduling Algorithms
auteur
Laércio Lima Pilla, Tiago Bozetti, Marcio Castro, Philippe Navaux, Jean-François Méhaut
article
Journal of Physics: Conference Series, IOP Publishing, 2015, pp.1-12
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01183558/file/JPCS.pdf BibTex
titre
Faithful Performance Prediction of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures
auteur
Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2015, pp.16. ⟨10.1002/cpe.3555⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01147997/file/CCPE14_article.pdf BibTex
titre
Runtime Verification: the Application Perspective
auteur
Ylìès Falcone, Lenore Zuck
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248423/file/STTT-intro-RV.pdf BibTex
titre
On the Energy Efficiency and Performance of Irregular Application Executions on Multicore, NUMA and Manycore Platforms
auteur
Emilio Francesquini, Márcio Castro, Pedro Penna, Fabrice Dupros, Henrique Freitas, Philippe Olivier Alexandre Navaux, Jean-François Méhaut
article
Journal of Parallel and Distributed Computing, Elsevier, 2015, 76, pp. 32-48. ⟨10.1016/j.jpdc.2014.11.002⟩
Accès au texte intégral et bibtex
https://hal-brgm.archives-ouvertes.fr/hal-01092325/file/Francesquini_et_al_JPDC_2014.pdf BibTex
titre
Performance/energy trade-off in scientific computing: the case of ARM big.LITTLE and Intel Sandy Bridge
auteur
Edson Luiz Padoin, Francieli Z. Boito, Laércio Lima Pilla, Marcio Bastos Castro, Philippe Olivier Alexandre Navaux, Jean-François Mehaut
article
IET Computers & Digital Techniques, Institution of Engineering and Technology, 2015, 9 (1), pp.1-9. ⟨www.ietdl.org⟩. ⟨10.1049/iet-cdt.2014.0074⟩
Accès au bibtex
BibTex
titre
On Using the Roofline Model with Lower Bounds on Data Movement
auteur
Venmugil Elango, Naser Sedaghati, Fabrice Rastello, Louis-Noël Pouchet, Jagannathan Ramanujam, Radu Teodorescu, P. Sadayappan
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2015, 11 (4), pp.67:1–67:23
Accès au bibtex
BibTex
titre
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
auteur
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
article
Software & Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248420/file/Sosym-author-version_Falcone-et-al.pdf BibTex
titre
Enforcement and Validation (at runtime) of Various Notions of Opacity
auteur
Yliès Falcone, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 (4), pp.531-570. ⟨http://dx.doi.org/10.1007/s10626-014-0196-4⟩. ⟨10.1007/s10626-014-0196-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00987985/file/main.pdf BibTex

Conference papers

titre
Exploitation de la structure en communautés pour la réduction de défauts de cache dans la fouille des réseaux sociaux
auteur
Thomas Messi Nguélé, Maurice Tchuenté, Jean-François Mehaut
article
Conférence de Recherche en Informatique (CRI), Dec 2015, Yaoundé, Cameroun
Accès au bibtex
BibTex
titre
Fast and Accurate Simulation of Multithreaded Sparse Linear Algebra Solvers
auteur
Luka Stanisic, Emmanuel Agullo, Alfredo Buttari, Abdou Guermouche, Arnaud Legrand, Florent Lopez, Brice Videau
article
The 21st IEEE International Conference on Parallel and Distributed Systems, Dec 2015, Melbourne, Australia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01180272/file/QRMSTARSG_article.pdf BibTex
titre
Energy-Aware Massively Distributed Cloud Facilities: The DISCOVERY Initiative
auteur
Frédéric Desprez, Shadi Ibrahim, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Anthony Simonet
article
IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia. pp.476 – 477, ⟨10.1109/DSDIS.2015.58⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01338456/file/poster.pdf BibTex
titre
Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
article
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185238/file/ICTAC_version_longue_HAL.pdf BibTex
titre
Uma Metodologia Baseada em Simulação e Algoritmo Genético para Exploração de Estratégias de Escalonamento de Laços
auteur
Pedro Henrique Penna, Marcio Castro, Henrique Freitas, Francois Broquedis, Jean-François Méhaut
article
WSCAD 2015 – Simpósio em Sistemas Computacionais de Alto Desempenho, SBC, Oct 2015, Florianópolis, Brazil
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01239916/file/main.pdf BibTex
titre
Data Mining Approach to Temporal Debugging of Embedded Streaming Applications
auteur
Oleg Iegorov, Alexandre Termier, Vincent Leroy, Jean-François Méhaut, Miguel Santana
article
15th International Conference on Embedded Software (EMSOFT’2015), Oct 2015, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01178782/file/197-EM31.pdf BibTex
titre
Runtime pointer disambiguation
auteur
Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lambrineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira
article
Proceedings of the 2015 International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2015, Oct 2015, Pittsburgh, United States. pp.18
Accès au bibtex
BibTex
titre
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
article
RV’2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244446/file/Tipex-Final.pdf BibTex
titre
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
auteur
Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi, Akihito Iwai, Grigore Rosu
article
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_24⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248350/file/rv15-3.pdf BibTex
titre
Monitoring Electronic Exams
auteur
Ali Kassem, Yliès Falcone, Pascal Lafourcade
article
6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. pp.16, ⟨10.1007/978-3-319-23820-3_8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248349/file/rv15-1.pdf BibTex
titre
Second International Competition on Runtime Verification
auteur
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
article
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_27⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248351/file/rv15-4.pdf BibTex
titre
Dynamic Detection and Mitigation of DMA Races in MPSoCs
auteur
Selma Saidi, Yliès Falcone
article
18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. ⟨10.1109/DSD.2015.77⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248352/file/dsd15.pdf BibTex
titre
Runtime Enforcement for Component-Based Systems
auteur
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
article
Symposium on Applied Computing – Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248353/file/sac15.pdf BibTex
titre
Performance comparison between Java and JNI for optimal implementation of computational micro-kernels
auteur
Nassim Halli, Henri-Pierre Charles, Jean-François Méhaut
article
ADAPT 2015 : The 5th International Workshop on Adaptive Self-tuning Computing Systems, Jan 2015, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01277940/file/1412.6765v1.pdf BibTex
titre
On Characterizing the Data Access Complexity of Programs
auteur
Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, Jagannathan Ramanujam, Ponnuswamy Sadayappan
article
42nd Annual Symposium on Principles of Programming Languages, 2015, Jan 2015, Mumbai, India. pp.567-580
Accès au bibtex
BibTex
titre
Reducing trace size in multimedia applications endurance tests
auteur
Serge Vladimir Emteu Tchagou, Alexandre Termier, Jean-François Méhaut, Brice Videau, Miguel Santana, René Quiniou
article
Design, Automation & Test in Europe Conference & Exhibition (DATE) , 2015, Grenoble, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01093576/file/date2015_final_serge.pdf BibTex

Book sections

titre
Programmation et Exploitation des Platesformes HPC: Défis et challenges
auteur
François Bodin, Jean-François Méhaut
article
Clés du futur, TERATEC, 2015, ⟨www.teratec.eu⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01174302/file/BodinMehaut.pdf BibTex

Leave a Reply

Your email address will not be published.

Time limit is exhausted. Please reload CAPTCHA.