Automated Verification of UPC Memory Consistency

Workshop on Verified Software: Theories, Tools, Experiments (VSTTE), Seattle, WA, 2006
Author(s): O. Thorsen and C. Wallace
( pdf )

A Performance model for fine-grain accesses in UPC

Proc. of the IPDPS (April, 2006)
Author(s): Z. Zhang and S. Seidel
( pdf | ps | ppt )

A UPC runtime system based on MPI and POSIX threads

14th Euromicro Conf. on Parallel, Distributed and Network-based Processing (February, 2006)
Author(s): Z. Zhang, J. Savant and S. Seidel
( pdf | ppt )

Performance benchmarks of current UPC systems

Proc. of the IPDPS 2005 PMEO Workshop (April, 2005)
Author(s): Zhang, Z., and S. Seidel
( pdf | ppt )

UPC collectives operation specification (V1.0)

Appendix B in UPC: Distributed Shared-Memory Programming, El-Ghazawi, et al., Wiley, 2005
Author(s): Seidel, S., D. Greenberg, and E. Wiebel

The UPC memory model: Problems and prospects.

International Parallel and Distributed Processing Symposium (IPDPS), Santa Fe, NM, 2004
Author(s): W. Kuchera and C. Wallace
( pdf )

UPC Collectives Specification V1.0

December 12th, 2003
Author(s): E. Wiebel, D. Greenberg and S. Seidel
( pdf )

A Performance Model for Unified Parallel C

Technical Report 07-04 (Ph.D. Dissertation), Michigan Technological University, Department of Computer Science (2007) Author(s): Z. Zhang
( pdf | ps )

Automated Verification of UPC Memory Consistency

(M.S. Thesis), Michigan Technological University, Department of Computer Science (2006)
Author(s): O. Thorsen
( pdf )

A Unified Parallel C Implementation for the Maximum Clique Problem

Technical Report 05-01, Michigan Technological University, Department of Mathematical Sciences (February, 2005)
Author(s): L. Thimm, D. Kreher and P. Merkey
( pdf | ps )

A Specification of The Extensions to The Collective Operations of Unified Parallel C

Technical Report 05-08, Michigan Technological University, Department of Computer Science (2005)
Author(s): Z. Ryne and S. Seidel
( pdf | ps )

Implementing UPC's MYSYNC Synchronization Mode Using Pairwise Synchronization of Threads

Technical Report 05-07, Michigan Technological University, Department of Computer Science (2005)
Author(s): P. Dhamne and S. Seidel
( pdf | ps )

Implementing Sort in UPC: Performance and Optimization

Technical Report 05-06, Michigan Technological University, Department of Computer Science (2005)
Author(s): K. Begum and S. Seidel
( pdf | ps )

High Performance Unified Parallel C (UPC) Collectives for Linux/Myrinet Platforms

Technical Report 04-05, Michigan Technological University, Department of Computer Science (August, 2004)
Author(s): A. Mishra and S. Seidel
( pdf | ps )

Illuminating the UPC memory model

M.S. Thesis, Michigan Technological University, Department of Computer Science (2003)
Author(s): W. Kuchera
( pdf | ps.gz )

Illustrative test cases for the UPC memory model.

Technical Report 03-02, Michigan Technological University, Department of Computer Science, 2003.
Author(s): W. Kuchera and C. Wallace
( pdf | ps.gz )

Toward a programmer-friendly formal specification of the UPC memory model.

Technical Report 03-01, Michigan Technological University, Department of Computer Science, 2003.
Author(s): W. Kuchera and C. Wallace
( pdf | ps.gz )

MuPC: A Run Time System for Unified Parallel C

Technical Report CS-TR-02-03, Department of Computer Science, Michigan Technological University
Authors: J. Savant and S. Seidel (September 2002)
( PDF | PS )

High Performance Parallel Programming with Unified Parallel C (UPC)

Supercomputing '05 tutorial (November, 2005)
Author(s): El-Ghazawi, T., S. Seidel, and P. Merkey
( ppt )

Report of the UPC Collective Communication Working Group

UPC Workshop, George Washington University, May 5-6, 2003
( ppt | html )

UPC collective operations

(March 19th, 2003)
Author(s): S. Seidel
( ppt )

Toward a programmer-friendly formal specification of the UPC memory model.

Poster presented at Supercomputing 2002.
Author(s): W. Kuchera and C. Wallace
( html )

Report of the UPC Collective Communication Working Group

UPC Workshop, George Washington University, March 12-13, 2002.
( html )