POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
  • Attending
    • Venue: Boston Park Plaza
    • Supporting POPL
    • Registration
    • Information for Students
    • Information for Presenters
    • Information for Virtual Attendees
    • Nearby Events
  • Program
    • POPL Program
    • Your Program
    • Filter by Day
      • Sun 15 Jan
      • Mon 16 Jan
      • Tue 17 Jan
      • Wed 18 Jan
      • Thu 19 Jan
      • Fri 20 Jan
      • Sat 21 Jan
  • Tracks
      • POPL 2023
      • POPL
      • Session Previews
      • Artifact Evaluation
      • Diversity, Equity and Inclusion
      • Student Research Competition
      • Student Volunteers
      • TutorialFest
      • Workshops and Co-located Events
      • Co-hosted Conferences
      • CPP
      • VMCAI
      • Workshops
      • CoqPL
      • LAFI
        • LAFI
        • - Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.
      • PEPM
      • PLMW @ POPL
      • PriSC
      • ProLaLa
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2023 Committees
      • Organizing Committee
      • Track Committees
      • POPL
      • Artifact Evaluation
      • Student Research Competition
      • TutorialFest
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • VMCAI
        • Organizing Committee
        • Program Committee
        • Artifact Evaluation Committee
      • Workshops
      • CoqPL
        • Program Committee
      • LAFI
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PEPM
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PLMW @ POPL
        • Organizing Committee
        • Speakers
        • Panelists
      • PriSC
        • Program Committee
        • Steering Committee
      • ProLaLa
        • Program Committee
      • Co-hosted Symposia
      • PADL
        • Programme Chairs
        • Program Committee
  • 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 2023 (series) / VMCAI 2023 (series) / VMCAI 2023 /

Program Committee VMCAI

Mohamed Faouzi Atig

Mohamed Faouzi Atig

Uppsala University, Sweden

Ahmed Bouajjani

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

Bor-Yuh Evan Chang

Bor-Yuh Evan Chang

University of Colorado Boulder & Amazon

small-avatar

Deepak D'Souza

Rayna Dimitrova

Rayna Dimitrova

CISPA Helmholtz Center for Information Security

Cezara Drăgoi

Cezara Drăgoi

AWS / ENS

small-avatar

Michael Emmi

Amazon Web Services

United States

Constantin Enea

Constantin Enea

Ecole Polytechnique / LIX / CNRS

France

Jerome Feret

Jerome Feret

INRIA Paris

France

Jean-Christophe Filliatre

Jean-Christophe Filliatre

CNRS

France

Bernd Finkbeiner

Bernd Finkbeiner

CISPA Helmholtz Center for Information Security

Germany

Arie Gurfinkel

Arie Gurfinkel

University of Waterloo

Canada

small-avatar

Liana Hadarean

Amazon Web Services

United States

Ákos Hajdu

Ákos Hajdu

Meta

United Kingdom

small-avatar

Shaobo He

Amazon Web Services

United States

Dejan Jovanović

Dejan Jovanović

SRI International

United States

Burcu Kulahcioglu Ozkan

Burcu Kulahcioglu Ozkan

Delft University of Technology

Netherlands

Akash Lal

Akash Lal

Microsoft Research

Anthony Widjaja Lin

Anthony Widjaja Lin

TU Kaiserslautern; MPI-SWS

Germany

small-avatar

Stephen Merz

Inria Nancy

small-avatar

Suha Orhun Mutluergil

Sabanci University, Turkey

Kedar Namjoshi

Kedar Namjoshi

Nokia Bell Labs

United States

Jorge A. Navas

Jorge A. Navas

Certora, inc.

United States

Gennaro Parlato

Gennaro Parlato

University of Molise

Corina S. Pasareanu

Corina S. Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Tatjana Petrov

Tatjana Petrov

Universität Konstanz

Germany

Felipe R. Monteiro

Felipe R. Monteiro

Amazon

United States

small-avatar

Daniel Schwartz-Narbonne

Amazon, n.n.

Subodh Sharma

Subodh Sharma

IIT Delhi

India

Mihaela Sighireanu

Mihaela Sighireanu

IRIF, Université Paris Diderot, France

France

small-avatar

Mandayam Srivas

Chennai Mathematical Institute

Zhen Zhang

Zhen Zhang

Utah State University

United States

Florian Zuleger

Florian Zuleger

TU Vienna

Austria

xThu 29 May 03:26

POPL 2023

contact form

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

Tracks

POPL
Session Previews
Artifact Evaluation
Diversity, Equity and Inclusion
Student Research Competition
Student Volunteers
TutorialFest
Workshops and Co-located Events

Co-hosted Conferences

CPP 2023
VMCAI 2023

Workshops

CoqPL 2023
LAFI 2023
PEPM 2023
PLMW @ POPL 2023
PriSC 2023
ProLaLa 2023

Co-hosted Symposia

PADL 2023

Attending

Venue: Boston Park Plaza
Supporting POPL
Registration
Information for Students
Information for Presenters
Information for Virtual Attendees
Nearby Events
Sign Up