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⟩

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 Cea, Denis Barthou. Static/Dynamic Validation of MPI Collective Communications in Multi-threaded Context. the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2015, San Francisco, United States. pp.279-280, ⟨10.1145/2688500.2688548⟩. ⟨hal-01253204⟩


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