POPL 2018 (series) / PLMW 2018 (series) /
PLMW 2018 Program
This is the PLMW 2018 program - see the full program for POPL 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 9 JanDisplayed time zone: Tijuana, Baja California change
Tue 9 Jan
Displayed time zone: Tijuana, Baja California change
09:00 - 10:00 | |||
09:00 30mTalk | Liquid Haskell: Refinement Types for Haskell PLMW Niki Vazou University of Maryland File Attached | ||
09:30 30mTalk | How to Become a Researcher PLMW Armando Solar-Lezama MIT CSAIL File Attached |
10:30 - 12:00 | |||
10:30 90mTalk | Panel I: Technical Trends in Programming Languages Research PLMW Aws Albarghouthi University of Wisconsin-Madison, Constantin Enea Université Paris Diderot, David Walker Princeton University, Andrew Myers Cornell University |
13:30 - 15:30 | |||
14:00 30mTalk | Dafny Overview PLMW K. Rustan M. Leino Amazon Media Attached File Attached | ||
14:30 30mTalk | The Curse of Knowledge PLMW Benjamin C. Pierce University of Pennsylvania Media Attached | ||
15:00 30mTalk | How to Give Talks That People Can Follow PLMW Derek Dreyer MPI-SWS Media Attached |
16:00 - 18:00 | |||
16:00 30mTalk | Work-Life Balance? PLMW Andrew Myers Cornell University File Attached | ||
16:30 90mTalk | Panel II: Life in Grad School (and Beyond) PLMW Azadeh Farzan University of Toronto, Zachary Tatlock University of Washington, Seattle, Thomas Ball Microsoft Research, Jennifer Paykin University of Pennsylvania |