POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
  • Attending
    • Venue: Omni Hotel
    • Registration
    • Code of Conduct
    • Supporting POPL
    • Childcare
    • Students
    • Visa Support Letter
    • Accessibility
    • Remote Participation
  • Program
    • Complete Program
    • Your Program
    • Proceedings
    • Filter by Day
      • Sun 7 Jan
      • Mon 8 Jan
      • Tue 9 Jan
      • Wed 10 Jan
      • Thu 11 Jan
      • Fri 12 Jan
      • Sat 13 Jan
  • Tracks
      • POPL 2018
      • Research Papers
      • TutorialFest
      • Student Research Competition
      • Workshops
      • Artifact Evaluation
      • Student Volunteers
      • Co-hosted Conferences
      • CPP
        • CPP
        • CPP
      • VMCAI
      • Workshops
      • PPS
      • CoqPL
      • NetPL
      • Off the Beaten Track
      • PEPM
      • PLMW
      • PriSC
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2018 Committees
      • Organizing Committee
      • Steering Committee
      • Track Committees
      • Research Papers
      • TutorialFest
      • Student Research Competition
      • Workshops
      • Artifact Evaluation
      • Student Volunteers
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Program Committee
      • VMCAI
        • Invited Speakers
        • Invited Tutorial
        • Organizing Committee
        • Travel Grants
        • Program Committee
      • Workshops
      • PPS
        • Program Committee
      • CoqPL
        • Organizing Committee
        • Program Committee
      • NetPL
        • Organizing Committee
      • Off the Beaten Track
        • Organizing Committee
        • Program Committee
      • PEPM
        • Programme Committee
        • Steering Committee
      • PLMW
        • Speakers
        • Panelists
        • Organizers
      • PriSC
        • Program Committee
        • Organizing Committee
      • Co-hosted Symposia
      • PADL
        • Publicity Chair
  • Search
  • Series
    • Series
    • POPL 2023
    • POPL 2022
    • POPL 2021
    • POPL 2020
    • POPL 2019
    • POPL 2018
    • POPL 2017
    • POPL 2016
  • Sign in
  • Sign up
POPL 2018 (series) / PriSC 2018 (series) / Principles of Secure Compilation /

Program Committee PriSC

Cătălin Hriţcu

Cătălin Hriţcu Program Chair

Inria Paris

Amal Ahmed

Amal Ahmed

Northeastern University, USA

United States

Lars Birkedal

Lars Birkedal

Aarhus University

Dominique Devriese

Dominique Devriese

KU Leuven

Belgium

small-avatar

Cédric Fournet

Microsoft Research

Deepak Garg

Deepak Garg

Max Planck Institute for Software Systems

Germany

Xavier Leroy

Xavier Leroy

Inria

David Naumann

David Naumann

Stevens Institute of Technology

Marco Patrignani

Marco Patrignani

Saarland University, CISPA

Germany

small-avatar

Frank Piessens

KU Leuven

Tamara Rezk

Tamara Rezk

Inria

France

Nikhil Swamy

Nikhil Swamy

Microsoft Research

United States

xThu 23 Mar 01:40

POPL 2018

contact form

using conf.researchr.org (v1.59.1)
Support page

Tracks

Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers

Co-hosted Conferences

CPP 2018
VMCAI 2018

Workshops

PPS 2018
CoqPL 2018
NetPL 2018
Off the Beaten Track 2018
PEPM 2018
PLMW 2018
PriSC 2018

Co-hosted Symposia

PADL 2018

Attending

Venue: Omni Hotel
Registration
Code of Conduct
Supporting POPL
Childcare
Students
Visa Support Letter
Accessibility
Remote Participation
Sign Up