Publications

2024

Journal articles

titre

Bounded-memory runtime enforcement with probabilistic and performance analysis

auteur

Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone

article

Formal Methods in System Design, 2024, ⟨10.1007/s10703-024-00446-1⟩

Accès au bibtex

Conference papers

titre

Tightening I/O Lower Bounds through the Hourglass Dependency Pattern

auteur

Lionel Eyraud-Dubois, Guillaume Iooss, Julien Langou, Fabrice Rastello

article

SPAA 2024 – 36th ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2024, Nantes, France

Accès au texte intégral et bibtex

titre

Probabilistic Runtime Enforcement of Executable BPMN Processes

auteur

Yliès Falcone, Gwen Salaün, Ahang Zuo

article

FASE 2024 – 27th International Conference on Fundamental Approaches to Software Engineering, Apr 2024, Luxembourg City, Luxembourg. pp.1-21, ⟨10.1007/978-3-031-57259-3_3⟩

Accès au texte intégral et bibtex

titre

Mining Jewels Together: Debating about Programming Threshold Concepts in Large Classes

auteur

Manuel Selva, François Broquedis

article

SIGCSE 2024 – 55th ACM Technical Symposium on Computer Science Education, Mar 2024, Portland (OR), United States. pp.1-7, ⟨10.1145/3626252.3630893⟩

Accès au texte intégral et bibtex

titre

EasyTracker: A Python Library for Controlling and Inspecting Program Execution

auteur

Théo Barollet, Christophe Guillon, Manuel Selva, François Broquedis, Florent Bouchez-Tichadou, Fabrice Rastello

article

CGO 2024 – International Symposium on Code Generation and Optimization, Mar 2024, Edinburgh, United Kingdom. pp.1-14

Accès au texte intégral et bibtex

Reports

titre

CesASMe and Staticdeps: static detection of memory-carried dependencies for code analyzers

auteur

Théophile Bastian, Hugo Pompougnac, Alban Dutilleul, Fabrice Rastello

article

INRIA. 2024, pp.1-12

Accès au texte intégral et bibtex

2023

Conference papers

titre

DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes ⋆

auteur

Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem

article

AISOLA 2023 – Bridging the Gap Between AI and Reality, Oct 2023, Crete, Greece. pp.1-15

Accès au texte intégral et bibtex

titre

Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing

auteur

Chukri Soueidi, Yliès Falcone, Sylvain Hallé

article

ISSRE – 2023 IEEE 34th International Symposium on Software Reliability Engineering, Oct 2023, Florence, Italy. pp.742-751, ⟨10.1109/ISSRE59848.2023.00048⟩

Accès au texte intégral et bibtex

titre

Instrumentation for RV: From Basic Monitoring to Advanced Use Cases

auteur

Chukri Soueidi, Yliès Falcone

article

RV 2023 – 23rd International Conference on Runtime Verification, Oct 2023, Thessaloniki, Greece. pp.403-427, ⟨10.1007/978-3-031-44267-4_23⟩

Accès au texte intégral et bibtex

titre

Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM

auteur

Chukri Soueidi, Yliès Falcone

article

RV 2023 – 23rd International Conference on Runtime Verification, Oct 2023, Thessalokini, Greece. pp.327-338, ⟨10.1007/978-3-031-44267-4_17⟩

Accès au texte intégral et bibtex

titre

Sound Concurrent Traces for Online Monitoring

auteur

Chukri Soueidi, Yliès Falcone

article

SPIN 2023 – 29th International Symposium on Model Checking Software, Apr 2023, Paris, France. pp.59-80, ⟨10.1007/978-3-031-32157-3_4⟩

Accès au texte intégral et bibtex

titre

Opportunistic Monitoring of Multithreaded Programs

auteur

Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone

article

FASE 2023 – 26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.173-194, ⟨10.1007/978-3-031-30826-0_10⟩

Accès au texte intégral et bibtex

Reports

titre

Environmental Impact of Artificial Intelligence

auteur

Etienne Delort, Laura Riou, Anukriti Srivastava

article

INRIA; CEA Leti. 2023, pp.1-33

Accès au texte intégral et bibtex

Theses

titre

