Dead code elimination based pointer analysis for multithreaded programs

Mohamed A. El-Zawawy

This paper presents a new approach for optimizing multitheaded programs with pointer constructs. The approach has applications in the area of certified code (proof-carrying code) w…