Presenter Full Program · Presenters · Organizations · Search ProgramJoachim ProtzeRWTH Aachen UniversityPresentationsWorkshopRuntime Correctness Checking for Emerging Programming ParadigmsApplicationsCorrectnessDebuggingReliabilitySIGHPC WorkshopVerification