MiniRust: A Core Language for Specifying Rust (RPLS 2025 - : Real-World Programming Language Specification) - PLDI 2025

Mon 16 - Fri 20 June 2025 Seoul, South Korea

Track

RPLS 2025 RPLS: Real-World Programming Language Specification

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

When

Tue 17 Jun 2025 15:40 - 16:05 at Cosmos - Session 4

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

Session Program

Tue 17 Jun
Displayed time zone: Seoul change

	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 Usages 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

Ralf Jung

ETH Zurich