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: Studio 2
Venue
Boston Park Plaza
Room name
Studio 2
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
Tue 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Session 1
PLMW @ POPL
at
Studio 2
Chair(s):
Hannah Gommerstadt
Vassar College
09:00
15m
Talk
Introduction
PLMW @ POPL
Amal Ahmed
Northeastern University, USA
Media Attached
09:15
45m
Talk
Imagining the Reader
PLMW @ POPL
Benjamin C. Pierce
University of Pennsylvania
Media Attached
File Attached
10:00
30m
Social Event
Icebreaker Activity
PLMW @ POPL
11:00 - 12:30
Session 2
PLMW @ POPL
at
Studio 2
Chair(s):
Michael Greenberg
Stevens Institute of Technology
11:00
45m
Talk
Session Types Meet Polymorphism and Dependent Types
PLMW @ POPL
Peter Thiemann
University of Freiburg, Germany
Media Attached
File Attached
11:45
45m
Panel
Career Trajectories in PL
PLMW @ POPL
Richard A. Eisenberg
Jane Street
,
Anitha Gollamudi
University of Massachusetts Lowell
,
Ryan Kavanagh
McGill University
,
Joseph Tassarotti
NYU
,
M:
Michael Greenberg
Stevens Institute of Technology
14:00 - 15:30
Session 3
PLMW @ POPL
at
Studio 2
Chair(s):
Kuen-Bang Hou (Favonia)
University of Minnesota
14:00
45m
Talk
Anti-disciplinary: doing academic research when you like too many things
remote presentation
PLMW @ POPL
Chris Martens
Northeastern University
Media Attached
File Attached
14:45
45m
Talk
How (not) to give a great research talk
PLMW @ POPL
Leonidas Lampropoulos
University of Maryland, College Park
Media Attached
File Attached
16:00 - 17:30
Session 4
PLMW @ POPL
at
Studio 2
Chair(s):
Robbert Krebbers
Radboud University Nijmegen
16:00
45m
Talk
Big Ideas in Program Synthesis
PLMW @ POPL
Nadia Polikarpova
University of California at San Diego
Media Attached
File Attached
16:45
45m
Talk
Care and Feeding of Advisors
PLMW @ POPL
Stephen Chong
Harvard University
Media Attached
File Attached
Tue 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
Studio 2
PLMW @ POPL
Session 1
PLMW @ POPL
Session 2
PLMW @ POPL
Session 3
PLMW @ POPL
Session 4
Tue 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
Studio 2
PLMW @ POPL
Introduction
09:00 - 09:15
PLMW @ POPL
Imagining the Reader
09:15 - 10:00
PLMW @ POPL
Icebreaker Activity
10:00 - 10:30
PLMW @ POPL
Session Types Meet Polymorphism and Dependent Types
11:00 - 11:45
PLMW @ POPL
Career Trajectories in PL
11:45 - 12:30
PLMW @ POPL
remote presentation
Anti-disciplinary: doing academic research when you like too many things
14:00 - 14:45
PLMW @ POPL
How (not) to give a great research talk
14:45 - 15:30
PLMW @ POPL
Big Ideas in Program Synthesis
16:00 - 16:45
PLMW @ POPL
Care and Feeding of Advisors
16:45 - 17:30
x
Sun 8 Sep 01:46