POPL 2024
Wed 17 - Fri 19 January 2024
London, United Kingdom
Toggle navigation
Attending
Venue: Institution of Engineering and Technology
Tracks
POPL 2024
POPL
Workshops and Co-located Events
Co-hosted Conferences
CPP
VMCAI
Organization
POPL 2024 Committees
Organizing Committee
Track Committees
Program Committee
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Program Committee
Artifact Evaluation Committee
Search
Series
Series
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2024
(
series
) /
POPL Research Papers
/
Program Committee
POPL
Derek Dreyer
Program Chair
MPI-SWS
Germany
Alastair F. Donaldson
Associate Chair
Imperial College London
United Kingdom
Alexandra Silva
Associate Chair
Cornell University
United States
Emina Torlak
Associate Chair
Amazon Web Services and University of Washington
United States
Steve Zdancewic
Associate Chair
University of Pennsylvania
United States
Ahmed Bouajjani
IRIF, Université Paris Diderot
France
Alejandro Aguirre
Aarhus University
Denmark
Alexey Gotsman
IMDEA Software Institute
Spain
Amin Timany
Aarhus University
Denmark
Andreas Pavlogiannis
Aarhus University
Denmark
Andrei Popescu
University of Sheffield
United Kingdom
Andrew K. Hirsch
University at Buffalo, SUNY
United States
Andrew M. Pitts
University of Cambridge
Andrew W. Appel
Princeton University
Ankush Das
Amazon
United States
Anton Podkopaev
JetBrains Research, Constructor University
Netherlands
Arjun Radhakrishna
Microsoft
United States
Assia Mahboubi
INRIA
France
Aws Albarghouthi
University of Wisconsin-Madison
United States
Aymeric Fromherz
Inria
France
Ben L. Titzer
Carnegie Mellon University
United States
Bernd Finkbeiner
CISPA Helmholtz Center for Information Security
Germany
Cameron Freer
Massachusetts Institute of Technology
United States
Carla Ferreira
NOVA University Lisbon
Portugal
Carlo Angiuli
Carnegie Mellon University
United States
Casper Bach Poulsen
Delft University of Technology
Netherlands
Cătălin Hriţcu
MPI-SP
Germany
Christine Rizkallah
University of Melbourne
Australia
Colin Gordon
Drexel University
United States
Dariusz Biernacki
University of Wrocław
Poland
Denis Merigoux
INRIA
France
Dominique Devriese
KU Leuven
Belgium
Emanuele D’Osualdo
MPI-SWS
Germany
Francesco Gavazzo
University of Pisa, Italy
Italy
Fraser Brown
CMU
Fritz Henglein
Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital
Denmark
Gagandeep Singh
University of Illinois at Urbana-Champaign
United States
Georg Zetzsche
MPI-SWS
Germany
Gregory Malecha
BedRock Systems
United States
Guilhem Jaber
Nantes Université
France
Hila Peleg
Technion
Israel
Hiroshi Unno
University of Tsukuba
Japan
James Riely
DePaul University
United States
Jean Pichon-Pharabod
Aarhus University
Denmark
Jeehoon Kang
KAIST
South Korea
Jennifer Paykin
Intel Labs
United States
Jeremy G. Siek
Indiana University, USA
United States
Jonathan Immanuel Brachthäuser
University of Tübingen
Germany
Jonathan Protzenko
Microsoft Research, Redmond
United States
Jules Villard
Meta
United Kingdom
Kathrin Stark
Heriot-Watt University
United Kingdom
KC Sivaramakrishnan
IIT Madras and Tarides
India
Kristina Sojakova
Inria
France
Kuen-Bang Hou (Favonia)
University of Minnesota
United States
Limin Jia
Carnegie Mellon University
Mae Milano
University of California at Berkeley
United States
Max New
University of Michigan
Max Willsey
University of Washington
United States
Michael Hicks
Amazon Web Services and the University of Maryland
United States
Neil Julien Ross
Dalhousie University
Canada
Nick Benton
Meta
United Kingdom
Nikos Tzevelekos
Queen Mary University of London
Peter Müller
ETH Zurich
Switzerland
Peter Sewell
University of Cambridge
United Kingdom
Pierre-Marie Pédrot
INRIA
France
Roberto Giacobazzi
University of Verona
Italy
Rodolphe Lepigre
BedRock Systems
Germany
Ronald Garcia
University of British Columbia
Canada
Satnam Singh
Groq
United States
Simon Peyton Jones
Epic Games
United Kingdom
Soham Chakraborty
TU Delft
Netherlands
Sophia Drossopoulou
Imperial College London
United Kingdom
Sriram Rajamani
Microsoft Research
Stefan K. Muller
Illinois Institute of Technology
United States
Stephen Dolan
Jane Street
Steven Ramsay
University of Bristol
United Kingdom
Suguman Bansal
Georgia Institute of Technology, USA
United States
Sukyoung Ryu
KAIST
South Korea
Susmit Sarkar
University of St. Andrews
Talia Ringer
University of Illinois at Urbana-Champaign
United States
Thomas Reps
University of Wisconsin-Madison
United States
Thomas Wies
New York University
United States
Tiark Rompf
Purdue University
United States
Ulf Norell
Gothenburg University
Sweden
William Mansky
University of Illinois Chicago
United States
Xiaodi Wu
University of Maryland
United States
Xiaokang Qiu
Purdue University
United States
Xinyu Feng
Nanjing University
China
Yannick Zakowski
Inria
France
Yizhou Zhang
University of Waterloo
Canada
Zachary Kincaid
Princeton University
United States
x
Fri 2 Jun 17:15