Emmanuelle SAILLARD
Emmanuelle Saillard Chargé de Recherches (INRIA)

É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


Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault. Multi-Valued Expression Analysis for Collective Checking. EuroPar, Aug 2019, Göttingen, Germany. ⟨hal-02390025⟩

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, 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⟩

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⟩


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