PLDI 2025 (series) / PLMW @ PLDI 2025 (series) /
PLMW @ PLDI 2025 Program
This is the PLMW @ PLDI 2025 program - see the full program for PLDI 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 16 JunDisplayed time zone: Seoul change
Mon 16 Jun
Displayed time zone: Seoul change
14:00 - 15:20 | |||
14:00 10mSocial Event | Day Opening PLMW @ PLDI | ||
14:10 70mSocial Event | PL Cards PLMW @ PLDI | ||
15:40 - 17:00 | |||
15:40 60mSocial Event | Skill exchange PLMW @ PLDI | ||
16:40 20mSocial Event | Conclusion PLMW @ PLDI | ||
Tue 17 JunDisplayed time zone: Seoul change
Tue 17 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 10mDay opening | Opening remarks PLMW @ PLDI | ||
09:10 60mTalk | Research on Different Time Horizons (and an Example with Machine-Checked Proofs) PLMW @ PLDI Adam Chlipala Massachusetts Institute of Technology | ||
10:30 - 12:00 | Session 2PLMW @ PLDI at Grand Ball Room 2 Chair(s): Đorđe Žikelić Singapore Management University, Singapore | ||
10:30 35mTalk | Graduate School Revisited: An Assistant Professor's Perspective PLMW @ PLDI Qirun Zhang Georgia Institute of Technology | ||
11:05 55mTalk | From Formal Verification to Correctly Rounded Math Libraries PLMW @ PLDI Santosh Nagarakatte Rutgers University | ||
14:00 - 15:20 | Session 3PLMW @ PLDI at Grand Ball Room 2 Chair(s): Đorđe Žikelić Singapore Management University, Singapore | ||
14:00 35mTalk | Regularizing the Irregular PLMW @ PLDI Milind Kulkarni Purdue University | ||
14:35 35mTalk | Language Design Where Paradigms Meet PLMW @ PLDI Yizhou Zhang University of Waterloo | ||
15:10 10mTalk | Standardaizing JavaScript: Call for PL researchers PLMW @ PLDI | ||
15:40 - 17:45 | |||
15:40 35mTalk | Usable PL: Human-Computer Interaction for PL Research PLMW @ PLDI Sarah E. Chasins University of California at Berkeley | ||
16:15 30mTalk | Nomads and Anvil makers PLMW @ PLDI Rachit Nigam Massachusetts Institute of Technology | ||
16:45 50mPanel | PL and beyond PLMW @ PLDI P: Işıl Dillig University of Texas at Austin, P: Andrew Myers Cornell University, P: Ilya Sergey National University of Singapore, P: Rachit Nigam Massachusetts Institute of Technology, P: Pavel Panchekha University of Utah, P: David Tarditi Apple Inc. | ||
17:35 10mDay closing | Concluding remarks PLMW @ PLDI | ||