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
    • POPL 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 2026
    • POPL 2025
    • POPL 2024
    • POPL 2023
    • POPL 2022
    • POPL 2021
    • POPL 2020
    • POPL 2019
    • POPL 2018
    • POPL 2017
    • POPL 2016
  • Sign in
  • Sign up
POPL 2018 (series) / VMCAI 2018 (series) / 19th International Conference on Verification, Model Checking, and Abstract Interpretation /

Program Committee VMCAI

Jade Alglave

Jade Alglave

University College London

France

Roderick Bloem

Roderick Bloem

Institute of Software Technology, Graz University of Technology

small-avatar

Wei-Ngan Chin

National University of Singapore

Maria Christakis

Maria Christakis

MPI-SWS

Germany

Patrick Cousot

Patrick Cousot

Işıl Dillig

Işıl Dillig Program Co-Chair

UT Austin

Laure Gonnord

Laure Gonnord

University of Lyon & LIP, France

France

Eric Koskinen

Eric Koskinen

Stevens Institute of Technology

Laura Kovacs

Laura Kovacs

Chalmers University of Technology

Paddy Krishnan

Paddy Krishnan

Ondřej Lhoták

Ondřej Lhoták

University of Waterloo, Canada

Ruben Martins

Ruben Martins

Carnegie Mellon University

Portugal

Kenneth L. McMillan

Kenneth L. McMillan

Microsoft Research

United States

small-avatar

Daniel Neider

Max Planck Institute for Software Systems

Germany

Jens Palsberg

Jens Palsberg Program Co-Chair

University of California, Los Angeles (UCLA)

Andreas Podelski

Andreas Podelski

University of Freiburg, Germany

Germany

Corina S. Păsăreanu

Corina S. Păsăreanu

NASA Ames Research Center

Xiaokang Qiu

Xiaokang Qiu

Purdue University

United States

Noam Rinetzky

Noam Rinetzky

Tel Aviv University

Israel

Philipp Ruemmer

Philipp Ruemmer

Uppsala University

Sweden

Roopsha Samanta

Roopsha Samanta

Purdue University

Rahul Sharma

Rahul Sharma

Microsoft Research

India

Ana Sokolova

Ana Sokolova

University of Salzburg

Tachio Terauchi

Tachio Terauchi

Waseda University

Thomas Wahl

Thomas Wahl

Northeastern University

Thomas Wies

Thomas Wies

New York University

Charles Zhang

Charles Zhang

xSun 25 May 10:35

POPL 2018

contact form

using conf.researchr.org (v1.69.0)
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