UPC-CHECK: A scalable tool for detecting run-time errors in Unified Parallel C

Abstract

I would like to dedicate this thesis to my parents and to my loving sister. Without their support I would not have been able to complete this work. I would also like to thank my friends, especially my roommate for their love, care and support during the writing of this work.