Throughput Optimization Techniques for Heterogeneous Architectures

auteur

Nicolas Derumigny

article

Computer Science [cs]. Université Grenoble – Alpes; Colorado State University, 2023. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

2022

Journal articles

titre

Autotuning Convolutions is Easier Than You Think

auteur

Nicolas Tollenaere, Guillaume Iooss, Stéphane Pouget, Hugo Brunie, Christophe Guillon, Albert Cohen, P. Sadayappan, Fabrice Rastello

article

ACM Transactions on Architecture and Code Optimization, 2022, pp.1-23. ⟨10.1145/3570641⟩

Accès au bibtex

Conference papers

titre

WEASY: A Tool for Modelling Optimised BPMN Processes

auteur

Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo

article

FACS 2022 – 18th International Conference on Formal Aspects of Component Software, Nov 2022, Oslo / Online, Norway. ⟨10.1007/978-3-031-20872-0_7⟩

Accès au texte intégral et bibtex

titre

Probabilistic Analysis of Industrial IoT Applications

auteur

Yliès Falcone, Irman Faqrizal, Gwen Salaün

article

IoT 2022 -The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands. ⟨10.1145/3567445.3567461⟩

Accès au texte intégral et bibtex

titre

Decentralised Runtime Verification of Timed Regular Expressions

auteur

Victor Roussanaly, Yliès Falcone

article

TIME 2022 – 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs..12⟩

Accès au texte intégral et bibtex

titre

Residual Runtime Verification via Reachability Analysis

auteur

Yliès Falcone

article

VSTTE 2022 – 14th International Conference on Verified Software: Theories, Tools, and Experiments, Oct 2022, Trento, Italy. pp.1-19

Accès au texte intégral et bibtex

titre

Runtime Verification of Kotlin Coroutines

auteur

Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider

article

RV 2022 – 22nd International Conference on Runtime Verification, Sep 2022, Tbilisi, Georgia. pp.1-19

Accès au texte intégral et bibtex

titre

DECENT: A Benchmark for Decentralized Enforcement

auteur

Florian Gallay, Yliès Falcone

article

RV 2022 – 22nd International Conference on Runtime Verification, Sep 2022, Tblisi, Georgia. pp.1-11

Accès au texte intégral et bibtex

titre

Runtime Enforcement for IEC 61499 Applications

auteur

Yliès Falcone, Gwen Salaün, Irman Faqrizal

article

SEFM 2022 – 20th International Conference on Software Engineering and Formal Methods, Sep 2022, Berlin, Germany. pp.1-17, ⟨10.1007/978-3-031-17108-6_22⟩

Accès au texte intégral et bibtex

titre

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks

auteur

Hamzah Al Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem

article

AITest 2022 – IEEE 4th International Conference On Artificial Intelligence Testing, Aug 2022, San Francisco, United States. pp.1-8

Accès au texte intégral et bibtex

titre

Robust Estimation of Laplacian Constrained Gaussian Graphical Models with Trimmed Non-convex Regularization

auteur

Mariana Vargas Vieyra

article

PODS 2022 – Workshop on Principles of Distribution Shift, Jul 2022, Baltimore, United States. pp.1-8

Accès au texte intégral et bibtex

titre

Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems

auteur

Guillaume Iooss, Albert Cohen, Dumitru Potop-Butucaru, Marc Pouzet, Vincent Bregeon, Jean Souyris, Philippe Baufreton

article

IMPACT 2022 – 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12

Accès au texte intégral et bibtex

titre

Probabilistic Model Checking of BPMN Processes at Runtime

auteur

Yliès Falcone, Gwen Salaün, Ahang Zuo

article

iFM 2022 – International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.1-17, ⟨10.1007/978-3-031-07727-2_11⟩

Accès au texte intégral et bibtex

titre

Bounded-Memory Runtime Enforcement

auteur

Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone

article

SPIN 2022 – 28th International Symposium on Model Checking of Software, May 2022, Chicago, United States. pp.114-133, ⟨10.1007/978-3-031-15077-7_7⟩

Accès au texte intégral et bibtex

titre

Capturing program models with BISM

auteur

Chukri Soueidi, Yliès Falcone

article

