Organization Full Program · Presenters · Organizations · Search ProgramINRIAPresentersSara HamoudaPresentationsResearch PaperResilient Optimistic Termination Detection for the Async-Finish ModelProgramming Models & LanguagesReliabilityResiliencySystem Software & Runtime Systems