POPL 2023
Sun 15 - Sat 21 January 2023
Boston, Massachusetts, United States
Toggle navigation
Attending
Venue: Boston Park Plaza
Supporting POPL
Registration
Information for Students
Information for Presenters
Information for Virtual Attendees
Nearby Events
Program
Complete 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 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2023
(
series
) /
CPP 2023 (
series
) /
CPP 2023
/
Program Committee
CPP
Brigitte Pientka
PC Chair
McGill University
Canada
Steve Zdancewic
PC Chair
University of Pennsylvania
United States
Reynald Affeldt
National Institute of Advanced Industrial Science and Technology (AIST)
Japan
Koen Claessen
Chalmers University of Technology
Sweden
Ranald Clouston
ANU
Australia
Leonardo de Moura
Microsoft Research
United States
Tej Chajed
VMware Research
United States
Xinyu Feng
Nanjing University
China
Denis Firsov
Tallinn University of Technology
Estonia
Yannick Forster
Inria
France
Milos Gligoric
University of Texas at Austin
United States
Stephane Graham-Lengrand
SRI
United States
Elsa Gunter
University of Illinois
United States
Chris Hawblitzel
Microsoft Research
United States
Chantal Keller
Université Paris Saclay
France
Marie Kerjean
CNRS, Université Sorbonne Paris Nord
France
Yoonseung Kim
Yale University
United States
Kenji Maillard
Inria Nantes
France
César Muñoz
Amazon Web Services
United States
Tobias Nipkow
Technische Universität München
Germany
Lawrence Paulson
University of Cambridge
United Kingdom
Anja Petković Komel
TU Wien, Vienna
Austria
Clément Pit-Claudel
EPFL / AWS
United States
Pierre-Marie Pédrot
INRIA
France
Christine Rizkallah
University of Melbourne
Australia
Cody Roux
AWS
United States
Kazuhiko Sakaguchi
Inria
France
Anna Slobodova
Intel
United States
Aaron Stump
University of Iowa
United States
René Thiemann
University of Innsbruck
Austria
Amin Timany
Aarhus University
Denmark
Josef Urban
Czech Technical University in Prague
Czech Republic
Viktor Vafeiadis
MPI-SWS
Germany
Yuting Wang
Shanghai Jiao Tong University
China
Tjark Weber
Uppsala University
Sweden
x
Wed 22 Mar 00:46
