POPL 2025 (series) / PLMW @ POPL 2025 (series) /
PLMW @ POPL 2025 Program
This is the PLMW @ POPL 2025 program - see the full program for POPL 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change
Tue 21 Jan
Displayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | First SessionPLMW @ POPL at Peek-A-Boo Chair(s): Leonidas Lampropoulos University of Maryland, College Park | ||
09:00 45mTalk | Getting the Most Out of POPL PLMW @ POPL Joseph W. Cutler University of Pennsylvania | ||
09:45 45mSocial Event | Icebreaker PLMW @ POPL Leonidas Lampropoulos University of Maryland, College Park | ||
11:00 - 12:30 | Second SessionPLMW @ POPL at Peek-A-Boo Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder & Amazon | ||
11:00 45mTalk | How to give a good talk PLMW @ POPL Michael Greenberg Stevens Institute of Technology | ||
11:45 45mTalk | My Journey in Secure Compilation PLMW @ POPL Cătălin Hriţcu MPI-SP Pre-print | ||
14:00 - 15:30 | |||
14:00 45mTalk | From operational semantics to verified compilation (and more) PLMW @ POPL Sandrine Blazy University of Rennes | ||
14:45 45mTalk | A Research Career in Balance PLMW @ POPL Andrew Myers Cornell University | ||
16:00 - 17:30 | Fourth SessionPLMW @ POPL at Peek-A-Boo Chair(s): Leonidas Lampropoulos University of Maryland, College Park | ||
16:00 45mTalk | How to Write Papers So People Can Read Them PLMW @ POPL Derek Dreyer MPI-SWS | ||
16:45 45mPanel | PLMW Panel PLMW @ POPL Ronald Garcia University of British Columbia, Mike Dodds Galois, Inc, Alexandre Moine New York University, Jenna DiVincenzo (Wise) Purdue University | ||