While the HPCS languages (Chapel, Fortress and X10) have introduced improvements in programmer productivity, several challenges still remain in delivering high performance. In the absence of optimization, the high-level ...

In bacteria and viruses, recombination and horizontal gene transfer (HGT) permit the direct exchange or acquisition of DNA into the genome from species other than the "parent". Two major challenges face attempts at ...

An ideal debugging system should provide the programmer with an interface to his parallel/distributed application that is consistent with that level of abstraction used in creating the application, while insulating him ...

Measurements of actual supercomputer cache performance has not been previously undertaken. PFC-Sim is a program-driven event tracing facility that can simulate data cache performance of very long programs. PFC-Sim simulates ...

This dissertation presents a new protocol that allows rollback-recovery and process replication to co-exist in a distributed system. The protocol relies on a novel data structure called the antecedence graph, which tracks ...

Recent work in the area of software engineering has centered on the creation of sophisticated environments to enhance the development and maintenance of computer programs. One goal of this effort is to provide the programmer ...

Programming by the traditional methods of text editing and batch compilation is no longer necessary. The advent of the personal workstation and bitmap graphics allows us to construct integrated programming environments, ...

Procedure calls have long been recognized as an impediment to performance in compiled code. This happens because procedure calls hide information from the compiler. Interprocedural constant propagation attempts to discover ...

Automatic Differentiation is a computational technique that allows the evaluation of derivatives of functions defined by computer programs. Derivatives are calculated by applying the chain rule of differential calculus to ...

The goal of our work is to develop techniques that accurately and efficiently simulate the behavior of computer systems with cache memories. This thesis describes the design, analysis, and validation of three such methods ...