SCM 2017 Contributors -

Wed 18 - Fri 20 January 2017

co-located with POPL 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (13)

A Amal AhmedAhmed, Amal Northeastern University Committee Member in Organizing Committee within the SCM-track
B Frédéric BessonBesson, Frédéric Software Fault Isolation avec CompCert
D Dominique DevrieseDevriese, Dominique iMinds - Distrinet, KU LeuvenBelgium Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing Committee Member in Organizing Committee within the SCM-track
G Deepak GargGarg, Deepak MPI-SWS, GermanyGermany Committee Member in Organizing Committee within the SCM-track
H Cătălin HriţcuHriţcu, Cătălin Inria Paris What is Secure Compilation? Part II (Short talk) Committee Member in Organizing Committee within the SCM-track
N David NaumannNaumann, David Stevens Institute of Technology Can relational logic facilitate secure compilation? (Short talk)
P Marco PatrignaniPatrignani, Marco MPI-SWS, Germany What is Secure Compilation? Part I Committee Member in Organizing Committee within the SCM-track
Daniel PattersonPatterson, Daniel Northeastern University Linking Types: Secure compilation of multi-language programs
Jonathan ProtzenkoProtzenko, Jonathan Microsoft ResearchUnited States Security preserving compilation of low-level programs embedded in F*
R Tamara RezkRezk, Tamara INRIA Committee Member in Organizing Committee within the SCM-track
Christine RizkallahRizkallah, Christine University of Pennsylvania, USAUnited States Cogent: Where we Stand and What Comes Next (Short talk)
S Gabriel SchererScherer, Gabriel Northeastern UniversityUnited States Full Abstraction for Language Design (Short talk)
Lau SkorstengaardSkorstengaard, Lau Enforcing Well-Bracketed Control Flow on a Capability Machine using Local Capabilities