Thierry Gautier

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 28

Top Venues

Publications

Romain Pereira, Adrien Roussel, Miwako Tsuji, Patrick Carribault, Mitsuhisa Sato, Hitoshi Murai, Thierry Gautier
An Overview on Mixing MPI and OpenMP Dependent Tasking on A64FX. HPC Asia Workshops (2024)
Pierre-Étienne Polet, Ramy Fantar, Thierry Gautier
Introducing Moldable Tasks in OpenMP. IWOMP (2023)
Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier
Investigating Dependency Graph Discovery Impact on Task-based MPI+OpenMP Applications Performances. ICPP (2023)
Romain Pereira, Maël Martin, Adrien Roussel, Patrick Carribault, Thierry Gautier
Suspending OpenMP Tasks on Asynchronous Events: Extending the Taskwait Construct. IWOMP (2023)
Idriss Daoudi, Thierry Gautier, Samuel Thibault, Swann Perarnau
Improving Simulations of Task-Based Applications on Complex NUMA Architectures. IWOMP (2023)
Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin
The polychronous model of computation and Kahn process networks. Sci. Comput. Program. 228 (2023)
Manuel Ferat, Romain Pereira, Adrien Roussel, Patrick Carribault, Luiz Angelo Steffenel, Thierry Gautier
Enhancing MPI+OpenMP Task Based Applications for Heterogeneous Architectures with GPU Support. IWOMP (2022)
Thierry Gautier, João V. F. Lima
Evaluation of two topology-aware heuristics on level- 3 BLAS library for multi-GPU platforms. SC (Workshops) (2021)
Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas
X-Aevol: GPU implementation of an evolutionary experimentation simulator. GECCO Companion (2021)
Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs. SAMOS (2021)
Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier
Communication-Aware Task Scheduling Strategy in Hybrid MPI+OpenMP Applications. IWOMP (2021)
Cyril Labbé, Guillaume Cabanac, Rachael A. West, Thierry Gautier, Bertrand Favier, Jennifer A. Byrne
Flagging incorrect nucleotide sequence reagents in biomedical papers: To what extent does the leading publication format impede automatic error detection? Scientometrics 124 (2) (2020)
Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas, Christian Pérez
P-Aevol: An OpenMP Parallelization of a Biological Evolution Simulator, Through Decomposition in Multiple Loops. IWOMP (2020)
Thierry Gautier, João V. F. Lima
XKBlas: a High Performance Implementation of BLAS-3 Kernels on Multi-GPU Server. PDP (2020)
Idriss Daoudi, Philippe Virouleau, Thierry Gautier, Samuel Thibault, Olivier Aumage
sOMP: Simulating OpenMP Task-Based Applications with NUMA Effects. IWOMP (2020)
Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. ICECCS (2019)
Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard
Polychronous automata and their use for formal validation of AADL models. Frontiers Comput. Sci. 13 (4) (2019)
Jérôme Richard, Guillaume Latu, Julien Bigot, Thierry Gautier
Fine-Grained MPI+OpenMP Plasma Simulations: Communication Overlap with Dependent Tasks. Euro-Par (2019)
Joao Vicente Ferreira Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier
Performance and energy analysis of OpenMP runtime systems with dense linear algebra algorithms. Int. J. High Perform. Comput. Appl. 33 (3) (2019)
Hai Nam Tran, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier
Toward Efficient Many-core Scheduling of Partial Expansion Graphs. SCOPES (2018)
Thierry Gautier, Christian Pérez, Jérôme Richard
On the Impact of OpenMP Task Granularity. IWOMP (2018)
Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. RTNS (2017)
Hamid-Reza Hamidi, Shokoh Kermanshahani, Thierry Gautier
Time Collection: An Abstraction for Shared Objects in Parallel Programming. TopHPC (2017)
João V. F. Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier
Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms. SBAC-PAD (Workshops) (2017)
Philippe Virouleau, François Broquedis, Thierry Gautier, Fabrice Rastello
Using Data Dependencies to Improve Task-Based Scheduling Strategies on NUMA Architectures. Euro-Par (2016)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Comput. 57 (2016)
Philippe Virouleau, Adrien Roussel, François Broquedis, Thierry Gautier, Fabrice Rastello, Jean-Marc Gratien
Description, Implementation and Evaluation of an Affinity Clause for Task Directives. IWOMP (2016)
Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde
Formal semantics of behavior specifications in the architecture analysis and design language standard. HLDVT (2016)
João V. F. Lima, Thierry Gautier, Vincent Danjean, Bruno Raffin, Nicolas Maillard
Design and analysis of scheduling strategies for multi-CPU and multi-GPU architectures. Parallel Comput. 44 (2015)
Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Sci. Comput. Program. 106 (2015)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
Translation Validation for Clock Transformations in a Synchronous Compiler. FASE (2015)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. SCOPES (2015)
Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard
Polychronous Automata. TASE (2015)
Thierry Gautier, Jean-Louis Roch, Ziad Sultan, Bastien Vialla
Parallel algebraic linear algebra dedicated interface. PASCO (2015)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. FORTE (2015)
Raphaël Bleuse, Thierry Gautier, João V. F. Lima, Grégory Mounié, Denis Trystram
Scheduling data flow program in xkaapi: A new affinity based Algorithm for Heterogeneous Architectures. CoRR (2014)
Adnan Bouakaz, Thierry Gautier
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. MEMOCODE (2014)
Raphaël Bleuse, Thierry Gautier, João V. F. Lima, Grégory Mounié, Denis Trystram
Scheduling Data Flow Program in XKaapi: A New Affinity Based Algorithm for Heterogeneous Architectures. Euro-Par (2014)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
Parallel Computation of Echelon Forms. Euro-Par (2014)
Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin
Earliest-deadline first scheduling of multiple independent dataflow graphs. SiPS (2014)
Ke Sun, Loïc Besnard, Thierry Gautier
Optimized distribution of synchronous programs via a polychronous model. MEMOCODE (2014)
Philippe Virouleau, Pierrick Brunet, François Broquedis, Nathalie Furmento, Samuel Thibault, Olivier Aumage, Thierry Gautier
Evaluation of OpenMP Dependent Tasks with the KASTORS Benchmark Suite. IWOMP (2014)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
Parallel computation of echelon forms. CoRR (2014)
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin
Polychronous modeling, analysis, verification and simulation for timed software architectures. J. Syst. Archit. 59 (10-D) (2013)
Mathias Ettinger, François Broquedis, Thierry Gautier, Stéphane Ploix, Bruno Raffin
VtkSMP: Task-based Parallel Operators for VTK Filters. EGPGV@Eurographics (2013)
Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz
Toward polychronous analysis and validation for timed software architectures in AADL. DATE (2013)
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel
Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. 7 (5) (2013)
Marie Durand, François Broquedis, Thierry Gautier, Bruno Raffin
An Efficient OpenMP Loop Scheduler for Irregular Applications on Large-Scale NUMA Machines. IWOMP (2013)
João V. F. Lima, François Broquedis, Thierry Gautier, Bruno Raffin
Preliminary Experiments with XKaapi on Intel Xeon Phi Coprocessor. SBAC-PAD (2013)
Thierry Gautier, João V. F. Lima, Nicolas Maillard, Bruno Raffin
XKaapi: A Runtime System for Data-Flow Task Programming on Heterogeneous Architectures. IPDPS (2013)
Thierry Gautier, Fabien Le Mentec, Vincent Faucher, Bruno Raffin
X-kaapi: A Multi Paradigm Runtime for Multicore Architectures. ICPP (2013)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
Formal verification of synchronous data-flow program transformations toward certified compilers. Frontiers Comput. Sci. 7 (5) (2013)
François Broquedis, Thierry Gautier, Vincent Danjean
libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms. IWOMP (2012)
João V. F. Lima, Thierry Gautier, Nicolas Maillard, Vincent Danjean
Exploiting Concurrent GPU Operations for Efficient Work Stealing on Multi-GPUs. SBAC-PAD (2012)
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
Formal Verification of Compiler Transformations on Polychronous Equations. IFM (2012)
Julio Toss, Thierry Gautier
A New Programming Paradigm for GPGPU. Euro-Par (2012)
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic
Compositional design of isochronous systems. Sci. Comput. Program. 77 (2) (2012)
Xavier Besseron, Thierry Gautier
Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol. Euro-Par Workshops (2) (2011)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE (2011)
Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
System-level co-simulation of integrated avionics using polychrony. SAC (2011)
Pierre Manneback, Thierry Gautier, Gudula Rünger, Manuel Prieto-Matías
Introduction. Euro-Par (2) (2011)
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
Generic design of Chinese remaindering schemes CoRR (2010)
Abdoulaye Gamatié, Thierry Gautier
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. 21 (5) (2010)
Marc Tchiboukdjian, Vincent Danjean, Thierry Gautier, Fabien Le Mentec, Bruno Raffin
A Work Stealing Scheduler for Parallel Loops on Shared Cache Multicores. Euro-Par Workshops (2010)
Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic
LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE (2010)
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. Electron. Notes Theor. Comput. Sci. 263 (2010)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. ICMS (2010)
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
Generic design of Chinese remaindering schemes. PASCO (2010)
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT (2010)
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD (2010)
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
Generic design of Chinese remaindering schemes CoRR (2010)
Everton Hermann, Bruno Raffin, François Faure, Thierry Gautier, Jérémie Allard
Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations. Euro-Par (2) (2010)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops (2010)
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
LinBox founding scope allocation, parallel building blocks, and separate compilation CoRR (2010)
Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier
A metamodel for the design of polychronous systems. J. Log. Algebraic Methods Program. 78 (4) (2009)
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier
A module language for typing by contracts. NASA Formal Methods (2009)
Samir Jafar, Axel W. Krings, Thierry Gautier
Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing. IEEE Trans. Dependable Secur. Comput. 6 (1) (2009)
Mohamed-Slim Bouguerra, Thierry Gautier, Denis Trystram, Jean-Marc Vincent
A Flexible Checkpoint/Restart Model in Distributed Systems. PPAM (1) (2009)
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA (2009)
Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS (2009)
Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varrette
Dynamic Adaptation Applied to Sabotage Tolerance. PDP (2009)
Julio C. Peralta, Thierry Gautier
Towards SMV Model Checking of Signal (multi-clocked) Specifications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
Analysis of Periodic Clock Relations in Polychronous Systems. DIPES (2008)
Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard
Deque-Free Work-Optimal Parallel STL Algorithms. Euro-Par (2008)
Xavier Besseron, Thierry Gautier
Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. MCO (2008)
Xavier Besseron, Laurent Pigeon, Thierry Gautier, Samir Jafar
Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables. Tech. Sci. Informatiques 27 (3-4) (2008)
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE (2008)
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS (2008)
Thierry Gautier, Hamid-Reza Hamidi
Re-scheduling invocations of services for RPC grids. Comput. Lang. Syst. Struct. 33 (3-4) (2007)
Thierry Gautier, Jean-Louis Roch, Frédéric Wagner
Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances. International Conference on Computational Science (2) (2007)
Thierry Gautier, Xavier Besseron, Laurent Pigeon
KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. PASCO (2007)
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16 (2) (2007)
Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
Polychronous mode automata. EMSOFT (2006)
Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin
A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA (2006)
Jean-Guillaume Dumas, Thierry Gautier, Pascal Giorgi, Clément Pernet
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages CoRR (2006)
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic
Synchronous design of avionic applications based on model refinement. J. Embed. Comput. 2 (3-4) (2006)
Samir Jafar, Thierry Gautier, Axel W. Krings, Jean-Louis Roch
A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing. Euro-Par (2005)
El Mostafa Daoudi, Thierry Gautier, Aicha Kerfali, Rémi Revire, Jean-Louis Roch
Algorithmes parallèles à grain adaptatif et applications. Tech. Sci. Informatiques 24 (5) (2005)
Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. Electron. Notes Theor. Comput. Sci. 88 (2004)

Thierry Gautier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thierry Gautier