UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C

J Coyle, I Roy, M Kraeva, GR Luecke - Computer Science-Research and …, 2013 - Springer
Abstract Unified Parallel C (UPC) is a language used to write parallel programs for
distributed memory parallel computers. UPC-CHECK (http://hpcgroup. public. iastate …

[PDF][PDF] A scalable deadlock detection algorithm for UPC collective operations

I Roy, GR Luecke, J Coyle, M Kraeva - PGAS, 2013 - Citeseer
Unified Parallel C (UPC) is a language used to write parallel programs for shared and
distributed memory parallel computers. Deadlock detection in UPC programs requires …