Emmanuelle SAILLARD
Emmanuelle Saillard Doctorant (CEA)

Équipe LaBRI : Supports et Algorithmes pour les Applications Numériques hAutes performanceS
Courrier électronique : emmanuelle.saillardarobaselabri.fr
Bureau : 0
Tél : +33 (0)5 40 00


Extrait de publications


Emmanuelle Saillard, Koushik Sen, Wim Lavrijsen, Costin Iancu. Maximizing Communication Overlap with Dynamic Program Analysis. International Conference on High Performance Computing in Asia-Pacific Region, Jan 2018, Tokyo, Japan. ⟨hal-01937407⟩

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault. PARCOACH Extension for a Full-Interprocedural Collectives Verification. Second International Workshop on Software Correctness for HPC Applications, Nov 2018, Dallas, United States. ⟨hal-01937316⟩

Emmanuelle Saillard, Patrick Carribault, Denis Barthou. MPI Thread-Level Checking for MPI+OpenMP Applications. Euro-Par 2015, Aug 2015, Vienne, Austria. pp.31-42, ⟨10.1007/978-3-662-48096-0_3⟩. ⟨hal-01199718⟩

Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. European MPI Users' Group Meeting , Sep 2015, Bordeaux, France. ⟨10.1145/1235⟩. ⟨hal-01252321⟩

Emmanuelle Saillard, Hugo Brunie, Patrick Carribault, Denis Barthou. PARCOACH Extension for Hybrid Applications with Interprocedural Analysis. 9th International Workshop on Parallel Tools for High Performance Computing, Sep 2015, Dresden, Germany. pp.135 - 146, ⟨10.1007/978-3-319-39589-0_11⟩. ⟨hal-01420655⟩


Page mise à jour le 13/08/2010 à 10:56