Modern programming languages such as Java are increasingly being used to write systems programs. By " systems programs, " we mean programs that provide critical services (compilers), are long-running (Web servers), or have time-critical aspects (databases or query engines). One of the requirements of such programs is predictable behavior. Unfortunately,… (More)
The formal methods community has long known about the need to formally analyze concurrent software, but the OS community has been slow to adopt such methods. The foremost reasons for this are the cultural and knowledge gaps between formalists and OS hackers, fostered by three beliefs: inaccessibility of the tools, the disabling gap between the validated… (More)
Uintah is a component-based visual problem solving environment (PSE) designed to specifically address the unique problems inherent in running massively parallel scientific computations on terascale computing platforms. In particular, development of the Uintah system is part of the C-SAFE  effort to study the interactions between hydrocarbon fires,… (More)
ii Dedication This thesis is dedicated to my loving and supportive wife, and to my always encouraging, ever faithful parents. iii ACKNOWLEDGEMENT I would like to thank my supervising Professor, Dr. Norma Jean Mattei for her continuous guidance and encouragement throughout the duration of this thesis.
DEDICATION I want to dedicate this achievement to my family, Migue, Vero and Gabo you opened the doors of your home and took me there for all this time helping me to accomplish this important goal in my life. Mami, here and in the distance you have always been there to guide me and comfort me. Migla, you have always believed in me and encouraged me to trust… (More)