POPL 2023
Sun 15 - Sat 21 January 2023
Boston, Massachusetts, United States
Toggle navigation
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
Program Chair
Northeastern University, USA
United States
Robby Findler
Associate Chair
Northwestern University, USA
United States
Deepak Garg
Associate Chair
MPI-SWS
Germany
François Pottier
Associate Chair
Inria
France
Andreas Abel
Gothenburg University
Sweden
Nada Amin
Harvard University
United States
Stephanie Balzer
Carnegie Mellon University
United States
Josh Berdine
Meta
United Kingdom
Karthikeyan Bhargavan
Inria, France
Giuseppe Castagna
CNRS; Université de Paris
France
Tej Chajed
Massachusetts Institute of Technology, USA
United States
Arthur Charguéraud
Inria
France
Loris D'Antoni
University of Wisconsin-Madison, USA
Ugo Dal Lago
University of Bologna; Inria
Italy
Mila Dalla Preda
University of Verona
Italy
Ornela Dardha
University of Glasgow
United Kingdom
Benjamin Delaware
Purdue University
United States
Alastair F. Donaldson
Imperial College London
United Kingdom
Richard A. Eisenberg
Tweag
France
Constantin Enea
Ecole Polytechnique / LIX / CNRS
France
Michael Greenberg
Stevens Institute of Technology
United States
Ichiro Hasuo
National Institute of Informatics, Japan
Japan
Hugo Herbelin
Inria
Zhenjiang Hu
Peking University
China
Suresh Jagannathan
Purdue University
United States
Alan Jeffrey
Roblox
United States
Patricia Johann
Appalachian State University
Jacques-Henri Jourdan
Universersité Paris Saclay, CNRS, LRI
France
Ralf Jung
MPI-SWS
Germany
Ohad Kammar
University of Edinburgh
United Kingdom
Joost-Pieter Katoen
RWTH Aachen University
Germany
Ekaterina Komendantskaya
Heriot-Watt University, UK
Laura Kovacs
Vienna University of Technology (TU Wien)
Austria
Robbert Krebbers
Radboud University Nijmegen
Netherlands
Lindsey Kuper
University of California at Santa Cruz
Akash Lal
Microsoft Research
Xavier Leroy
Collège de France
France
Mohsen Lesani
University of California at Riverside
Dan Licata
Wesleyan University
United States
Matteo Maffei
TU Wien
Isabella Mastroeni
University of Verona, Italy
Italy
Christoph Matheja
Technical University of Denmark
Denmark
Umang Mathur
National University of Singapore
Singapore
Todd Millstein
University of California at Los Angeles
Andrzej Murawski
University of Oxford
United Kingdom
Santosh Nagarakatte
Rutgers University
United States
Aleksandar Nanevski
IMDEA Software Institute
Spain
David Naumann
Stevens Institute of Technology
Dominic Orchard
University of Kent, UK
United Kingdom
Klaus Ostermann
University of Tübingen
Oded Padon
VMware Research
United States
Michele Pagani
IRIF - Université de Paris
France
Marco Patrignani
University of Trento
Italy
David Pichardie
Meta
France
Brigitte Pientka
McGill University
Canada
Benjamin C. Pierce
University of Pennsylvania
United States
Clément Pit-Claudel
MIT / AWS
United States
Andreas Podelski
University of Freiburg, Germany
Germany
Nadia Polikarpova
University of California at San Diego
United States
Damien Pous
CNRS
Christopher Pulte
University of Cambridge, UK
Corina S. Păsăreanu
Carnegie Mellon University
United States
Azalea Raad
Imperial College London
United Kingdom
Robert Rand
University of Chicago
United States
Noam Rinetzky
Tel Aviv University
Israel
Amr Sabry
Indiana University
United States
Malavika Samak
CSAIL, MIT
United States
Taro Sekiyama
National Institute of Informatics
Japan
Deian Stefan
University of California at San Diego
United States
Jonathan Sterling
Aarhus University
Denmark
Aaron Stump
The University of Iowa, USA
United States
Eijiro Sumii
Tohoku University
Japan
Nicolas Tabareau
Inria
France
Éric Tanter
University of Chile
Joseph Tassarotti
Boston College
United States
Sam Tobin-Hochstadt
Indiana University
Andrew Tolmach
Portland State University
David Walker
Princeton University
United States
Conrad Watt
University of Cambridge
United Kingdom
Théo Winterhalter
MPI-SP
Germany
Ningning Xie
University of Cambridge
United Kingdom
Francesco Zappa Nardelli
Meta
France
Elena Zucca
University of Genova
x
Wed 25 May 22:28