SAC 2022 – 37th ACM Symposium on Applied Computing – Software Verification and Testing Track, Apr 2022, Brno (Virtuel), Czech Republic. ⟨10.1145/3477314.3507239⟩

Accès au texte intégral et bibtex

titre

PALMED: Throughput Characterization for Superscalar Architectures

auteur

Nicolas Derumigny, Théophile Bastian, Fabian Gruber, Guillaume Iooss, Christophe Guillon, Louis-Noel Pouchet, Fabrice Rastello

article

CGO 2022 – International Symposium on Code Generation and Optimization, Apr 2022, Seoul, South Korea. pp.1-12

Accès au texte intégral et bibtex

titre

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes

auteur

Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo

article

WRLA 2022 – 14th International Workshop on Rewriting Logic and its Applications, Apr 2022, Munich, Germany. pp.1-18, ⟨10.1007/978-3-031-12441-9_1⟩

Accès au texte intégral et bibtex

Theses

titre

Automatic derivation of I/O complexity bounds for affine programs

auteur

Auguste Olivry

article

Computational Complexity [cs.CC]. Université Grenoble Alpes [2020-..], 2022. English. ⟨NNT : 2022GRALM022⟩

Accès au texte intégral et bibtex

2021

Journal articles

titre

The eSpiro Ventilator: An Open-Source Response to a Worldwide Pandemic

auteur

Nicolas Terzi, Fabrice Rastello, Christophe Déhan, Marion Roux, Florian Sigaud, Guillaume Rigault, Cyril Fromentin, Adrien Farrugia, Claude Guérin

article

Journal of Clinical Medicine, 2021, 10 (11), pp.1-7. ⟨10.3390/jcm10112336⟩

Accès au bibtex

titre

Monoparametric Tiling of Polyhedral Programs

auteur

Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye

article

International Journal of Parallel Programming, 2021, 49, pp.376-409. ⟨10.1007/s10766-021-00694-2⟩

Accès au texte intégral et bibtex

Conference papers

titre

Runtime Enforcement with Reordering, Healing, and Suppression

auteur

Yliès Falcone, Gwen Salaün

article

SEFM 2021 – 19th IEEE International Conference on Software Engineering and Formal Methods, Dec 2021, Virtual, United Kingdom. pp.1-20

Accès au texte intégral et bibtex

titre

Monitoring Distributed Component-Based Systems

auteur

Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga

article

FACS 2021 – 17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19

Accès au texte intégral et bibtex

titre

Decentralized LTL Enforcement

auteur

Florian Gallay, Yliès Falcone

article

GandALF 2021 – 12th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2021, Padua, France. pp.1-18

Accès au texte intégral et bibtex

titre

Semi-automated Modelling of Optimized BPMN Processes

auteur

Yliès Falcone, Gwen Salaün, Ahang Zuo

article

SCC 2021 – IEEE International Conference on Services Computing, Sep 2021, CHICAGO / Virtual, United States. pp.1-6

Accès au texte intégral et bibtex

titre

Do Common Educational Datasets Contain Static Information? A Statistical Study

auteur

Théo Barollet, Florent Bouchez-Tichadou, Fabrice Rastello

article

EDM 2021 – Conference on Educational Data Mining, Jun 2021, Paris / Virtual, France. pp.1-7

Accès au texte intégral et bibtex

titre

IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs

auteur

Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P Sadayappan, Fabrice Rastello

article

PLDI 2021 – 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2021, Virtual, Canada. ⟨10.1145/3453483⟩

Accès au texte intégral et bibtex

titre

Phase-TA: Periodicity Detection and Characterization for HPC Applications

auteur

Mathieu Stoffel, François Broquedis, Frédéric Desprez, Abdelhafid Mazouz

article

HPCS 2020 – 18th IEEE International Conference on High Performance Computing and Simulation, Mar 2021, Barcelone / Virtual, Spain. pp.1-12

Accès au texte intégral et bibtex

titre

PolyBench/Python: benchmarking Python environments with polyhedral optimizations

auteur

Miguel Á. Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, Gabriel Rodríguez

article

CC 2021 – 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Seoul, South Korea. pp.59-70, ⟨10.1145/3446804.3446842⟩

