POPL 2023 (series) / PLMW @ POPL 2023 (series) /
PLMW @ POPL 2023 Program
This is the PLMW @ POPL 2023 program - see the full program for POPL 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 17 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 17 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 15mTalk | Introduction PLMW @ POPL Amal Ahmed Northeastern University, USA Media Attached | ||
09:15 45mTalk | Imagining the Reader PLMW @ POPL Benjamin C. Pierce University of Pennsylvania Media Attached File Attached | ||
10:00 30mSocial Event | Icebreaker Activity PLMW @ POPL |
11:00 - 12:30 | |||
11:00 45mTalk | Session Types Meet Polymorphism and Dependent Types PLMW @ POPL Peter Thiemann University of Freiburg, Germany Media Attached File Attached | ||
11:45 45mPanel | 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 | |||
14:00 45mTalk | Anti-disciplinary: doing academic research when you like too many thingsremote presentation PLMW @ POPL Chris Martens Northeastern University Media Attached File Attached | ||
14:45 45mTalk | 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 | |||
16:00 45mTalk | Big Ideas in Program Synthesis PLMW @ POPL Nadia Polikarpova University of California at San Diego Media Attached File Attached | ||
16:45 45mTalk | Care and Feeding of Advisors PLMW @ POPL Stephen Chong Harvard University Media Attached File Attached |