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
-
- titre
- Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement
- auteur
- Irman Faqrizal, Gwen Salaün, Yliès Falcone
- article
- ACM Transactions on Autonomous and Adaptive Systems, In press
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Guided Evolution of IEC 61499 Applications
- auteur
- Irman Faqrizal, Gwen Salaün, Yliès Falcone
- article
- 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, IEEE, Sep 2024, Padova, Italy
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics
- auteur
- Yliès Falcone, Gwen Salaün, Ahang Zuo
- article
- QRS 2024 – 24th International Conference on Software Quality, Reliability, and Security, Jul 2024, Cambridge, United Kingdom. pp.1-12
- Accès au texte intégral et bibtex
-
- 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. pp.1-34
- 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
- Automatic generation of performance model for heterogeneous architectures
- auteur
- Nicolas Derumigny
- article
- Other [cs.OH]. Université Grenoble Alpes [2020-..]; Colorado state university, 2023. English. ⟨NNT : 2023GRALM082⟩
- 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
- Throughput Optimization Techniques for Heterogeneous Architectures
- auteur
- Nicolas Derumigny
- article
- Computer Science [cs]. Université Grenoble – Alpes; Colorado State University, 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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
- Static and dynamic approaches for the optimization of the energy consumption associated with applications of the High Performance Computing (HPC) field
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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, ⟨10.1007/s10009-016-0413-6⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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
-