You are in:Home/Publications/Partial Redundancy Elimination for Multi-threaded Programs | |
Dr. Hamada Ali Mohamed Ali Nayel :: Publications: |
Title: | Partial Redundancy Elimination for Multi-threaded Programs |
Authors: | Mohamed A. El-Zawawy and Hamada A. Nayel |
Year: | 2011 |
Keywords: | Not Available |
Journal: | Not Available |
Volume: | Not Available |
Issue: | Not Available |
Pages: | Not Available |
Publisher: | Not Available |
Local/International: | International |
Paper Link: | Not Available |
Full paper | hamada ali mohamed ali_20111018.pdf |
Supplementary materials | Not Available |
Abstract: |
Multi-threaded programs have many applications which are widely used such as operating systems. Analyzing multi-threaded programs differs from sequential ones the main feature is that many threads execute at the same time. The effect of all other running threads must be taken in account. Partial redundancy elimination is among the most powerful compiler optimizations: it performs loop-invariant code motion and common subexpression elimination. We present a type system with optimization component which performs partial redundancy elimination for multi-threaded programs. |