- Ali Ebnenasir, "UPC-SPIN: A Framework for A Framework for the Model Checking of UPC Programs", To appear in the Fifth Partitioned Global Address Space Conference (PGAS), Galveston Island, Texas, 2011.
- Ali Ebnenasir and M. A. Alipour. Identifying satisfying subsets: A method for algorithmic correction of inter-thread synchronization mechanisms. Technical Report CS-TR-10-01, Computer Science
Department, Michigan Technological University, Houghton, Michigan, March 2010.

Softwar Design Laboratory at MichiganTech

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