Presenter DIGITAL EVENT · AGENDA · CONTRIBUTORS · ORGANIZATIONS · SEARCH PROGRAM · FAVORITES Agenda · CONTRIBUTORS · Organizations · Search Program · FavoritesMore…Search ProgramFavoritesJan-Patrick LehrTU DarmstadtPresentationsWorkshopCompiler-assisted Correctness Checking and Performance Optimization for HPC