POPL 2017
Sun 15 - Sat 21 January 2017
Sun 15 Jan 2017 16:45 - 17:30 at Salle 109, Barre 44-54 - Session IV
Security preserving compilation of low-level programs embedded in F* (20160115 SCM.pptx)903KiB

Sun 15 Jan

SCM-2017
16:00 - 17:30: SCM - Session IV at Salle 109, Barre 44-54
SCM-2017148449240000016:00 - 16:45
Talk
File Attached
SCM-2017148449510000016:45 - 17:30
Talk
Jonathan ProtzenkoMicrosoft Research
File Attached