Accès au texte intégral et bibtex

Books

titre

Formal Methods in Outer Space

auteur

Ezio Bartocci, Yliès Falcone, Martin Leucker

article

Springer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩

Accès au bibtex

Theses

titre

Approches statiques et dynamiques pour l’optimisation de la consommation énergétique des applications de calcul à hautes performances

auteur

Mathieu Stoffel

article

Architectures Matérielles [cs.AR]. Université Grenoble Alpes [2020-..], 2021. Français. ⟨NNT : 2021GRALM034⟩

Accès au texte intégral et bibtex

2020

Journal articles

titre

From global choreographies to verifiable efficient distributed implementations

auteur

Mohamad Jaber, Yliès Falcone, Paul Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem

article

Journal of Logical and Algebraic Methods in Programming, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩

Accès au texte intégral et bibtex

titre

Runtime enforcement of timed properties using games

auteur

Matthieu Renard, Antoine Rollet, Yliès Falcone

article

Formal Aspects of Computing, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩

Accès au texte intégral et bibtex

titre

An overview of service placement problem in Fog and Edge Computing

auteur

Farah Ait Salaht, Frédéric Desprez, Adrien Lebre

article

ACM Computing Surveys, 2020, 53 (3), Article 65, 35 p. ⟨10.1145/3391196⟩

Accès au texte intégral et bibtex

titre

Preface to the Special Section Issue on Improving Software Quality through Formal Methods

auteur

Yliès Falcone, Leonardo Mariani

article

Software Quality Journal, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩

Accès au texte intégral et bibtex

Conference papers

titre

Efficient Tiled Sparse Matrix Multiplication through Matrix Signatures

auteur

Süreyya Emre, Aravind Sukumaran-Rajam, Fabrice Rastello, Ponnuswamy Sadayyapan

article

SC 2020 – International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2020, virtual, United States. pp.1-13

Accès au texte intégral et bibtex

titre

On the Verification of Polyhedral Program Transformations

auteur

Christophe Alias, Guillaume Iooss, Sanjay Rajopadhye

article

HPCS 2020 – 18th International Conference on High Performance Computing & Simulation, CADO 2020 – 3rd Special Session on Compiler Architecture, Design and Optimization, Oct 2020, Barcelona, Spain. pp.1-8

Accès au texte intégral et bibtex

titre

BISM: Bytecode-Level Instrumentation for Software Monitoring

auteur

Chukri Soueidi, Ali Kassem, Yliès Falcone

article

RV 2020 – 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12

Accès au texte intégral et bibtex

titre

Automated derivation of parametric data movement lower bounds for affine programs

auteur

Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, Fabrice Rastello

article

PLDI 2020 – 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2020, London, United Kingdom. pp.808-822, ⟨10.1145/3385412.3385989⟩

Accès au texte intégral et bibtex

Books

titre

Automates à états finis et langages réguliers

auteur

Yliès Falcone, Jean-Claude Fernandez

article

Dunod, pp.1-320, 2020, 9782100808465

Accès au bibtex

2019

Journal articles

titre

Building a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of Non-Affine Programs Scalable

auteur

Manuel Selva, Fabian Gruber, Diogo Sampaio, Christophe Guillon, Louis-Noël Pouchet, Fabrice Rastello

article

ACM Transactions on Architecture and Code Optimization, 2019, 16 (4), pp.1-26. ⟨10.1145/3363785⟩

Accès au texte intégral et bibtex

titre

A survey of challenges for runtime verification from advanced application domains (beyond software)

auteur

César Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o Lourenço, Dejan Nickovic, Gordon Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

article

Formal Methods in System Design, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩

Accès au texte intégral et bibtex

titre

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

auteur

Antoine El-Hokayem, Yliès Falcone

article

ACM Transactions on Software Engineering and Methodology, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩

Accès au texte intégral et bibtex

titre

A Comprehensive Performance Evaluation of the BinLPT Workload-Aware Loop Scheduler

auteur

Pedro Henrique Penna, Antônio Tadeu A. Gomes, Márcio Castro, Patrícia Plentz, Henrique Cota De Freitas, Francois Broquedis, Jean-François Mehaut

article

