Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
VenueOnline
Room namePLMW
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

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:45
Session 1PLMW@PLDI at PLMW
09:00
75m
Other
Small-group Mentoring Meetings 1
PLMW@PLDI

10:45
60m
Talk
Grad School: A Survival Guide
PLMW@PLDI
Matthew Might University of Alabama at Birmingham | Harvard Medical School
13:30 - 16:15
Session 2PLMW@PLDI at PLMW
13:30
75m
Other
Panel on Grad School
PLMW@PLDI
Zachary Tatlock University of Washington, Seattle, Sarah E. Chasins University of California, Berkeley, Andreea Costea School of Computing, National University Of Singapore, Marco Patrignani CISPA Helmholtz Center for Information Security / Stanford University
15:15
60m
Talk
Reasoning Under Uncertainty in SMT Solving, Research, and Life
PLMW@PLDI
Lindsey Kuper University of California at Santa Cruz
18:00 - 21:00
Session 3PLMW@PLDI at PLMW
18:00
75m
Talk
An Overview of the Stoke Project
PLMW@PLDI
Alex Aiken Stanford University, USA
19:45
75m
Social Event
Social Hangout 1
PLMW@PLDI

Tue 22 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:45
Session 4PLMW@PLDI at PLMW
09:00
75m
Social Event
Social Hangout 2
PLMW@PLDI

10:45
60m
Talk
How to give talks that people can follow
PLMW@PLDI
Derek Dreyer MPI-SWS
13:30 - 16:15
Session 5PLMW@PLDI at PLMW
13:30
75m
Other
Panel on Advising and Research
PLMW@PLDI
Ranjit Jhala University of California at San Diego, Işıl Dillig University of Texas at Austin, Matthias Felleisen PLT @ Northeastern University, Frank Piessens KU Leuven, Stephanie Weirich University of Pennsylvania, USA
15:15
60m
Talk
Tips on Writing a Research Paper
PLMW@PLDI
Thomas Reps University of Wisconsin
18:00 - 21:00
Session 6PLMW@PLDI at PLMW
18:00
75m
Other
Panel on Career Paths
PLMW@PLDI
Jean Yang Carnegie Mellon University, Kathleen Fisher Tufts University, Hannah Gommerstadt Vassar College, Peter W. O'Hearn Facebook and University College London, Jennifer Paykin Galois, Inc.
19:45
75m
Other
Small-group Mentoring Meetings 2
PLMW@PLDI

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
PLMW

Tue 22 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
PLMW

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
PLMW

Tue 22 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
PLMW