Presenter Full Program · Presenters · Organizations · Search ProgramFabio LuporiniImperial College, LondonPresentationsWorkshopTowards Self-Verification in Finite Difference Code GenerationApplicationsCorrectnessDebuggingReliabilitySIGHPC WorkshopVerification