Organization DIGITAL EVENT · AGENDA · CONTRIBUTORS · ORGANIZATIONS · SEARCH PROGRAM · FAVORITES Agenda · CONTRIBUTORS · Organizations · Search Program · FavoritesMore…Search ProgramFavoritesINRIAPresentersVan Man NguyenEmmanuelle SaillardPresentationsWorkshopCompiler-assisted Correctness Checking and Performance Optimization for HPC