Building a High-Performance Collective Communication LibraryInterprocessor collective communication library (intercomVerification of object-oriented programs with invariants
