PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

This program is tentative and subject to change.

Tue 17 Jun 2025 14:30 - 14:55 at Cosmos - Session 3

This program is tentative and subject to change.

Tue 17 Jun

Displayed time zone: Seoul change

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
14:55
25m
Talk
Verification of WebAssembly Features
RPLS
Philippa Gardner Imperial College London, Conrad Watt Nanyang Technological University