Organization <Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening Now · MapsMore…Search ProgramMy ScheduleHappening NowMapsIT Center, RWTH Aachen UniversityContributorsMarc-André HermannsJoachim JenkeNiko SakicSimon SchwitanskiFelix TomskiPresentationsWorkshopToward Correctness Checking of MPI Partitioned Communication in MUST Applications Software Engineering W