Concurrency and Computation: Practice and Experience, 2019, 31 (18), pp.1-22. ⟨10.1002/cpe.5170⟩

Accès au texte intégral et 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, 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩

Accès au texte intégral et 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, 2019, 5 (4), pp.17. ⟨10.1145/3309711⟩

Accès au texte intégral et bibtex

Conference papers

titre

On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores

auteur

Pedro Henrique Penna, João Souto, Davidson Francis Lima, Márcio Castro, François Broquedis, Henrique H Freitas, Jean-François Mehaut

article

SBESC 2019 – IX Brazilian Symposium on Computing Systems Engineering, Nov 2019, Natal, Brazil. pp.1-31

Accès au texte intégral et bibtex

titre

Analytical Cache Modeling and Tilesize Optimization for Tensor Contractions

auteur

Rui Li, Aravind Sukumaran-Rajam, Richard Veras, Tze Meng Low, Fabrice Rastello, Atanas Rountev, Ponnuswamy Sadayappan

article

SC 2019 – International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2019, Denver, United States. pp.1-13, ⟨10.1145/3295500.3356218⟩

Accès au texte intégral et bibtex

titre

Detecting Fault Injection Attacks with Runtime Verification

auteur

Ali Kassem, Yliès Falcone

article

SPRO 2019 – 3rd International Workshop on Software PROtection, Nov 2019, Londres, United Kingdom. pp.65-76, ⟨10.1145/3338503.3357724⟩

Accès au texte intégral et bibtex

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.19-27, ⟨10.1109/SCC.2019.00017⟩

Accès au texte intégral et 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, May 2019, Rio de Janeiro, Brazil. pp.850-857, ⟨10.1109/IPDPSW.2019.00139⟩

Accès au texte intégral et 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

titre

RMem: An OS Service for Transparent Remote Memory Access in Lightweight Manycores

auteur

Pedro Henrique Penna, Matheus Souza, Emmanuel Podestá 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

Book sections

titre

On the Runtime Enforcement of Timed Properties

auteur

Yliès Falcone, Srinivas Pinisetty

article

Proceedings of the Runtime Verification 2019 conference, Springer, pp.48-69, 2019, ⟨10.1007/978-3-030-32079-9_4⟩

Accès au texte intégral et bibtex

titre

International Competition on Runtime Verification (CRV)

auteur

Ezio Bartocci, Yliès Falcone, Giles Reger

article

Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019., Springer, pp.41-49, 2019, ⟨10.1007/978-3-030-17502-3_3⟩

Accès au texte intégral et bibtex

Reports

titre

An overview of service placement problem in Fog and Edge Computing

auteur

Farah Ait Salaht, Frédéric Desprez, Adrien Lebre

article

[Research Report] RR-9295, Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP, LYON, France. 2019, pp.1-43

Accès au texte intégral et bibtex

titre

Interactive Runtime Verification: Formal Models, Algorithms, and Implementation

auteur

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut

article

[Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019

Accès au texte intégral et bibtex

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

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, 2018, 30 (18), pp.e4506. ⟨10.1002/cpe.4506⟩

Accès au bibtex

titre

Energy Efficiency and I/O Performance of Low-Power Architectures

auteur

Pablo J Pavan, Ricardo K 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, 2018, ⟨10.1002/cpe.4948⟩

Accès au texte intégral et 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

ESAIM: Proceedings, 2018, CEMRACS 2016 – Numerical challenges in parallel scientific computing, 63 (2018), pp.152 – 178. ⟨10.1051/proc/201863152⟩

Accès au texte intégral et 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, 2018, 32 (1), pp.28-44. ⟨10.1177/1094342017718068⟩

Accès au 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, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩

Accès au texte intégral et 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, ⟨10.1109/UCC.2018.00024⟩

Accès au texte intégral et bibtex

titre

Associative Instruction Reordering to Alleviate Register Pressure

auteur

Prashant Singh Rawat, Aravind Sukumaran-Rajam, Atanas Rountev, Fabrice Rastello, Louis-Noël Pouchet, Ponnuswamy 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis

auteur

Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Ponnuswamy 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

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

titre

Collective I/O Performance on the Santos Dumont Supercomputer

auteur

André Ramos Carneiro, Jean Luca Bez, Francieli Zanon Boito, Bruno Alves 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

titre

Register Optimizations for Stencils on GPUs

auteur

Prashant Singh, Aravind Sukumaran-Rajam, Atanas Rountev, Fabrice Rastello, Louis-Noël Pouchet, Ponnuswamy 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

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

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

Books

titre

Lectures on Runtime Verification. Introductory and Advanced Topics

auteur

Ezio Bartocci, Yliès Falcone

article

Springer, 10457, pp.1-240, 2018, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩

Accès au texte intégral et 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

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

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, 2017, 29 (22), ⟨10.1002/cpe.3933⟩

Accès au texte intégral et 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, 2017, 29 (6), pp.951 – 986. ⟨10.1007/s00165-017-0422-6⟩

Accès au texte intégral et 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, 2017, 132, pp.353 – 365. ⟨10.1016/j.jss.2017.06.060⟩

Accès au texte intégral et 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, 2017, 51 (1), pp.154 – 199. ⟨10.1007/s10703-017-0271-1⟩

Accès au bibtex

titre

Formal analysis and offline monitoring of electronic exams

auteur

Ali Kassem, Yliès Falcone, Pascal Lafourcade

article

Formal Methods in System Design, 2017, 51 (1), pp.117 – 153. ⟨10.1007/s10703-017-0280-0⟩

Accès au texte intégral et 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, 2017, ⟨10.1016/j.is.2017.08.002⟩

Accès au texte intégral et bibtex

titre

Social network ordering based on communities to reduce cache misses

auteur

Thomas Messi Messi Nguélé, Maurice Tchuente, Jean-François Méhaut

article

Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2017, Special issue CRI 2015, Volume 24 – 2017 – Special issue CRI 2015, pp.23 – 47. ⟨10.46298/arima.1448⟩

Accès au texte intégral et 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 Deives Pereira, Luís Fabricio Wanderley Góes, Henrique Cota de Freitas, Márcio Castro, Philippe Olivier Alexandre Navaux, Jean-François Méhaut

article

Concurrency and Computation: Practice and Experience, 2017, 29 (4), ⟨10.1002/cpe.3892⟩

Accès au texte intégral et 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, 2017, 64 (1), pp.483-490. ⟨10.1109/TNS.2016.2638081⟩

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

titre

Assessing the Performance of the SRR Loop Scheduler with Irregular Workloads

auteur

Pedro Henrique Penna, Eduardo C 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

titre

Using Power Demand and Residual Load Imbalance in the Load Balancing to Save Energy of Parallel Systems

auteur

Edson Luiz Padoin, Philippe O.A. 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

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), May 2017, Orlando, United States

Accès au texte intégral et bibtex

titre

Le complexe fortifié protohistorique de Cucuruzzu (Levie, Corse-du-Sud) : travaux anciens, recherches récentes et mise en valeur

auteur

Kewin Peche-Quilichini, Marie-Laurence Marchetti, Aurélien Tafani

article

L’Habitat Pré- et protohistorique / L’alloghju prestoricu è protostoricu, Jean Sicurani, Apr 2017, Calvi, France

Accès au 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

titre

TWINS: Server Access Coordination in the I/O Forwarding Layer

auteur

Jean Luca Bez, Francieli Zanon Boito, Lucas M Schnorr, Philippe O.A. 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

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

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, 2016, 49 (1-2), pp.50. ⟨10.1007/s10703-016-0251-x⟩

Accès au texte intégral et bibtex

titre

Decentralised LTL Monitoring

auteur

Andreas Bauer, Yliès Falcone

article

Formal Methods in System Design, 2016, 48 (1-2), pp.48. ⟨10.1007/s10703-016-0253-8⟩

Accès au texte intégral et bibtex

titre

Evaluating the SEE sensitivity of a 45nm SOI Multi-core Processor due to 14 MeV Neutrons

auteur

Pabo Ramos, Vanessa Vargas, Maud Baylac, Francesca Villa, Solenne Rey, Juan Antonio Clemente, Nacer-Eddine Zergainoh, Jean-François Méhaut, Raoul Velazco

article

