PEPM 2023
Tue 17 Jan 2023
Boston, Massachusetts, United States
co-located with
POPL 2023
Toggle navigation
Attending
Venue: Boston Park Plaza
Program
Complete Program
Your Program
Tue 17 Jan
Track/Call
Organization
PEPM 2023 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
PEPM 2023
PEPM 2022
PEPM 2021
PEPM 2020
PEPM 2019
PEPM 2018
PEPM 2017
PEPM 2016
PEPM 2015
Sign in
Sign up
POPL 2023
(
series
) /
PEPM 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-07: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+02: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
09:15
45m
Talk
Imagining the Reader
PLMW @ POPL
Benjamin C. Pierce
University of Pennsylvania
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
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
File Attached
14:45
45m
Talk
How (not) to give a great research talk
PLMW @ POPL
Leonidas Lampropoulos
University of Maryland, College Park
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
File Attached
16:45
45m
Talk
Care and Feeding of Advisors
PLMW @ POPL
Stephen Chong
Harvard University
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
Wed 22 Mar 23:49