Compiling for Multiple Processors

Data-Parallel Languages

• The ZPL machine-independent data-parallel programming language.

False Sharing

• Eliminating False Sharing
• Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations

Flow Analysis

• Computing Per-Process Summary Side-Effect Information

Inter-Processor Protocols

• Protocol Compilation: High Performance Communication for Parallel Programs. Using the compiler to remove message-passing protocol processing overheads.

Synchronization

• QuickThreads -- Build fast portable threads quickly barrier synchronization in O(lg2 nprocs) instead of the traditional O(lg2 nthreads).
• Static Analysis of Barrier Synchronization in Explicitly Parallel Programs