• Pointer Analysis for Multithreaded Programs, R. Rugina and M. Rinard. PLDI 1999
• Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation, V. Sarkar
• Precise interprocedural dependence analysis of parallel programs
• Concurrent SSA Form in the Presence of Mutual Exclusion
• Data flow equations for explicitly parallel programs
• Concurrent static single assignment form and constant propagation for explicitly parallel programs
• Parallel program graphs and their classification
• Compilation techniques for Explicitly parallel programs, Phd thesis.
• A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs
• Foundations of the C++ Concurrency Memory Model, PLDI 2008
• Pointer Analysis for Multithreaded Programs
• Issues with
• Communication optimizations for parallel C programs
• Parallelism for free: Efficient and optimal bitvector analyses for parallel programs