Thierry Gautier
Orcid: 0000-0002-1936-6534
According to our database1,
Thierry Gautier
authored at least 121 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region Workshops, 2024
2023
Sci. Comput. Program., June, 2023
Proceedings of the OpenMP: Advanced Task-Based, Device and Compiler Programming, 2023
Proceedings of the OpenMP: Advanced Task-Based, Device and Compiler Programming, 2023
Proceedings of the OpenMP: Advanced Task-Based, Device and Compiler Programming, 2023
Investigating Dependency Graph Discovery Impact on Task-based MPI+OpenMP Applications Performances.
Proceedings of the 52nd International Conference on Parallel Processing, 2023
2022
Enhancing MPI+OpenMP Task Based Applications for Heterogeneous Architectures with GPU Support.
Proceedings of the OpenMP in a Modern World: From Multi-device Support to Meta Programming, 2022
2021
Evaluation of two topology-aware heuristics on level- 3 BLAS library for multi-GPU platforms.
Proceedings of the 2021 SC Workshops Supplementary Proceedings, 2021
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs.
Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021
Proceedings of the OpenMP: Enabling Massive Node-Level Parallelism, 2021
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021
2020
Flagging incorrect nucleotide sequence reagents in biomedical papers: To what extent does the leading publication format impede automatic error detection?
Scientometrics, 2020
Proceedings of the 28th Euromicro International Conference on Parallel, 2020
P-Aevol: An OpenMP Parallelization of a Biological Evolution Simulator, Through Decomposition in Multiple Loops.
Proceedings of the OpenMP: Portable Multi-Level Parallelism on Modern Systems, 2020
Proceedings of the OpenMP: Portable Multi-Level Parallelism on Modern Systems, 2020
2019
Performance and energy analysis of OpenMP runtime systems with dense linear algebra algorithms.
Int. J. High Perform. Comput. Appl., 2019
Frontiers Comput. Sci., 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Fine-Grained MPI+OpenMP Plasma Simulations: Communication Overlap with Dependent Tasks.
Proceedings of the Euro-Par 2019: Parallel Processing, 2019
2018
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018
Proceedings of the Evolving OpenMP for Evolving Architectures, 2018
2017
Proceedings of the Big Data and HPC: Ecosystem and Convergence, TopHPC 2017, 2017
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017
2016
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination.
Parallel Comput., 2016
Description, Implementation and Evaluation of an Affinity Clause for Task Directives.
Proceedings of the OpenMP: Memory, Devices, and Tasks, 2016
Formal semantics of behavior specifications in the architecture analysis and design language standard.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Using Data Dependencies to Improve Task-Based Scheduling Strategies on NUMA Architectures.
Proceedings of the Euro-Par 2016: Parallel Processing, 2016
2015
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program., 2015
Design and analysis of scheduling strategies for multi-CPU and multi-GPU architectures.
Parallel Comput., 2015
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015
2014
Optimisation de l'utilisation du cache dans EUROPLEXUS.
Proceedings of the ComPAS'2014: Conférence en Parallélisme, Architecture et Système., April, 2014
Proceedings of the 2014 IEEE Workshop on Signal Processing Systems, 2014
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014
Proceedings of the Using and Improving OpenMP for Devices, Tasks, and More, 2014
Proceedings of the Euro-Par 2014 Parallel Processing, 2014
Scheduling Data Flow Program in XKaapi: A New Affinity Based Algorithm for Heterogeneous Architectures.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014
2013
Polychronous modeling, analysis, verification and simulation for timed software architectures.
J. Syst. Archit., 2013
Frontiers Comput. Sci., 2013
Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers Comput. Sci., 2013
Proceedings of the 25th International Symposium on Computer Architecture and High Performance Computing, 2013
An Efficient OpenMP Loop Scheduler for Irregular Applications on Large-Scale NUMA Machines.
Proceedings of the OpenMP in the Era of Low Power Devices and Accelerators, 2013
XKaapi: A Runtime System for Data-Flow Task Programming on Heterogeneous Architectures.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013
Proceedings of the 42nd International Conference on Parallel Processing, 2013
Proceedings of the 13th Eurographics Symposium on Parallel Graphics and Visualization, 2013
Toward polychronous analysis and validation for timed software architectures in AADL.
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012
libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms.
Proceedings of the OpenMP in a Heterogeneous World - 8th International Workshop on OpenMP, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012
2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011
Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011
2010
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems.
IEEE Trans. Parallel Distributed Syst., 2010
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation.
Proceedings of the Mathematical Software, 2010
Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
Proceedings of the Synthesis of Embedded Software, 2010
Proceedings of the Synthesis of Embedded Software, 2010
2009
IEEE Trans. Dependable Secur. Comput., 2009
J. Log. Algebraic Methods Program., 2009
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
Proceedings of the Parallel Processing and Applied Mathematics, 2009
Proceedings of the 17th Euromicro International Conference on Parallel, 2009
A module language for typing by contracts.
Proceedings of the First NASA Formal Methods Symposium, 2009
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
Proceedings of the International Conference on Embedded Software and Systems, 2009
2008
Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables.
Tech. Sci. Informatiques, 2008
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008
Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications.
Proceedings of the Modelling, 2008
Proceedings of the Distributed Embedded Systems: Design, 2008
Proceedings of the Euro-Par 2008, 2008
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008
2007
ACM Trans. Softw. Eng. Methodol., 2007
Comput. Lang. Syst. Struct., 2007
KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors.
Proceedings of the Parallel Symbolic Computation, 2007
Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007
2006
J. Embed. Comput., 2006
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006
2005
Tech. Sci. Informatiques, 2005
A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005
2004
High Performance Composition of Services with Data Dependencies on a Computational Grid.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004
Proceedings of the 18th Annual International Conference on Supercomputing, 2004
2003
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.
Proceedings of the Synchronous Languages, Applications and Programming, 2003
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29, 2003
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
2002
Proceedings of the Symbolic and Algebraic Computation, 2002
2001
ACM Trans. Softw. Eng. Methodol., 2001
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
1999
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999
Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.
Proceedings of the FM'99 - Formal Methods, 1999
Parallelism in Aldor - The Communication Library Pi<sub>it</sub> for Parallel, Distributed Computation.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1998
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
Proceedings of the Euro-Par '97 Parallel Processing, 1997
NC<sup>2</sup> computation of gcd-free basis and application to parallel algebraic numbers computation.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997
1995
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995
Proceedings of the Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), 1995
1994
PAC++ System and Parallel Algebraic Numbers Computation.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994
1991
1989
Proceedings of the Real-Time Systems Symposium, 1989
1987
Proceedings of the Functional Programming Languages and Computer Architecture, 1987
1986
IEEE Trans. Acoust. Speech Signal Process., 1986
Programming Real-Time with Events and Data Flow.
Proceedings of the Information Processing 86, 1986