Title	Partial Redundancy Elimination for Multi-threaded Programs
Author	Mohamed A. El-Zawawy, Hamada A. Nayel
Citation	Vol. 11  No. 10  pp. 127-133
Keywords	Partial redundancy elimination, Type systems, Multi-threaded programs, Operational semantics, Compiler optimization

Title	Dynamic Verification for File Safety of Multithreaded Programs
Author	Mohamed A. El-Zawawy, Nagwan M. Daoud
Citation	Vol. 12  No. 5  pp. 14-20
Keywords	File safety, Operational semantics, Rewriting logic, Multi-threaded programs