PLDI 2025 (series) / RPLS 2025 (series) /
RPLS 2025 Program
This is the RPLS 2025 program - see the full program for PLDI 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 17 JunDisplayed time zone: Seoul change
Tue 17 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:15 25mTalk | Programming Languages Must Have Formal Semantics. Period. RPLS Xiaohong Chen University of Illinois at Urbana-Champaign File Attached | ||
09:40 25mTalk | Lightweight Semantics Engineering with Redex RPLS Matthew Flatt University of Utah File Attached | ||
10:30 - 12:00 | |||
10:30 25mTalk | SpecTec, a Single Source of Truth RPLS Sukyoung Ryu KAIST File Attached | ||
10:55 25mTalk | Trusted JavaScript Language Environments with ESMeta RPLS Jihyeok Park Korea University File Attached | ||
11:20 25mTalk | The Software Supporting the JavaScript Language Specification RPLS File Attached | ||
14:00 - 15:20 | |||
14:05 25mTalk | Lightweight Hypervisor Verification: Putting the Hardware Burger on a DietRemote RPLS Nate Foster Cornell University; Jane Street File Attached | ||
14:30 25mTalk | P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google RPLS Jonathan DiLorenzo Google File Attached | ||
14:55 25mTalk | Verification of WebAssembly Features RPLS | ||
15:40 - 17:30 | |||
15:40 25mTalk | MiniRust: A Core Language for Specifying Rust RPLS Ralf Jung ETH Zurich File Attached | ||
16:05 25mTalk | Production Language Specification - Requirements for Multiple UsagesRemote RPLS Peter Sewell University of Cambridge | ||
16:30 60mPanel | 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 | ||