Presenter Full Program · Presenters · Organizations · Search ProgramSerge PetitonMaison de la SimulationUniversity of LillePresentationsWorkshopRuntime Correctness Checking for Emerging Programming ParadigmsApplicationsCorrectnessDebuggingReliabilitySIGHPC WorkshopVerification