Cédric CHEVALIER
Cédric Chevalier travaille dans une équipe de R&D du CEA la spécialité est le calcul parallèle pour la simulation numérique à grande échelle.
Ses principaux centres d’intérêts sont le calcul combinatoire, en particulier les problèmes de partitionnement, de maillage, de graphe ou de nombres ; et les algorithmes d’algèbre linéaire creuse.
Principaux thèmes de recheche
Partitionnement
Pour les problèmes de répartition de charge ou de numérotation. Ces problèmes combinatoires sont en général traités sous la forme de problèmes de partitionnement de nombres, de vecteurs de nombres, de graphes ou de maillages.
Deux thèses ont été conduites sur ce thème et une troisième est en cours. Le logiciel Coupe est le fruit de ses travaux.
Algèbre linéaire
Plus précisément l’algèbre creuse et les méthodes itératives pour la résolution de grands systèmes linéaires. Les travaux portent avant tout sur l’implantation et la composition des logiciels de résolution, dans le cadre du logiciel Alien.
Performance et précision numérique
Les optimisations logicielles et matérielles autour des calculs flottants peuvent changer les résultats. L’étude de ces changements et comment les gérer a donné lieu à une thèse, dont est issu le logiciel Shaman.
Autres centres d’intérêts
Calcul haute performance
La bonne exploitation des ressources des calculateurs est cruciale. Par l’étude de mini-applications, il est possible de comprendre comment améliorer l’utilisation des nouvelles architectures. Cette activité donne lieu à de nombreux stages.
Techniques de programmation
De nouveaux langages et paradigmes de programmation voient le jour, promettant des codes plus robustes et plus performants. Leur évaluation dans un contexte de calcul scientifique est important et donne lieu à des stages. En particulier l’écosystème Rust fait l’objet d’un suivi approfondi.
ACM Transactions on Mathematical Software, Volume 48, Issue 4, 2023
abstract
Abstract
Floating-point numbers represent only a subset of real numbers. As such, floating-point arithmetic introduces approximations that can compound and have a significant impact on numerical simulations. We introduce encapsulated error, a new way to estimate the numerical error of an application and provide a reference implementation, the Shaman library. Our method uses dedicated arithmetic over a type that encapsulates both the result the user would have had with the original computation and an approximation of its numerical error. We thus can measure the number of significant digits of any result or intermediate result in a simulation. We show that this approach, although simple, gives results competitive with state-of-the-art methods. It has a smaller overhead, and it is compatible with parallelism, making it suitable for the study of large-scale applications.
CEA, LIHPC Computational Geometry group, 2022-06
ECCOMAS Congress 2022 - 8th European Congress on Computational Methods in Applied Sciences and Engineering, 2022-11
2022-12
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), p. 9-16, 2021-06
2020 Proceedings of the SIAM Workshop on Combinatorial Scientific Computing, p. 85-95, 2020
2018 Proceedings of the SIAM Workshop on Combinatorial Scientific Computing (CSC), Society for Industrial and Applied Mathematics, p. 66-75, 2018-01
Conférence d'informatique en Parallélisme, Architecture et Système (Compas'2016), 2016-07
Euro-Par 2016: Parallel Processing - 22nd International European Conference on Parallel and Distributed Computing, Grenoble, FR, August 24-26, 2016, Proceedings, p. 196-208, 2016
CSC 16, p. 2, 2016-10
Conférence d'informatique En Parallélisme, Architecture et Système (COMPAS), 2016-07
Purdue Univ., West Lafayette, IN (United States); Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Argonne National Lab. (ANL), Argonne, IL (United States), 2015-01
ROADEF - 15ème Congrès Annuel de La Société Française de Recherche Opérationnelle et d'aide à La Décision, Société française de recherche opérationnelle et d'aide à la décision, 2014-02
CSC 14, p. 2, 2014
Graph Partitioning, John Wiley & Sons, Ltd, p. 65-80, 2013
Scientific Programming, Hindawi Ltd, p. 129-150, 2012
The Eighth International Conference on Engineering Computational Technology, p. 4, 2012
Parallel Partitioning, Coloring, and Ordering in Scientific Computing, Chapman & Hall/Crc Press, p. 351-371, 2012
Journal of Physics: Conference Series, p. 12008, 2009-07
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 191-205, 2009
2009
Proc. of 2009 Dagstuhl Seminar on Combinatorial Scientific Computing, 2009
Proposed for publication in Parallel Computing., Sandia National Laboratories (SNL), Albuquerque, NM, and Livermore, CA (United States), 2008-12
Parallel Computing, p. 318-331, 2008
PPAM 2007 - Seventh International Conference on Parallel Processing and Applied Mathematics, 2007-09
Université Sciences et Technologies - Bordeaux I, 2007-09
Euro-Par 2006 Parallel Processing, Springer, p. 243-252, 2006