POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
  • Attending
    • Venue: Boston Park Plaza
  • Track/Call
  • Organization
      • POPL 2023 Committees
      • Organizing Committee
      • Track Committees
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • POPL 2023
    • POPL 2022
    • POPL 2021
    • POPL 2020
    • POPL 2019
    • POPL 2018
    • POPL 2017
    • POPL 2016
  • Sign in
  • Sign up
POPL 2023 (series) / POPL Research Papers /

Program Committee POPL

Amal Ahmed

Amal Ahmed Program Chair

Northeastern University, USA

United States

Robby Findler

Robby Findler Associate Chair

Northwestern University, USA

United States

Deepak Garg

Deepak Garg Associate Chair

MPI-SWS

Germany

François Pottier

François Pottier Associate Chair

Inria

France

Andreas Abel

Andreas Abel

Gothenburg University

Sweden

Nada Amin

Nada Amin

Harvard University

United States

Stephanie Balzer

Stephanie Balzer

Carnegie Mellon University

United States

Josh Berdine

Josh Berdine

Meta

United Kingdom

small-avatar

Karthikeyan Bhargavan

Inria, France

Giuseppe Castagna

Giuseppe Castagna

CNRS; Université de Paris

France

Tej Chajed

Tej Chajed

Massachusetts Institute of Technology, USA

United States

Arthur Charguéraud

Arthur Charguéraud

Inria

France

Loris D'Antoni

Loris D'Antoni

University of Wisconsin-Madison, USA

Ugo Dal Lago

Ugo Dal Lago

University of Bologna; Inria

Italy

Mila Dalla Preda

Mila Dalla Preda

University of Verona

Italy

Ornela Dardha

Ornela Dardha

University of Glasgow

United Kingdom

Benjamin Delaware

Benjamin Delaware

Purdue University

United States

Alastair F. Donaldson

Alastair F. Donaldson

Imperial College London

United Kingdom

Richard A. Eisenberg

Richard A. Eisenberg

Tweag

France

Constantin Enea

Constantin Enea

Ecole Polytechnique / LIX / CNRS

France

Michael Greenberg

Michael Greenberg

Stevens Institute of Technology

United States

Ichiro Hasuo

Ichiro Hasuo

National Institute of Informatics, Japan

Japan

small-avatar

Hugo Herbelin

Inria

Zhenjiang Hu

Zhenjiang Hu

Peking University

China

Suresh Jagannathan

Suresh Jagannathan

Purdue University

United States

Alan Jeffrey

Alan Jeffrey

Roblox

United States

small-avatar

Patricia Johann

Appalachian State University

Jacques-Henri Jourdan

Jacques-Henri Jourdan

Universersité Paris Saclay, CNRS, LRI

France

Ralf Jung

Ralf Jung

MPI-SWS

Germany

Ohad Kammar

Ohad Kammar

University of Edinburgh

United Kingdom

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Germany

Ekaterina Komendantskaya

Ekaterina Komendantskaya

Heriot-Watt University, UK

Laura Kovacs

Laura Kovacs

Vienna University of Technology (TU Wien)

Austria

Robbert Krebbers

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Lindsey Kuper

Lindsey Kuper

University of California at Santa Cruz

Akash Lal

Akash Lal

Microsoft Research

Xavier Leroy

Xavier Leroy

Collège de France

France

Mohsen Lesani

Mohsen Lesani

University of California at Riverside

Dan Licata

Dan Licata

Wesleyan University

United States

Matteo Maffei

Matteo Maffei

TU Wien

Isabella Mastroeni

Isabella Mastroeni

University of Verona, Italy

Italy

Christoph Matheja

Christoph Matheja

Technical University of Denmark

Denmark

Umang Mathur

Umang Mathur

National University of Singapore

Singapore

Todd Millstein

Todd Millstein

University of California at Los Angeles

Andrzej Murawski

Andrzej Murawski

University of Oxford

United Kingdom

Santosh Nagarakatte

Santosh Nagarakatte

Rutgers University

United States

Aleksandar Nanevski

Aleksandar Nanevski

IMDEA Software Institute

Spain

small-avatar

David Naumann

Stevens Institute of Technology

Dominic Orchard

Dominic Orchard

University of Kent, UK

United Kingdom

Klaus Ostermann

Klaus Ostermann

University of Tübingen

Oded Padon

Oded Padon

VMware Research

United States

Michele Pagani

Michele Pagani

IRIF - Université de Paris

France

Marco Patrignani

Marco Patrignani

University of Trento

Italy

David Pichardie

David Pichardie

Meta

France

Brigitte Pientka

Brigitte Pientka

McGill University

Canada

Benjamin C. Pierce

Benjamin C. Pierce

University of Pennsylvania

United States

Clément Pit-Claudel

Clément Pit-Claudel

MIT / AWS

United States

Andreas Podelski

Andreas Podelski

University of Freiburg, Germany

Germany

Nadia Polikarpova

Nadia Polikarpova

University of California at San Diego

United States

Damien Pous

Damien Pous

CNRS

small-avatar

Christopher Pulte

University of Cambridge, UK

Corina S. Păsăreanu

Corina S. Păsăreanu

Carnegie Mellon University

United States

Azalea Raad

Azalea Raad

Imperial College London

United Kingdom

Robert Rand

Robert Rand

University of Chicago

United States

Noam Rinetzky

Noam Rinetzky

Tel Aviv University

Israel

Amr Sabry

Amr Sabry

Indiana University

United States

Malavika Samak

Malavika Samak

CSAIL, MIT

United States

Taro Sekiyama

Taro Sekiyama

National Institute of Informatics

Japan

Deian Stefan

Deian Stefan

University of California at San Diego

United States

Jonathan Sterling

Jonathan Sterling

Aarhus University

Denmark

Aaron Stump

Aaron Stump

The University of Iowa, USA

United States

Eijiro Sumii

Eijiro Sumii

Tohoku University

Japan

Nicolas Tabareau

Nicolas Tabareau

Inria

France

Éric Tanter

Éric Tanter

University of Chile

Joseph Tassarotti

Joseph Tassarotti

Boston College

United States

Sam Tobin-Hochstadt

Sam Tobin-Hochstadt

Indiana University

Andrew Tolmach

Andrew Tolmach

Portland State University

David Walker

David Walker

Princeton University

United States

Conrad Watt

Conrad Watt

University of Cambridge

United Kingdom

Théo Winterhalter

Théo Winterhalter

MPI-SP

Germany

Ningning Xie

Ningning Xie

University of Cambridge

United Kingdom

Francesco Zappa Nardelli

Francesco Zappa Nardelli

Meta

France

Elena Zucca

Elena Zucca

University of Genova

xWed 25 May 22:28

POPL 2023

contact form

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

Tracks

POPL

Attending

Venue: Boston Park Plaza
Sign Up