Program - PLDI 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 Jun
Displayed time zone: Seoul change

09:00 - 10:10	Session 1RPLS at Cosmos K and Redex

09:15 25m Talk		Programming Languages Must Have Formal Semantics. Period. RPLS Xiaohong Chen University of Illinois at Urbana-Champaign
09:40 25m Talk		Lightweight Semantics Engineering with Redex RPLS Matthew Flatt University of Utah

10:30 - 12:00	Session 2RPLS at Cosmos Mechanized Specifications for WebAssembly and JavaScript

10:30 25m Talk		SpecTec, a Single Source of Truth RPLS Sukyoung Ryu KAIST
10:55 25m Talk		Trusted JavaScript Language Environments with ESMeta RPLS Jihyeok Park Korea University
11:20 25m Talk		The Software Supporting the JavaScript Language Specification RPLS Michael Ficarra F5

14:00 - 15:20	Session 3RPLS at Cosmos

14:05 25m Talk		Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet RPLS Nate Foster Cornell University; Jane Street
14:30 25m Talk		P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google RPLS Jonathan DiLorenzo Google
14:55 25m Talk		Verification of WebAssembly Features RPLS Philippa Gardner Imperial College London, Conrad Watt Nanyang Technological University

15:40 - 17:30	Session 4RPLS at Cosmos

15:40 25m Talk		MiniRust: A Core Language for Specifying Rust RPLS Ralf Jung ETH Zurich
16:05 25m Talk		Production Language Specification - Requirements for Multiple UsagesRemote RPLS Peter Sewell University of Cambridge
16:30 60m Panel		Panel: Mechanized Specifications for Real-World Programming Languages RPLS M: Sukyoung Ryu KAIST, P: Xiaohong Chen University of Illinois at Urbana-Champaign, P: Jonathan DiLorenzo Google, P: Michael Ficarra F5, P: Ralf Jung ETH Zurich

19:30 - 21:30	RPLS Committee DinnerRPLS / Catering at Cosmos

19:30 2h Dinner		Dinner Catering

RPLS 2025 Program

This program is tentative and subject to change.

Tue 17 Jun
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

RPLS 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Tue 17 JunDisplayed time zone: Seoul change

Get Calendar (iCal)

Tue 17 Jun
Displayed time zone: Seoul change