Hybrid approach for data-flow analysis of MPI programs

Proceedings of the International Conference on Supercomputing

Volumn , Issue , 2013, Pages 455-

  Aananthakrishnan, Sriram ^a   Bronevetsky, Greg ^b   Gopalakrishnan, Ganesh ^a  

^a UNIVERSITY OF UTAH   (United States)

^b LAWRENCE LIVERMORE NATIONAL LABORATORY   (United States)

Author keywords

data flow analysis; MPI; parallel control flow graph

Indexed keywords

CONTROL-FLOW GRAPHS; CONVENTIONAL TECHNIQUES; DYNAMIC TECHNIQUES; HYBRID APPROACH; HYBRID METHOD; IN-BUILDINGS; INCREASING COSTS; MPI;

GRAPHIC METHODS;

COMPUTER AIDED LANGUAGE TRANSLATION;

EID: 84879803087     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2464996.2467286     Document Type: Conference Paper

References (5)

1. Strout. M, Kreaseck. B, Hovland. P D., Data-Flow Analysis for MPI Programs, ICPP '06
2. Shires. D, Pollock. L,Sprenkle. S, Program Flow Graph Construction For Static Analysis of MPI Programs, PDPTA 1999
3. Bronevetsky. G, Communication-Sensitive Static data-flow for Parallel Message Passing Applications, CGO '09
4. Bronevetsky. G, Burke. M, Aananthakrishnan. S, Zhao. J, Sarkar. V, Compositional data-flow via Abstract Transition Systems, (TR)
5. Quinlan. D, ROSE Compiler,http://www.rosecompiler.org