People

Ali Ebnenasir (PI)
Steve S. Seidel (co-PI)
Aly Farahat (PhD student)















Softwar Design Laboratory at MichiganTech

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