VenueBoston Park Plaza
Room nameStudio 2
Room InformationNo extra information available
Program

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 1PLMW @ 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 2PLMW @ 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
16:00 - 17:30
Session 4PLMW @ 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Studio 2