IEEE Transactions on Nuclear Science, 2016, 63 (4), pp.2193 – 2200. ⟨10.1109/TNS.2016.2537643⟩

Accès au texte intégral et 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, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩

Accès au texte intégral et bibtex

titre

Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery

auteur

Yliès Falcone, Mohamad Jaber

article

International Journal on Software Tools for Technology Transfer, 2016

Accès au texte intégral et 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, 2016, ⟨10.1016/j.parco.2016.01.011⟩

Accès au texte intégral et bibtex

Conference papers

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

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

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. pp.61-73, ⟨10.1007/978-3-319-45550-1_5⟩

Accès au texte intégral et 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

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

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

titre

Decentralized Enforcement of Artifact Lifecycles

auteur

Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone

article

EDOC 2016, Sep 2016, Vienne, Austria

Accès au texte intégral et 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

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

HPCS 2016 – International Conference on High Performance Computing & Simulation, Jul 2016, Innsbruck, Austria. pp.180-187, ⟨10.1109/HPCSim.2016.7568333⟩

Accès au texte intégral et 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

ICAC 2016 – 13th IEEE International Conference on Autonomic Computing, Jul 2016, Wurzburg, Germany. pp.189 – 198, ⟨10.1109/ICAC.2016.54⟩

Accès au texte intégral et 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

titre

Autonomic Parallelism Adaptation for Software Transactional Memory

auteur

Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Éric Rutten, Jean-François Méhaut

article

ComPAS 2016 – Conférence francophone d’informatique en parallélisme, architecture et système, Jul 2016, Lorient, France

Accès au 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

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

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

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, Jagannathan 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

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

titre

Monitoring Multi-Threaded Component-Based Systems

auteur

Hosein Nazarpour, Yliè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

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

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

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

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 {ACM SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, Jan 2016, St Petersburg, United States

Accès au 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

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

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

Theses

titre

Profile guided hybrid compilation

auteur

Diogo Nunes Sampaio

article

Automatic Control Engineering. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM082⟩

Accès au texte intégral et 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

2015

Journal articles

titre

3D RECORDING METHODOLOGY APPLIED TO THE GROTTA SCRITTA PREHISTORIC ROCK-SHELTER IN OLMETA-DI-CAPOCORSO (CORSICA, FRANCE)

auteur

Pierre Grussenmeyer, Albane Burens-Carozza, Samuel Guillemin, Emmanuel Alby, Allegrini Franck, Marie-Laurence Marchetti

article

ISPRS International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015, XL-5/W7 (XL-5/W7), pp.179-185. ⟨10.5194/isprsarchives-XL-5-W7-179-2015⟩

Accès au bibtex

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, 2015, pp.1-12

Accès au texte intégral et 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, 2015, pp.16. ⟨10.1002/cpe.3555⟩

Accès au texte intégral et bibtex

titre

Runtime Verification: the Application Perspective

auteur

Yliès Falcone, Lenore D. Zuck

article

International Journal on Software Tools for Technology Transfer, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩

Accès au texte intégral et 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 Henrique Penna, Fabrice Dupros, Henrique Cota De Freitas, Philippe Olivier Alexandre Navaux, Jean-François Méhaut

article

Journal of Parallel and Distributed Computing, 2015, 76, pp. 32-48. ⟨10.1016/j.jpdc.2014.11.002⟩

Accès au texte intégral et 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, 2015, 9 (1), pp.1-9. ⟨10.1049/iet-cdt.2014.0074⟩

Accès au 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, 2015, 11 (4), pp.67:1–67:23. ⟨10.1145/2693656⟩

Accès au bibtex

titre

Enforcement and Validation (at runtime) of Various Notions of Opacity

auteur

Yliès Falcone, Hervé Marchand

article

Discrete Event Dynamic Systems, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩

Accès au texte intégral et 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 and Systems Modeling, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩

Accès au texte intégral et 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

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

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

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

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 C 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

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

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 {ACM} {SIGPLAN} International Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2015, Oct 2015, Pittsburgh, United States. pp.18

Accès au 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

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

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

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

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

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

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

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 {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Jan 2015, Mumbai, India. pp.567-580

Accès au 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

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

Accès au texte intégral et bibtex