Swaroop Pophale, Oscar Hernandez, Stephen W. Poole, Barbara M. Chapman. Extending the OpenSHMEM Analyzer to Perform Synchronization and Multi-valued Analysis. In Stephen W. Poole, Oscar Hernandez, Pavel Shamis, editors, OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools - First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings. Volume 8356 of Lecture Notes in Computer Science, pages 134-148, Springer, 2014. [doi]
Abstract is missing.