Sponsored by:

National Science Foundation

(Contract  #CCF-0950678)

Project Goal

The goal of this project is to use model checking techniques to increase the dependability of

High Performance Computing (HPC) applications in the Partitioned Global Address Space (PGAS) model of shared memory parallel computing. The PGAS model provides a framework for solving science and engineering problems in which the pattern of data access by independent threads of execution is irregular (e.g., the weighted matching problem). Solving such problems using a message-passing model can be exceedingly intricate, error prone, and inefficient.

Softwar Design Laboratory at MichiganTech

Towards the Model Checking of the Partitioned Global Address Space (PGAS) Applications