Presenter Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening NowMore…Search ProgramMy ScheduleHappening NowChristophe ALIASFrench Institute for Research in Computer Science and Automation (INRIA), ENS LyonCommittee RolesSC Workshop Committee Member: Correctness Short Papers