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 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
) /
Boston Park Plaza
/
Room information: White Hill
Venue
Boston Park Plaza
Room name
White Hill
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Wed 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 08:50
Wednesday Breakfast Session Preview
Session Previews
at
White Hill
Chair(s):
Nate Foster
Cornell University
08:30
10m
Talk
Automated Verification: Session Preview
Session Previews
Michael Greenberg
Stevens Institute of Technology
08:40
10m
Talk
Types I: Session Preview
Session Previews
Neel Krishnaswami
University of Cambridge
10:20 - 10:40
Wednesday Morning Break Session Preview
Session Previews
at
White Hill
Chair(s):
Eric Campbell
Cornell University
10:20
10m
Talk
Security: Session Preview
Session Previews
Limin Jia
Carnegie Mellon University
10:30
10m
Talk
Synthesis I: Session Preview
Session Previews
Nadia Polikarpova
University of California at San Diego
12:40 - 13:20
Wednesday Lunch Session Preview
Session Previews
at
White Hill
Chair(s):
Chelsea Edmonds
University of Cambridge
12:40
10m
Talk
Logic & Decidability I: Session Preview
Session Previews
Zachary Kincaid
Princeton University
12:50
10m
Talk
Program Logics & Resources: Session Preview
Session Previews
Philippa Gardner
Imperial College London
13:00
10m
Talk
Verified Compilation: Session Preview
Session Previews
Deian Stefan
University of California at San Diego
13:10
10m
Talk
Probabilistic Inference: Session Preview
Session Previews
Alexandra Silva
Cornell University
18:10 - 18:30
Wednesday Evening Session Preview
Session Previews
at
White Hill
Chair(s):
Xuejing Huang
University of Hong Kong
18:10
10m
Talk
Synthesis II: Session Preview
Session Previews
Nate Foster
Cornell University
18:20
10m
Talk
Semantics I: Session Preview
Session Previews
Ugo Dal Lago
University of Bologna; Inria
Thu 19 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
08:20 - 08:50
Thursday Breakfast Session Preview
Session Previews
at
White Hill
Chair(s):
Eric Campbell
Cornell University
08:20
10m
Talk
Program Analysis & Parsing: Session Preview
Session Previews
David Pichardie
Meta
08:30
10m
Talk
Resource Analysis: Session Preview
Session Previews
Xavier Rival
Inria; ENS; CNRS; PSL University
08:40
10m
Talk
Automatic Differentiation: Session Preview
Session Previews
Sasa Misailovic
University of Illinois at Urbana-Champaign
10:05 - 10:15
Thursday Morning Break Session Preview
Session Previews
at
White Hill
Chair(s):
Nate Foster
Cornell University
10:05
10m
Talk
Type Theory: Session Preview
Session Previews
Max S. New
University of Michigan
13:00 - 13:20
Thursday Lunch Session Preview
Session Previews
at
White Hill
Chair(s):
Gabe Grand
13:00
10m
Talk
Logic & Decidability II: Session Preview
Session Previews
Caleb Stanford
University of California, San Diego; University of California, Davis
13:10
10m
Talk
Types II: Session Preview
Session Previews
Benjamin C. Pierce
University of Pennsylvania
13:30 - 15:00
SRC Presentation
Student Research Competition
at
White Hill
13:30
15m
Talk
Scalable Synthesis of Regular Expressions From Only Positive Examples
Student Research Competition
Elizaveta Pertseva
UCSD
,
Mark Barbone
UCSD
13:45
15m
Talk
Synthesizing Vectorized Code via Verified Lifting
Student Research Competition
Jeremy Ferguson
University of California-Berkeley
14:00
15m
Talk
Evaluating Soundness of a Gradual Verifier with Property Based Testing
Student Research Competition
Jan-Paul Ramos-Davila
Cornell University
14:15
15m
Talk
On the metatheory of IRs and the CPS-calculus
Student Research Competition
Paulo Torrens
University of Kent
14:30
15m
Talk
Wisening Assertions: A live Bayesian reasoning system for probabilistic correctness
Student Research Competition
Julia Turcotti
MIT-CSAIL
14:45
15m
Talk
Compiling and Running High-level Quantum Programs
Student Research Competition
Hristo Venev
INSAIT
18:10 - 18:30
Thursday Evening Session Preview
Session Previews
at
White Hill
Chair(s):
Alexandra E. Michael
University of California at San Diego; University of Washington
18:10
10m
Talk
Semantics & Effects: Session Preview
Session Previews
Andrew K. Hirsch
University at Buffalo, SUNY
18:20
10m
Talk
Logic Programming: Session Preview
Session Previews
Cody Roux
AWS
Fri 20 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 08:50
Friday Breakfast Session Preview
Session Previews
at
White Hill
Chair(s):
Alexandre Moine
Inria
08:30
10m
Talk
Formal Methods in Compilation & Implementation: Session Preview
Session Previews
Arjun Guha
Northeastern University and Roblox Research
08:40
10m
Talk
Quantum Computing: Session Preview
Session Previews
Jens Palsberg
University of California, Los Angeles (UCLA)
10:20 - 10:40
Friday Morning Break Session Preview
Session Previews
at
White Hill
Chair(s):
Neea Rusch
Augusta University
10:20
10m
Talk
Concurrency & Linearizability: Session Preview
Session Previews
Chung-Kil Hur
Seoul National University
10:30
10m
Talk
Algorithmic Verification
Session Previews
Umang Mathur
National University of Singapore
13:00 - 13:20
Friday Lunch Session Preview
Session Previews
at
White Hill
13:00
10m
Talk
Relational & Automated Verification: Session Preview
Session Previews
Eric Campbell
Cornell University
13:10
10m
Talk
Semantics II: Session Preview
Session Previews
Robert Atkey
University of Strathclyde
Wed 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
White Hill
Session Previews
Wednesday Breakfast Session Preview
Session Previews
Wednesday Morning Break Session Preview
Session Previews
Wednesday Lunch Session Preview
Session Previews
Wednesday Evening Session Preview
Thu 19 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
White Hill
Session Previews
Thursday Breakfast Session Preview
Session Previews
Thursday Morning Break Session Preview
Session Previews
Thursday Lunch Session Preview
Student Research Competition
SRC Presentation
Session Previews
Thursday Evening Session Preview
Fri 20 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
White Hill
Session Previews
Friday Breakfast Session Preview
Session Previews
Friday Morning Break Session Preview
Session Previews
Friday Lunch Session Preview
Wed 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
White Hill
POPL Session Previews
Automated Verification: Session Preview
08:30 - 08:40
POPL Session Previews
Types I: Session Preview
08:40 - 08:50
POPL Session Previews
Security: Session Preview
10:20 - 10:30
POPL Session Previews
Synthesis I: Session Preview
10:30 - 10:40
POPL Session Previews
Logic & Decidability I: Session Preview
12:40 - 12:50
POPL Session Previews
Program Logics & Resources: Session Preview
12:50 - 13:00
POPL Session Previews
Verified Compilation: Session Preview
13:00 - 13:10
POPL Session Previews
Probabilistic Inference: Session Preview
13:10 - 13:20
POPL Session Previews
Synthesis II: Session Preview
18:10 - 18:20
POPL Session Previews
Semantics I: Session Preview
18:20 - 18:30
Thu 19 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
White Hill
POPL Session Previews
Program Analysis & Parsing: Session Preview
08:20 - 08:30
POPL Session Previews
Resource Analysis: Session Preview
08:30 - 08:40
POPL Session Previews
Automatic Differentiation: Session Preview
08:40 - 08:50
POPL Session Previews
Type Theory: Session Preview
10:05 - 10:15
POPL Session Previews
Logic & Decidability II: Session Preview
13:00 - 13:10
POPL Session Previews
Types II: Session Preview
13:10 - 13:20
POPL Student Research Competition
Scalable Synthesis of Regular Expressions From Only Positive Examples
13:30 - 13:45
POPL Student Research Competition
Synthesizing Vectorized Code via Verified Lifting
13:45 - 14:00
POPL Student Research Competition
Evaluating Soundness of a Gradual Verifier with Property Based Testing
14:00 - 14:15
POPL Student Research Competition
On the metatheory of IRs and the CPS-calculus
14:15 - 14:30
POPL Student Research Competition
Wisening Assertions: A live Bayesian reasoning system for probabilistic ...
14:30 - 14:45
POPL Student Research Competition
Compiling and Running High-level Quantum Programs
14:45 - 15:00
POPL Session Previews
Semantics & Effects: Session Preview
18:10 - 18:20
POPL Session Previews
Logic Programming: Session Preview
18:20 - 18:30
Fri 20 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
White Hill
POPL Session Previews
Formal Methods in Compilation & Implementation: Session Preview
08:30 - 08:40
POPL Session Previews
Quantum Computing: Session Preview
08:40 - 08:50
POPL Session Previews
Concurrency & Linearizability: Session Preview
10:20 - 10:30
POPL Session Previews
Algorithmic Verification
10:30 - 10:40
POPL Session Previews
Relational & Automated Verification: Session Preview
13:00 - 13:10
POPL Session Previews
Semantics II: Session Preview
13:10 - 13:20
x
Mon 18 Nov 11:48