PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Tue 17 Jun 2025 15:40 - 16:05 at Cosmos - Session 4
(9 Ralf Jung.pdf)2.19MiB

Tue 17 Jun

Displayed time zone: Seoul change

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

Specifications for Real-World Programming Languages

15:40
25m
Talk
MiniRust: A Core Language for Specifying Rust
RPLS
Ralf Jung ETH Zurich
File Attached
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