Presenter DIGITAL EVENT · AGENDA · CONTRIBUTORS · ORGANIZATIONS · SEARCH PROGRAM · FAVORITES Agenda · CONTRIBUTORS · Organizations · Search Program · FavoritesMore…Search ProgramFavoritesVan Man NguyenINRIAPresentationsWorkshopCompiler-assisted Correctness Checking and Performance Optimization for HPC
