Presenter Full Program · Presenters · Organizations · Search ProgramMatthias S. MüllerRWTH Aachen UniversityPresentationsWorkshopRuntime Correctness Checking for Emerging Programming ParadigmsApplicationsCorrectnessDebuggingReliabilitySIGHPC WorkshopVerification