Concepedia

Emmanuelle Saillard

ES

3

Publications

57

Citations

3

H-Index

2013

Active since

Affiliations

Université de Bordeaux(Current)

Laboratoire Bordelais de Recherche en Informatique

CEA DAM Île-de-France

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Institut Polytechnique de Bordeaux

Emmanuelle Saillard is an author at Université de Bordeaux specializing in formal methods, parallel programming, and computer engineering.

ORCID

Top concepts

Publications per year

2013–2022

3

Publications

3

PARCOACH: Combining static and dynamic validation of MPI collective communications

Emmanuelle Saillard, Patrick Carribault, Denis Barthou · The International Journal of High Performance Computing Applications · 2014 · 31 citations · Full text

, , +23

Combining static and dynamic validation of MPI collective communications

Emmanuelle Saillard, Patrick Carribault, Denis Barthou · 2013 · 13 citations · Full text

, , +21

Static Local Concurrency Errors Detection in MPI-RMA Programs

Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci et al. · 2022 · 13 citations

Rows per page

1–3 of 3