POPL 2017 (series) / SCM 2017 (series) /
SCM 2017 Program
This is the SCM 2017 program - see the full program for POPL 2017 and all affiliated events.
Filter Program
Dates
Sun 15 Jan 2017
Rooms
Salle 109, Barre 44-54
Tracks
SCM
Badges
Nothing to filter
Your Program
Nothing to filter
Sun 15 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 15 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:15 - 10:00 | |||
09:15 45mTalk | What is Secure Compilation? Part I SCM Marco Patrignani MPI-SWS, Germany Link to publication | ||
10:30 - 12:00 | |||
10:30 10mTalk | What is Secure Compilation? Part II (Short talk) SCM Cătălin Hriţcu Inria Paris Link to publication | ||
10:40 10mTalk | Can relational logic facilitate secure compilation? (Short talk) SCM David Naumann Stevens Institute of Technology File Attached | ||
10:50 10mTalk | Full Abstraction for Language Design (Short talk) SCM Gabriel Scherer Northeastern University File Attached | ||
11:00 10mTalk | Cogent: Where we Stand and What Comes Next (Short talk) SCM Christine Rizkallah University of Pennsylvania, USA File Attached | ||
11:15 45mTalk | Enforcing Well-Bracketed Control Flow on a Capability Machine using Local Capabilities SCM File Attached | ||
14:00 - 15:30 | |||
14:00 45mTalk | Linking Types: Secure compilation of multi-language programs SCM Daniel Patterson Northeastern University File Attached | ||
14:45 45mTalk | Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing SCM Dominique Devriese iMinds - Distrinet, KU Leuven File Attached | ||
16:00 - 17:30 | |||
16:00 45mTalk | Software Fault Isolation avec CompCert SCM File Attached | ||
16:45 45mTalk | Security preserving compilation of low-level programs embedded in F* SCM Jonathan Protzenko Microsoft Research File Attached | ||