Presenter Full Program · Presenters · Organizations · Search ProgramJan HuckelheimImperial College, LondonPresentationsWorkshopVerifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated CodeApplicationsCorrectnessDebuggingReliabilitySIGHPC WorkshopVerificationWorkshopTowards Self-Verification in Finite Difference Code GenerationApplicationsCorrectnessDebuggingReliabilitySIGHPC WorkshopVerification