SC13 Denver, CO

The International Conference for High Performance Computing, Networking, Storage and Analysis

Active-Testing and Large Scale Non-determinism Control Studies with Programmable Schedulers.


Student: Bruce Bolick (University of Utah School)
Supervisor: Ganesh Gopalakrishnan (University of Utah)

Abstract: Active-testing methods for hybrid concurrency models are essential, but poorly understood, and not yet demonstrated at scale. Today's active-testing approaches run tests on specific platforms for specific configurations. They are hard to modify once they have been written, and offer little flexibility. This research investigates how active-testing approaches can be created to be effective in the modern setting of hybrid concurrency. We are reimplementing a scheduler for a relatively mature active-tester for MPI in Scheme/Racket, a modern higher order functional language, in order to provide elegance, simplicity and extensibility. In the poster session, I will demonstrate how such a scheduler empowers large scale non-determinism control studies, facilitates search-bounding, and provides flexibility in formal verification of HPC systems.

Poster: pdf
Two-page extended abstract: pdf


Poster Index