POPL 2017
Sun 15 - Sat 21 January 2017
Sun 15 Jan 2017 10:40 - 10:50 at Salle 109, Barre 44-54 - Session II
Can relational logic facilitate secure compilation? (scm17.pdf)90KiB

Sun 15 Jan

SCM-2017
10:30 - 12:00: SCM - Session II at Salle 109, Barre 44-54
SCM-2017148447260000010:30 - 10:40
Talk
Link to publication
SCM-2017148447320000010:40 - 10:50
Talk
David NaumannStevens Institute of Technology
File Attached
SCM-2017148447380000010:50 - 11:00
Talk
Gabriel SchererNortheastern University
File Attached
SCM-2017148447440000011:00 - 11:10
Talk
Christine RizkallahUniversity of Pennsylvania, USA
File Attached
SCM-2017148447530000011:15 - 12:00
Talk
File Attached